Timeout bằng fork/join_any và disable fork an toàn

Chờ một sự kiện kèm thời hạn là việc testbench làm liên tục: chờ phản hồi của DUT không quá 1000 chu kỳ, chờ ngắt, chờ handshake. Cách viết chuẩn là fork … join_any cộng disable fork. Cách viết hay sai cũng chính là nó. Câu hỏi "disable fork giết những gì?" xuất hiện trong rất nhiều buổi phỏng vấn DV.

class job_runner;
  int progress;                                          // tổng số bước công việc đã làm (mọi lần gọi)
  task run(int steps, int timeout, output bit timed_out);
endclass

run thực hiện một "công việc" gồm steps bước, mỗi bước tốn 1 ns:

repeat (steps) begin #1; progress++; end

• Công việc xong trước hạn timeout (ns): timed_out = 0, trả về ngay lúc xong.
• Hết hạn trước: timed_out = 1, trả về ngay lúc hết hạn, và công việc dừng hẳn: progress không được tăng thêm sau đó. Bước công việc kết thúc đúng thời điểm hết hạn được tính hay không đều chấp nhận.
• Không được ảnh hưởng tới các thread khác mà người gọi đang chạy, ví dụ một thread fork … join_none người gọi đã tạo từ trước khi gọi run.

Testbench không dùng steps == timeout, vì khi đó hai nhánh xong cùng một thời điểm và thứ tự là không xác định.