Sept. 19, 2002
Workshop on Boolean Problems
SS is not “Scattered” Simulation
•
Scattered simulation
–
for
each fanout
one value is selected from the
acceptable set.
–
each fanout may have
different
values
•
Example:
{0,1}
1
1
0
0
0
1
0
{0,1}
{0,1}
{0,1}
{0,1}
=
0