Sept. 19, 2002
Workshop on
Boolean Problems
NSC Simulation
•Like normal simulation except that each PO is handled
separately.
•Take one PO, j, and look at the transitive fanin cone.
•Compute (X, zj ) pairs using NS.
•Repeat for all PO
The NSC-behavior is the set of all PI/PO vectors that can be
obtained this way. is
expressed as