Automated High-level Verification Against Clocked Algorithmic Specifications.
Francisco CorellaPublished in: CHDL (1993)
Keyphrases
- high level
- low level
- model checking
- automated verification
- semi automated
- concurrent systems
- higher level
- asynchronous circuits
- model checker
- bounded model checking
- delay insensitive
- formal verification
- low power
- formal specification
- conceptual model
- low level features
- fully automated
- signature verification
- real time
- protocol specification
- lower level
- automated analysis
- control flow
- specification language
- computer assisted
- petri net
- data driven
- distributed systems
- programming language
- computer vision