超大规模芯片功能验证的高效算法研究.docxVIP

超大规模芯片功能验证的高效算法研究

目录

文档概要．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．2

1.1超大规模集成电路测试背景．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．2

1.2功能验证研究意义．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．4

1.3国内外研究现状．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．6

1.4本论文研究目标与内容．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．11

相关理论与技术基础．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．12

2.1超大规模芯片测试模型．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．13

2.2功能验证理论框架．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．15

2.3算法设计关键要素．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．19

高效算法设计方法．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．22

3.1探测测试序列生成策略．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．22

3.2模仿故障模拟优