Verification of Dynamically Reconfigurable Logic.
David RobinsonPatrick LysaghtPublished in: FPL (2000)
Keyphrases
- asynchronous circuits
- verification method
- model checking
- bounded model checking
- model checker
- linear time temporal logic
- logic programming
- formal verification
- case study
- modal logic
- probability theory
- defeasible logic
- proof theory
- epistemic logic
- predicate logic
- formal language
- real world
- automated reasoning
- face verification
- delay insensitive
- query language
- information retrieval