Assertion: latch's input | /r/HasProperty | k and clock pulse
Facets:
Source sentences:
text: The output of the flip flop Q is ANDed with inputs k and clock pulse.