A functional approach to formal hardware verification: the MTI experience.
Dominique BorrionePaolo CamuratiJ. L. PailletPaolo PrinettoPublished in: ICCD (1988)
Keyphrases
- functional verification
- formal methods
- low cost
- hardware designs
- model checking
- real time
- hardware and software
- hardware implementation
- formal analysis
- formal verification
- general purpose
- formal model
- neural network
- hardware software
- hardware architecture
- graphics hardware
- computing power
- computing systems
- embedded systems
- data acquisition
- image processing
- face verification
- learning curve
- massively parallel
- hardware design
- formal specification
- single chip
- asynchronous circuits