Assertion: flop's d | /r/HasProperty | high
Facets:
Source sentences:
text: D is still high at the positive going edge of pulse f, and because the flip-flop is positive edge triggered, the change in the logic level of D during pulse f is ignored until the positive going edge of pulse g, which resets Q to its low level.
text: At the positive going edge of pulse j, input D regains control, but as D is high and Q is already high, no change in output Q occurs.