Sept. 19, 2002
Workshop on
Boolean Problems
Elimination and SS behavior
Corollary 2: Eliminating a node A can decrease the SS behavior of a
network only if
• A has an ND node B in its TFI and
• a fanin C of A in the TFO of B is also a fanin of a fanout of A
Corollary 1: Eliminating
a node can never increase the SS behavior of a network.
B
A
C