Assertion: flip flop | /r/HasAspect | one clk
Facets:
Source sentences:
text: If we see from the outside we will see it has one CLK and one input