Kornykhin, E. “Test Data Generation for Core-Level Verification of FIFO Cache Memory”. Numerical Methods and Programming (Vychislitel’nye Metody I Programmirovanie), vol. 10, no. 20, Apr. 2009, pp. 107-16, https://en.num-meth.ru/index.php/journal/article/view/365.