因此為提高執行驗證工作時的生產力,靜態時序分析(static-timing analysis) 以及功能驗證(formal verification)等靜態驗證(static verification) 輔助工具已成為處理高 ...
確定! 回上一頁