Title :
Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications
Author :
Kamkin, Alexander
Author_Institution :
Software Eng. Dept., Russian Acad. of Sci., Moscow, Russia
Abstract :
In this paper we describe a method for simulation-based verification of microprocessor units based on cycle-accurate contract specifications. Such specifications describe behavior of a unit in the form of preconditions and postconditions of microoperations. Test sequence generation is based on traversal of FSM constructed automatically from specifications and test coverage definition. We have successfully applied the method to several units of the industrial MIPS64-compatible microprocessor.
Keywords :
microprocessor chips; coverage-directed verification; cycle-accurate contract specifications; industrial MIPS64-compatible microprocessor; microoperations; microprocessor units; simulation-based verification; Algorithm design and analysis; Automation; Computational modeling; Computer architecture; Contracts; Microprocessors; Program processors;
Conference_Titel :
Design & Test Symposium (EWDTS), 2008 East-West
Conference_Location :
Lviv
Print_ISBN :
978-1-4244-3402-2
Electronic_ISBN :
978-1-4244-3403-9
DOI :
10.1109/EWDTS.2008.5580153
