Geodesic
Test data generation for core-level verification of FIFO cache memory
Numerical methods and programming, Tome 10 (2009) no. 2, pp. 107-116

Voir la notice de l'article provenant de la source Math-Net.Ru

The generation of cache initial state for microprocessor testing with the aid of test templates is considered. The fully associative cache, the direct mapped cache, and the cache with general organization with FIFO replacement policy are discussed. The initial state generation of the cache memory is performed by resolving the constraints composed for a test template.
Keywords: FIFO; constraints; system functional testing; core-level verification; test templates. 
@article{VMP_2009_10_2_a12,
     author = {E. V. Kornykhin},
     title = {Test data generation for core-level verification of {FIFO} cache memory},
     journal = {Numerical methods and programming},
     pages = {107--116},
     publisher = {mathdoc},
     volume = {10},
     number = {2},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMP_2009_10_2_a12/}
}
TY  - JOUR
AU  - E. V. Kornykhin
TI  - Test data generation for core-level verification of FIFO cache memory
JO  - Numerical methods and programming
PY  - 2009
SP  - 107
EP  - 116
VL  - 10
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMP_2009_10_2_a12/
LA  - ru
ID  - VMP_2009_10_2_a12
ER  - 
%0 Journal Article
%A E. V. Kornykhin
%T Test data generation for core-level verification of FIFO cache memory
%J Numerical methods and programming
%D 2009
%P 107-116
%V 10
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMP_2009_10_2_a12/
%G ru
%F VMP_2009_10_2_a12
E. V. Kornykhin. Test data generation for core-level verification of FIFO cache memory. Numerical methods and programming, Tome 10 (2009) no. 2, pp. 107-116. http://geodesic.mathdoc.fr/item/VMP_2009_10_2_a12/