硬體描述語言與驗證

HDL驗證中所使用的Lint工具的作用,下列何者正確?

  1. A從晶片上去除電路的垃圾(棉絮)的裝置
  2. B將模擬波形漂亮地顯示的工具
  3. C不做模擬就檢查描述,找出位元寬度不一致、非預期的閂鎖器、無法合成的寫法等問題
查看答案與解析

正確答案:C. 不做模擬就檢查描述,找出位元寬度不一致、非預期的閂鎖器、無法合成的寫法等問題

Lint工具依照規則對HDL的描述進行靜態檢查,指出文法上雖然正確但容易出問題的寫法。例如寬度不同的訊號賦值、敏感度清單的遺漏、閂鎖器的推論、阻塞與非阻塞的混用、時脈處理的錯誤等。因為不必製作測試就能執行,所以若從設計的早期階段開始使用,可以減少後續驗證的工夫。

  • A. 不是實體清潔的裝置。
  • B. 不是顯示波形的工具。
  • C. 正確。可以在早期階段輕鬆找出錯誤。
練習這個領域 前往領域頁面

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

  1. 對邏輯合成或佈局繞線之後的電路(閘級網表),加入延遲資訊進行模擬的主要目的為何?
  2. 如上方的描述般,不經過正反器,而是組合電路的輸出回到自己的輸入的形式稱為什麼?又為什麼應該避免?
  3. 將上方的描述針對FPGA進行邏輯合成時,一般會如何處理?
  4. 在組合電路中,比較長串的if・else if描述與條件互不重疊的case語句描述時的說明,下列何者正確?
  5. Verilog的等號運算子「==」與「===」的差異,下列何者正確?

這個領域的比較