Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types.
Edwin C. BradyJames McKinnaKevin HammondPublished in: Trends in Functional Programming (2007)
Keyphrases
- delay insensitive
- asynchronous circuits
- automated verification
- digital circuits
- concurrent systems
- circuit design
- real time
- model checker
- formal verification
- functional verification
- computing systems
- hardware and software
- model checking
- low cost
- computing power
- bounded model checking
- hardware designs
- data sets
- specification language
- face verification
- personal computer
- special features
- high level
- neural network