Login / Signup
Ordered Binary Decision Diagrams in Electronic Design Automation
Randal E. Bryant
Christoph Meinel
Published in:
Universität Trier, Mathematik/Informatik, Forschungsbericht (2002)
Keyphrases
</>
design automation
ordered binary decision diagrams
computer aided design
test generation
deterministic finite automaton
circuit design
model checking
quantified boolean formulae
propositional logic
database
databases
open source
constraint satisfaction problems