芯片设计验证技术的发展与应用.docxVIP

芯片设计验证技术的发展与应用

目录

一、文档综述．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．2

二、芯片设计验证基础理论．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．3

三、形式验证技术．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．5

3.1逻辑等价证明．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．5

3.2提前验证．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．9

3.3形式验证工具链．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．10

3.4形式验证应用案例．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．12

四、动态验证技术．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．13

4.1测试平台构建．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．13

4.2测试用例生成方法．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．16

4.3仿真验证技术．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．