Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits
Christoph MeinelThorsten TheobaldPublished in: Universität Trier, Mathematik/Informatik, Forschungsbericht (1998)
Keyphrases
- computer aided design
- vlsi circuits
- ordered binary decision diagrams
- computer aided
- deterministic finite automaton
- object oriented
- reverse engineering
- solid models
- computer graphics
- model checking
- constraint satisfaction problems
- design process
- process planning
- low power
- quantified boolean formulae
- cad model
- computer vision
- database
- mixed signal
- multi agent
- image processing
- constraint programming
- symmetry breaking
- constraint problems
- low cost
- industrial parts
- real time