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), 107–116. Retrieved from https://en.num-meth.ru/index.php/journal/article/view/365