Checking Equivalence for Circuits Containing Incompletely Specified Boxes.

Christoph Scholl Bernd Becker

Published in: ICCD (2002)

Keyphrases

high speed
special case
delay insensitive
vlsi circuits
consistency checking
circuit design
interactive dynamic influence diagrams
tunnel diode
high level synthesis
analog circuits
equivalence relation
bayesian networks
shift register
database systems
lateral inhibition
data mining
real time