Kornykhin, E. Test Data Generation for Core-Level Verification of FIFO Cache Memory. Num. Meth. Prog. 2009, 10, 107-116.