Sept. 19, 2002

Workshop on
Boolean Problems

Set Simulation

•Done in topological order.

•On each signal a set of values is obtained

•At each node a vector
of fanin sets is known.

•The output set of values for a node
is the union of the sets obtained for all fanin vectors in the cross
product
of the fanin sets

The SS-behavior is the set of all PI/PO vectors in the cross product
of the PO sets that can be obtained this way. can
be expressed using