DocumentCode
2002139
Title
[Front cover]
fYear
2008
fDate
8-10 Dec. 2008
Abstract
The following topic are dealt with: multicore verification; sequential equivalence checking paradigm; debugging tool; power management verification; and delay fault testing.
Keywords
fault diagnosis; multiprocessing systems; power aware computing; debugging tool; delay fault testing; multicore verification; power management verification; sequential equivalence checking paradigm;
fLanguage
English
Publisher
ieee
Conference_Titel
Microprocessor Test and Verification, 2008. MTV '08. Ninth International Workshop on
Conference_Location
Austin, TX
ISSN
1550-4093
Print_ISBN
978-1-4244-3682-8
Type
conf
DOI
10.1109/MTV.2008.27
Filename
5070918
Link To Document