(中科院)集成电路设计验证,这个资料还不错哦!! _a;E>
X9W'.s.[Q
摘要:设计验证(Design Verification)是集成电路设计中不可或缺的重要组成部分。功能验证是设计验证最基本的内容,用于判别设计规范(Specification)和实现(Implementation)之间是否一致。本文介绍模拟验证、形式验证中的等价性检验(Equivalence Checking)和模型检验(Model Checking),介绍设计验证的基本原理以及我们在设计验证方面的基础研究成果和工程应用经验。