Combinational Verification based on High-Level Functional Specifications.
Evguenii I. GoldbergYuji KukimotoRobert K. BraytonPublished in: DATE (1998)
Keyphrases
- high level
- asynchronous circuits
- functional verification
- low level
- formal verification
- delay insensitive
- automated verification
- model checking
- concurrent systems
- bounded model checking
- model checker
- higher level
- temporal logic
- low level features
- mid level
- protocol specification
- multiscale
- object level
- source code
- fingerprint verification
- formal methods
- functional analysis
- formal specification
- lower level
- distributed systems
- programming language