Read-once Projections and Formal Circuit Verification with Binary Decision Diagrams.
Beate BolligIngo WegenerPublished in: STACS (1996)
Keyphrases
- binary decision diagrams
- model checking
- formal methods
- formal specification
- symbolic model checking
- model checker
- boolean formula
- boolean functions
- formal verification
- formal analysis
- asynchronous circuits
- variable ordering
- temporal logic
- data sets
- max sat
- dynamic programming
- planning problems
- constraint satisfaction problems
- np complete
- multi dimensional
- general purpose
- object oriented
- natural language
- machine learning