Hardware Verification Using PVS.
Mandayam K. SrivasHarald RueßDavid CyrlukPublished in: Formal Hardware Verification (1997)
Keyphrases
- formal verification
- low cost
- model checking
- hardware designs
- hardware and software
- real time
- theorem proving
- hardware implementation
- computing power
- vlsi implementation
- hardware architecture
- hardware software
- xml schema
- image processing
- timed automata
- low latency
- software implementation
- parallel architectures
- single chip
- hardware design
- signature verification
- processing capabilities
- massively parallel
- personal computer
- genetic algorithm