DocumentCode
3586206
Title
[Title page i]
fYear
2014
Abstract
The following topics are dealt with: microprocessor test; microprocessor verification; hardware verification; mutation analysis; debugging; formal logic; and memory verification.
Keywords
computer debugging; formal logic; formal verification; multiprocessing systems; debugging; formal logic; hardware verification; memory verification; microprocessor test; microprocessor verification; mutation analysis;
fLanguage
English
Publisher
ieee
Conference_Titel
Microprocessor Test and Verification Workshop (MTV), 2014 15th International
ISSN
1550-4093
Type
conf
DOI
10.1109/MTV.2014.1
Filename
7087216
Link To Document