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;
Conference_Titel :
Microprocessor Test and Verification Workshop (MTV), 2014 15th International
