单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第5章 ASIC设计验证5.1 验证的概念5.2 功能验证技术5.3 静态时序分析5.4 形式验证技术5.5 DFT技术5.1 验证的概念什么是设计验证 验证的目是为了保证设计实现提供的功能特性是正确的是与设计规格书中定义的功能特性保持一致 验证的目标在于证明设计没有错误然而事实上验证