A Tutorial on Using PVS for Hardware Verification.
Sam OwreJohn M. RushbyNatarajan ShankarMandayam K. SrivasPublished in: TPCD (1994)
Keyphrases
- formal verification
- hardware designs
- model checking
- low cost
- hardware and software
- timed automata
- theorem proving
- real time
- computer systems
- embedded systems
- hardware implementation
- computing systems
- software implementation
- hardware architecture
- face verification
- verification method
- asynchronous circuits
- hardware design
- computing power
- signature verification
- graphics hardware
- processing units
- digital circuits
- massively parallel
- computational power
- temporal logic
- image processing