Optimal synthesis of differential cascode voltage switch (DCVS) logic circuits using ordered binary decision diagrams (OBDDs).
Theodore KaroubalisGeorge AlexiouNick KanopoulosPublished in: EURO-DAC (1995)
Keyphrases
- ordered binary decision diagrams
- logic circuits
- functional decomposition
- model checking
- deterministic finite automaton
- logic synthesis
- low power
- boolean functions
- constraint satisfaction problems
- quantified boolean formulae
- optimal solution
- power system
- image processing
- real time
- dynamic programming
- transmission line
- high speed
- search algorithm