Assertion: latch's input | /r/HasProperty | brought to logic
Facets:
value: for correct operation
type: PURPOSE
Source sentences:
text: For correct operation, the selected R or S input should be brought to logic 1, then the CLK input should be made logic 1 and then logic 0 again.