Assertion: flop's output | /r/CapableOf | change with the input
Facets:
value: as long as \$clk\$
type: OTHER
Source sentences:
text: The difference with a real edge-triggered D -flip-flop is that the output will change with the input as long as \$CLK\$ is high.