IC设计复杂化加剧先进验证方式重要性倍增

摘要：

@@ 虽然目前的IC设计持续以惊人的速度复杂化,但设计者仍然希望可以通过先进的验证工作提高工作效率.所谓的先进验证工作便是将测试平台自动化(Test-Bench Automation)和正式属性检测(Formal Property Checking)两功能添加到功能验证(Functional Verification)的流程之中.本文将主要探讨其中的基本概念、价值以及使用方法,进而帮助读者了解.

机标关键词：设计、杂化、功能验证、属性检测、使用方法、基本概念、功能添加、工作效率、测试平台、自动化、流程、价值、读者

分类号：F4(工业经济)

在线出版日期：2007-09-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：34-42