Q143FreeDesign Verification
Reset Pulse Is Too Short
Interview prompt
Question
reset_n is an active-low synchronous reset sampled only on rising edges with clk_enable=1. clk_enable is 1 at every displayed edge. When reset_n falls on an enabled edge, it must remain low for at least two consecutive enabled samples, counting the fall edge as the first. Which reset-width assertion fails in this waveform?

Choose one
Answer choices
- A. reset_n must be low on at least two consecutive enabled edges, including the fall edge.
- B. state_valid must always equal reset_n.
- C. reset_n may fall only when state_valid is 0.
- D. C3 does not count toward reset width because clk_enable is 0.
