Assertion: reset | /r/CapableOf | propagate to design
Facets:
Source sentences:
text: When reset is asserted, it propagates to all designs; brings them to reset state whether or not clock is toggling; i.e. assertion should be asynchronous When reset is deasserted, wait for a clock edge, and then, move the system to next state as per the FSM (Finite State Machine)