硬體描述語言與驗證

在使用隨機輸入的測試中,先記錄亂數種子(seed)的原因,下列何者正確?

  1. A因為只要使用相同的種子,就能重現相同的輸入序列,所發現的缺陷可以反覆調查
  2. B因為記錄種子可以更快地產生亂數
  3. C因為不記錄種子的話,模擬就不會開始
查看答案與解析

正確答案:A. 因為只要使用相同的種子,就能重現相同的輸入序列,所發現的缺陷可以反覆調查

模擬的亂數是由種子依固定的程序產生的偽隨機數,所以相同的種子會得到相同的序列。即使在隨機測試中發現了缺陷,若不知道種子,就無法重現相同的狀況,既無法調查原因,也無法確認修正後是否已經改好。基本做法是每次以不同的種子執行大量測試,並記錄失敗時的種子。

  • A. 正確。無法重現的缺陷會很難修正。
  • B. 與速度無關。
  • C. 即使不記錄也會開始。
練習這個領域 前往領域頁面

硬體描述語言與驗證的其他題目

  1. 關於SystemVerilog的約束隨機驗證(constrained-random verification)的說明,下列何者正確?
  2. 關於電路設計中進行的迴歸測試(regression test)的說明,下列何者正確?
  3. SystemVerilog的logic型的優點,下列何者正確?
  4. 使用SystemVerilog的always_ff或always_comb來取代Verilog的always,其優點下列何者正確?
  5. 如上方般使用parameter來撰寫module的優點,下列何者正確?

這個領域的比較