Hardware Verification Using Software Analyzers.
Rajdeep MukherjeeDaniel KroeningTom MelhamPublished in: ISVLSI (2015)
Keyphrases
- object oriented
- industry standard
- hardware designs
- hardware design
- computer systems
- low cost
- embedded systems
- personal computer
- high end
- hardware platforms
- dedicated hardware
- software implementation
- software development
- hardware software
- source code
- software systems
- computer hardware
- data flow
- user interface
- model checking
- hardware and software
- real time
- software architecture
- software projects
- software tools
- hardware implementation
- software developers
- formal methods
- software design
- parallel architectures
- heterogeneous systems
- vlsi implementation
- computing power
- software testing
- java virtual machine
- verification method
- commercial off the shelf
- distributed systems
- software maintenance