Accelerators and emulators: Can they become the platform of choice for hardware verification?
Bashir M. Al-HashimiRonny MoradPublished in: DATE (2012)
Keyphrases
- computing platform
- computing systems
- real time
- distributed computing
- single chip
- hardware designs
- virtual machine
- low cost
- control software
- hardware and software
- reconfigurable hardware
- field programmable gate array
- parallel computing
- central processor
- model checking
- cloud computing
- computer systems
- smart card
- verification method
- real time embedded
- hardware implementation
- embedded systems
- signature verification
- high end
- hardware architecture
- heterogeneous systems
- asynchronous circuits
- hardware software
- parallel hardware
- information systems