Hardware interview practice
Choose directed or constrained-random debug stimulus
A FIFO underflow bug is already known and has a short failing transaction sequence. Which verification approach is strongest?
Choose one
Answer choices
- A. Use formal equivalence instead of checking the FIFO’s specified behavior.
- B. Reproduce it with a short directed test, then add constrained-random tests for nearby interactions.
- C. Use code coverage without a checker.
- D. Use constrained-random stimulus only and discard the known sequence.