摘要 |
A cache logic verification apparatus includes an acquisition unit that acquires an ongoing process in each stage of a stepped operation to judge whether data to be read in a cache memory holding a copy of contents of a part of a memory is held or not, and a comparator that compares the ongoing process in each stage acquired by the acquisition unit with a scheduled ongoing process predetermined in each stage of the stepped operation.
|