Assertion list
input (aspect of gate ) → ReceivesAction
Results from Ascent++: 14
input → ReceivesAction → raised to high logic level 0.58
input → ReceivesAction → driven 0.41
input → ReceivesAction → forced to low logic level 0.41
input → ReceivesAction → processed 0.41
input → ReceivesAction → added 0.32
input → ReceivesAction → connected 0.32
input → ReceivesAction → changed 0.29
input → ReceivesAction → connected to the output of an or 0.29
input → ReceivesAction → gated 0.29
input → ReceivesAction → connected to other circuit elem… 0.25
input → ReceivesAction → fed 0.25
input → ReceivesAction → grounded 0.25
input → ReceivesAction → set 0.25
input → ReceivesAction → selected 0.09