Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits - a Survey
Christoph MeinelThorsten TheobaldPublished in: Electron. Colloquium Comput. Complex. (1998)
Keyphrases
- computer aided design
- vlsi circuits
- ordered binary decision diagrams
- computer aided
- solid models
- deterministic finite automaton
- object oriented
- low power
- computer graphics
- constraint satisfaction problems
- model checking
- reverse engineering
- cad model
- quantified boolean formulae
- design process
- process planning
- pattern recognition
- propositional logic
- computer vision
- computer assisted
- database
- software engineering
- image segmentation
- artificial intelligence