開發者 covered.sf.net

涵蓋的是使用VCD/LXT/FST轉儲檔（或VPI介面）的Verilog代碼覆蓋實用程式，以及用於生成線路、切換、記憶體、組合邏輯、FSM 狀態/弧和斷言覆蓋率報告指標的設計，可透過GUI或ASCII格式查看。