硬體描述語言與驗證

對邏輯合成或佈局繞線之後的電路(閘級網表),加入延遲資訊進行模擬的主要目的為何?

  1. A比RTL模擬更快地執行大量測試
  2. B確認RTL模擬中看不到的初始化或重置的缺陷、合成結果的差異,以及與延遲有關的問題
  3. C縮小電路的面積
查看答案與解析

正確答案:B. 確認RTL模擬中看不到的初始化或重置的缺陷、合成結果的差異,以及與延遲有關的問題

RTL模擬雖然快,但X樂觀會隱藏不定值的問題,而且當合成後變成與描述不同的電路時也無法察覺。在閘級模擬中,以實際產生的閘極與正反器確認動作,並以SDF格式給予各個閘極與佈線的延遲,就能看到與延遲有關的問題。不過因為非常慢,所以一般只以有限的測試來進行。

  • A. 閘級模擬會慢得多。
  • B. 正確。延遲資訊以SDF等格式給予。
  • C. 並不會改變面積。
練習這個領域 前往領域頁面

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

  1. 如上方的描述般,不經過正反器,而是組合電路的輸出回到自己的輸入的形式稱為什麼?又為什麼應該避免?
  2. 將上方的描述針對FPGA進行邏輯合成時,一般會如何處理?
  3. 在組合電路中,比較長串的if・else if描述與條件互不重疊的case語句描述時的說明,下列何者正確?
  4. Verilog的等號運算子「==」與「===」的差異,下列何者正確?
  5. 以Verilog等HDL撰寫的描述,與C語言等軟體程式的最大差異,下列何者正確?

這個領域的比較