Assertion: latch's output | /r/HasProperty | toggled
Facets:
Source sentences:
text: When the JK latch inputs are high, the output will be toggled.
text: The function of T Latch will be like this when the input of the latch is high, and then the output will be toggled.