Kornykhin, E. 2009. Test data generation for core-level verification of FIFO cache memory. Numerical Methods and Programming (Vychislitel’nye Metody i Programmirovanie). 10, 20 (Apr. 2009), 107–116.