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