27 / 37 · Check
Check: reference models and races
Choose expectations independent of the DUT and a post-edge checking time.
Lessons are free to read. Enroll to save your learning progress.
You are testing count updated by nonblocking assignment. Separate stimulus generation from checking time.
Which checking approach best fits this course’s single-clock testbench?
This avoids competition between stimulus and capture in the same event and compares after the DUT updates. The educational #1 observation delay is not physical timing verification. An independent model reduces the chance of sharing the implementation’s error.
✓ Check completed