Keyphrases
- formal methods
- hardware designs
- hardware and software
- formal analysis
- low cost
- real time
- model checking
- hardware implementation
- parallel hardware
- verification method
- high speed
- image processing
- computing power
- digital signal processor
- formal language
- hardware architecture
- computing systems
- formal model
- input output
- parallel architectures
- general purpose
- personal computer
- embedded systems
- database