Structurally synthesized multiple input BDDs for simulation of digital circuits.

Raimund Ubar Dmitri Mironov Jaan Raik Artur Jutman

Published in: ICECS (2009)

Keyphrases

digital circuits
multiple input
decision diagrams
multiple output
model based diagnosis
evolvable hardware
data flow
database
heuristic search
functional decomposition
first order logic
constraint satisfaction
simulation model