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;
Conference_Titel :
Microprocessor Test and Verification, 2008. MTV '08. Ninth International Workshop on
Conference_Location :
Austin, TX
Print_ISBN :
978-1-4244-3682-8
DOI :
10.1109/MTV.2008.27
