High-Level Debugging and Verification for FPGA-Based Multicore Architectures.
Oriol Arcas-AbellaAdrián CristalOsman S. UnsalPublished in: FCCM (2015)
Keyphrases
- high level
- hardware designs
- low level
- parallel programming
- model based diagnosis
- model checking
- memory management
- higher level
- hardware implementation
- application specific
- face verification
- fault localization
- lower level
- programming language
- asynchronous circuits
- hardware design
- fingerprint verification
- functional verification
- source code
- object oriented
- execution traces
- verification method
- highly parallel
- general purpose
- software testing
- computational power
- low cost
- semantic information
- computer systems