Monitoring-based Formal Hardware Verification.
Paul DuplysRoland J. WeissJürgen RufThomas KropfWolfgang RosenstielPublished in: MBMV (2006)
Keyphrases
- real time
- formal methods
- hardware designs
- formal analysis
- monitoring system
- low cost
- hardware and software
- formal model
- image processing
- condition monitoring
- model checking
- processing capabilities
- formal specification
- verification method
- data acquisition
- operating system
- computer systems
- computing systems
- face recognition
- massively parallel
- hardware implementation
- personal computer
- graphics hardware
- circuit design
- formal verification
- digital circuits
- database