Assertion list
input (aspect of latch ) → ReceivesAction

Results from Ascent++: 6
inputReceivesAction connected 0.42
inputReceivesAction shown in fig 0.42
inputReceivesAction connected to the output of the … 0.25
inputReceivesAction coupled to first node 0.25
inputReceivesAction coupled to the input circuit ou… 0.25
inputReceivesAction provided 0.25