Assertion list
output (aspect of multiplexer ) → ReceivesAction
Results from Ascent++: 42
output → ReceivesAction → applied as input 0.53
output → ReceivesAction → coupled as input 0.53
output → ReceivesAction → enabled 0.47
output → ReceivesAction → applied 0.46
output → ReceivesAction → connected to the input of inver… 0.45
output → ReceivesAction → shown in fig 0.45
output → ReceivesAction → provided to first input of mult… 0.43
output → ReceivesAction → coupled to multiplexer 0.41
output → ReceivesAction → provided to summing input of su… 0.41
output → ReceivesAction → provided for transmission 0.39
output → ReceivesAction → supplied 0.39
output → ReceivesAction → applied to exclusive 0.36
output → ReceivesAction → connected to the multiplexer 0.36
output → ReceivesAction → fed on line 0.36
output → ReceivesAction → provided to first input of summ… 0.36
output → ReceivesAction → provided to subtracting input o… 0.36
output → ReceivesAction → provided to the inputs of multi… 0.36
output → ReceivesAction → selected by the multiplexer 0.36
output → ReceivesAction → sent 0.36
output → ReceivesAction → stored in latch 0.36
output → ReceivesAction → stored in line buffer 0.36
output → ReceivesAction → implemented in embodiment 0.33
output → ReceivesAction → implemented in software 0.33
output → ReceivesAction → provided upon receipt of the ma… 0.33
output → ReceivesAction → stored in register 0.33
output → ReceivesAction → connected to the input supply r… 0.30
output → ReceivesAction → coupled to gate 0.30
output → ReceivesAction → provided to a summation circuit 0.30
output → ReceivesAction → selected 0.30
output → ReceivesAction → combined 0.25
output → ReceivesAction → connected to the controller 0.25
output → ReceivesAction → coupled to an input of the accu… 0.25
output → ReceivesAction → coupled to first input of mlu 0.25
output → ReceivesAction → coupled to the output of lighti… 0.25
output → ReceivesAction → fed to a display device 0.25
output → ReceivesAction → gated 0.25
output → ReceivesAction → held 0.25
output → ReceivesAction → inputted into first memory 0.25
output → ReceivesAction → passed to an and gate 837 0.25
output → ReceivesAction → provided by the output of multi… 0.25
output → ReceivesAction → provided to second input 0.25
output → ReceivesAction → read 0.25