Gate-level simulation of digital circuits using multi-valued Boolean algebras.

Scott Woods Giorgio Casinovi

Published in: ICCAD (1995)

Keyphrases

multi valued
digital circuits
decision diagrams
single valued
boolean functions
model based diagnosis
data flow
normal form
logic synthesis
real valued
vector field
finite state machines
particle filter
markov chain
truth values
np hard
computer vision
database