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

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