Boolean Matching Using Binary Decision Diagrams with Applications to Logic Synthesis and Verification.

Yung-Te Lai Sarma Sastry Massoud Pedram

Published in: ICCD (1992)

Keyphrases

binary decision diagrams
logic synthesis
boolean functions
multi valued
model checking
symbolic model checking
planning problems
boolean formula
quantum computing
heuristic search
knowledge compilation
model checker
artificial intelligence
relational databases
state space
logic circuits