Sept. 19, 2002
Workshop on Boolean Problems
ND Network Behaviors
(PI/PO Pairs)
•Normal Simulation (NS)
•Normal Simulation made Compatible (NSC)
•Set Simulation (SS)
Note: all these become the same when the network is deterministic.
Det
NS
NSC
SS
ND