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