硬體描述語言與驗證
在使用隨機輸入的測試中,先記錄亂數種子(seed)的原因,下列何者正確?
- A因為只要使用相同的種子,就能重現相同的輸入序列,所發現的缺陷可以反覆調查
- B因為記錄種子可以更快地產生亂數
- C因為不記錄種子的話,模擬就不會開始
查看答案與解析
正確答案:A. 因為只要使用相同的種子,就能重現相同的輸入序列,所發現的缺陷可以反覆調查
模擬的亂數是由種子依固定的程序產生的偽隨機數,所以相同的種子會得到相同的序列。即使在隨機測試中發現了缺陷,若不知道種子,就無法重現相同的狀況,既無法調查原因,也無法確認修正後是否已經改好。基本做法是每次以不同的種子執行大量測試,並記錄失敗時的種子。
- A. 正確。無法重現的缺陷會很難修正。
- B. 與速度無關。
- C. 即使不記錄也會開始。