Ordered Binary Decision Diagrams and their Significance in Computer-Aided Design of VLSI Circuits.
Christoph MeinelThorsten TheobaldPublished in: J. Circuits Syst. Comput. (1999)
Keyphrases
- computer aided design
- vlsi circuits
- ordered binary decision diagrams
- computer aided
- object oriented
- deterministic finite automaton
- solid models
- reverse engineering
- low power
- computer graphics
- model checking
- design process
- constraint satisfaction problems
- quantified boolean formulae
- process planning
- cad model
- mixed signal
- multi agent
- high speed
- search algorithm
- multi channel
- digital signal processing
- constraint problems
- industrial parts
- low cost