Assertion list
latch (primary) → ReceivesAction
Results from Ascent++: 57
latch → ReceivesAction → released 0.84
latch → ReceivesAction → opened 0.70
latch → ReceivesAction → set 0.68
latch → ReceivesAction → activated 0.63
latch → ReceivesAction → held 0.61
latch → ReceivesAction → engaged 0.59
latch → ReceivesAction → shown in fig 0.58
latch → ReceivesAction → disengaged 0.57
latch → ReceivesAction → locked 0.56
latch → ReceivesAction → closed 0.55
latch → ReceivesAction → used to store state information 0.52
latch → ReceivesAction → pushed 0.49
latch → ReceivesAction → connected 0.48
latch → ReceivesAction → made 0.48
latch → ReceivesAction → damaged 0.47
latch → ReceivesAction → formed 0.45
latch → ReceivesAction → pivoted 0.45
latch → ReceivesAction → actuated 0.44
latch → ReceivesAction → easy to open 0.44
latch → ReceivesAction → broken 0.43
latch → ReceivesAction → lifted 0.40
latch → ReceivesAction → arranged on the base 0.39
latch → ReceivesAction → on the inside of the gate 0.36
latch → ReceivesAction → shown in figure 0.36
latch → ReceivesAction → configured to engage matching o… 0.34
latch → ReceivesAction → fixed to the cover 0.34
latch → ReceivesAction → repaired 0.34
latch → ReceivesAction → seated within the recess 0.34
latch → ReceivesAction → cleared 0.31
latch → ReceivesAction → described in detail 0.31
latch → ReceivesAction → hinged 0.31
latch → ReceivesAction → used to cache datum 0.31
latch → ReceivesAction → clocked by the input clock 0.29
latch → ReceivesAction → deflected by force 0.29
latch → ReceivesAction → driven by the motor 0.29
latch → ReceivesAction → padlocked 0.29
latch → ReceivesAction → provided at stage 0.29
latch → ReceivesAction → set in response 0.29
latch → ReceivesAction → associated with read-write circ… 0.25
latch → ReceivesAction → attached to the yoke 0.25
latch → ReceivesAction → configured to block the lsb data 0.25
latch → ReceivesAction → connected to the fifo output ci… 0.25
latch → ReceivesAction → connected to the input lines 0.25
latch → ReceivesAction → coupled to the shift register 0.25
latch → ReceivesAction → coupled with the docking station 0.25
latch → ReceivesAction → easy to replace 0.25
latch → ReceivesAction → extended 0.25
latch → ReceivesAction → located on back wall of the poc… 0.25
latch → ReceivesAction → plated 0.25
latch → ReceivesAction → provided with knob 0.25
latch → ReceivesAction → raised 0.25
latch → ReceivesAction → set to prevent access 0.25
latch → ReceivesAction → slid over protruding part 0.25
latch → ReceivesAction → turned 0.25
latch → ReceivesAction → updated 0.25
latch → ReceivesAction → difficult to open 0.23
latch → ReceivesAction → left open 0.16