IC设计复杂化加剧:先进验证方式重要性倍增 |
| |
作者姓名: | Tom Fitzpatrick |
| |
摘 要: | 虽然目前的IC设计持续以惊人的速度复杂化,但设计者仍然希望可以通过先进的验证工作提高工作效率.所谓的先进验证工作便是将测试平台自动化(Test-Bench Automation)和正式属性检测(Formal Property Checking)两功能添加到功能验证(Functional Verification)的流程之中.本文将主要探讨其中的基本概念、价值以及使用方法,进而帮助读者了解.
|
关 键 词: | 验证工作 IC设计 杂化 倍增 工作效率 测试平台 功能验证 功能添加 设计者 |
本文献已被 维普 万方数据 等数据库收录! |
|