IC設計複雜化加劇先進驗證方式重要性倍增 - 學技術 - 新電子科技雜誌

所謂的先進驗證工作，是將測試平台自動化(Test-Bench Automation)和正式屬性檢測(Formal Property Checking)兩功能加入功能驗證(Functional Verification)的流程當中...

www.mem.com.tw