Q152FreeDesign Verification
Interrupt Pulse Is Missing
Interview prompt
Question
Each column shows one rising clock edge. req is a one-cycle interrupt request, and ack is the interrupt block's registered notification. While irq_enable is 1, each req pulse must produce exactly one ack pulse on the next sampled edge. Which event-response assertion fails in this waveform?

Choose one
Answer choices
- A. ack must be high before req.
- B. req must stay high until ack arrives.
- C. ack must be high on every idle edge.
- D. An enabled req pulse must produce ack on the next edge.
