Assertion list
input (aspect of multiplexer ) → ReceivesAction

Results from Ascent++: 14
inputReceivesAction connected to output 0.57
inputReceivesAction selected 0.54
inputReceivesAction enabled 0.41
inputReceivesAction connected to the output of nand… 0.40
inputReceivesAction coupled to the output of alu 0.33
inputReceivesAction gated 0.33
inputReceivesAction provided to the data processor 0.33
inputReceivesAction tied to ground 0.33
inputReceivesAction connected 0.25
inputReceivesAction coupled to a carry output 0.25
inputReceivesAction coupled to first node 0.25
inputReceivesAction set to a logic one 1level 0.25
inputReceivesAction set to output 0.25
inputReceivesAction shown in fig 0.25