Assertion list for term "deasserted".
Results from Ascent++: 3
signal → ReceivesAction → deasserted 0.55
reset → ReceivesAction → deasserted 0.43
interrupt → ReceivesAction → deasserted 0.25