Документ взят из кэша поисковой машины. Адрес оригинального документа : http://num-meth.srcc.msu.ru/english/zhurnal/tom_2009/v10r211.html
Дата изменения: Mon Apr 27 13:56:38 2009
Дата индексирования: Mon Oct 1 22:45:12 2012
Кодировка:
"Test data generation for core-level verification of FIFO cache memory"  
"Test data generation for core-level verification of FIFO cache memory"
Kornykhin E.V.

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

Kornykhin E.V.     e-mail: kornevgen@gmail.com