Login / Signup
BDD representation for incompletely specifiedvmultiple-output logic functions and its applications to functional decomposition.
Tsutomu Sasao
Munehiro Matsuura
Published in:
DAC (2005)
Keyphrases
</>
functional decomposition
boolean functions
digital circuits
logic circuits
multi valued
binary decision diagrams
logic synthesis
search space
high speed
low power
predicate calculus
database systems
search algorithm
expressive power
finite state machines
state transition