DocumentCode
1715912
Title
Table of contents
fYear
2013
Abstract
The following topics are dealt with: microprocessor test; microprocessor verification; rapid prototyping; hardware verification; reconfigurable processor video system; model checking; SoC; embedded systems; and multicore processors.
Keywords
embedded systems; formal verification; microprocessor chips; multiprocessing systems; rapid prototyping (industrial); software prototyping; system-on-chip; SoC; embedded systems; hardware verification; microprocessor test; microprocessor verification; model checking; multicore processors; rapid prototyping; reconfigurable processor video system;
fLanguage
English
Publisher
ieee
Conference_Titel
Microprocessor Test and Verification (MTV), 2013 14th International Workshop on
Conference_Location
Austin, TX
ISSN
1550-4093
Type
conf
DOI
10.1109/MTV.2013.9
Filename
6926086
Link To Document