什麼是Lint 檢查工具(Lint tool)
不經模擬,依規則檢查 HDL 等的描述,找出位元寬度不一致或非預期閂鎖等容易出問題寫法的工具。
日文名稱: Lint
這個名詞所屬的領域: 硬體描述語言與驗證
不經模擬,依規則檢查 HDL 等的描述,找出位元寬度不一致或非預期閂鎖等容易出問題寫法的工具。
日文名稱: Lint
這個名詞所屬的領域: 硬體描述語言與驗證
四值邏輯(Four-state logic) 同步重設(Synchronous reset) 回歸測試(Regression testing) 米利型(Mealy machine) 受限隨機驗證(Constrained random verification) 阻塞賦值(Blocking assignment) 非同步重設(Asynchronous reset) 非阻塞賦值(Nonblocking assignment) 非預期閂鎖(Unintended latch) 重設同步器(Reset synchronizer)