Assertion: flop's input | /r/HasProperty | tied high
Facets:
Source sentences:
text: When we apply the first clock pulse, the first flip flop (FF 1) will toggle, as both the inputs of flip flop FF 1 are tied HIGH (logic 1).