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