Test data generation for core-level verification of FIFO cache memory

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.