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