Sept. 19, 2002
Workshop on
Boolean Problems
Normal Simulation
•Network is evaluated
in topological order
•At each node its
fanins have a specific vector of values.
•The relation at the
node determines a set of possible output values of that node
•One of these is chosen randomly and broadcast to the
fanouts
The NS-behavior is the set of all PI/PO vectors that can be obtained
this way.
is in general a MV Boolean relation