DocumentCode
2236734
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
fYear
2008
fDate
9-12 Oct. 2008
Firstpage
84
Lastpage
87
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/EWDTS.2008.5580153
Filename
5580153
Link To Document