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, z**j* ) 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