E. Kornykhin, “Test data generation for core-level verification of FIFO cache memory”, Num. Meth. Prog., vol. 10, no. 20, pp. 107–116, Apr. 2009.