Keyphrases
- hardware designs
- low cost
- hardware and software
- real time
- model checking
- computational power
- computer systems
- computing power
- parallel processing
- hardware implementation
- hardware design
- formal verification
- hardware architecture
- image processing
- personal computer
- video sequences
- heuristic search algorithms
- binary decision diagrams
- asynchronous circuits
- digital signal processor
- parallel hardware