fork-joinブロック

[←]　[↑]　[→]

---

begin-endブロック内は上から順に実行されるが、複数の文を並行実行するにはfork-joinブロック内に書けばよい。このときfork-joinブロック内の全てが終了しないと次へ進めない。

// task_aとtask_bを並行実行する

initial begin

  task_a;

  task_b;

  fork

    task_a;

    task_b(16'h7777);

  join

  ...

end

◇

例) バグのためDUTから出力が返って来ないときに、タイムアウトを検出して強制終了させるモニタ

// dut_out信号が100クロック間変化しなかったらタイムアウト

always fork: watchdog  // fork-joinブロックに名前watchdogを付ける

// dut_out信号が変化したらこのwatchdogブロックを終了する

begin

  @(dut_out) disable watchdog;

  end

  // 100クロックたったら強制終了する

  begin

  repeat(100) @(posedge clk);

  $display("-- time out");

  $finish;

  end

join

---

[←]　[↑]　[→]