论文题目: 北桥芯片功能验证中的覆盖率分析
论文类型: 硕士论文
论文专业: 计算机系统结构
作者: 王赵君
导师: 唐志敏
关键词: 功能验证,模拟仿真,功能覆盖率,代码覆盖率,北桥
文献来源: 中国科学院研究生院（计算技术研究所）
发表年度: 2005
论文摘要: 随着半导体工艺突飞猛进的发展,ASIC设计的复杂程度也呈指数增长,功能验证的复杂度也不断提高,这使得覆盖率分析(coverage analysis)成为ASIC设计验证中的一个重要环节。本文先从功能验证入手,系统的介绍了这个领域内已有的成熟技术,形式验证和模拟仿真验证。并将模拟仿真验证技术应用于北桥的验证工程项目之中。模拟仿真验证包括测试生成、结果检测和覆盖率分析。在测试生成方面,采用了带约束的随机测试生成;在结果检测方面,使用了现在最流行的基于断言的结果检测方法,取得了不错的效果。在覆盖率方面,使用了代码覆盖率和功能覆盖率两种分析方法。在验证过程中,代码覆盖率检测激励所执行测试代码的验证效率;功能覆盖率用于检测激励所执行代码功能的效率。本文给出了两种覆盖率分析方法在PCI Bridge模块上的实际应用。由于代码覆盖率和功能覆盖率都有一定的局限性,所以尝试了两种覆盖率相结合的覆盖率分析方法。代码覆盖率与功能覆盖率相结合的方法是在同一个测试平台加载同样的测试向量,对两种覆盖率结果进行比较分析,通过这种方法,我们提高了验证的可靠性和验证效率。本文使用这种方法在PCI Bridge的覆盖率验证中取得了比较理想的效果。两种覆盖率均达到95%以上。并且提出了一个有标准接口、可重用的PCI Bridge覆盖率模型,可以被其他相似的系统借鉴。
论文目录:
摘要
ABSTRACT
第一章 引言
1.1 功能验证概述
1.1.1 形式验证
1.1.2 模拟仿真验证
1.2 覆盖率分析概述
1.2.1 代码覆盖率
1.2.2 功能覆盖率
1.3 本论文的内容及章节安排
第二章 龙芯北桥及其验证环境
2.1 北桥验证
2.1.1 北桥的基本结构
2.1.2 北桥的验证环境
2.1.3 北桥的验证方法
2.2 PCI Bridge 的验证
2.2.1 PCI Bridge 的基本结构
2.2.2 PCI Bridge 的验证环境
2.2.3 PCI Bridge 的验证
2.3 小结
第三章 北桥PCI bridge 的覆盖率分析
3.1 代码覆盖率分析
3.2 功能覆盖率分析
3.2.1 模型建立
3.2.2 功能覆盖率结果分析
3.3 代码覆盖率和功能覆盖率结合的分析方法
3.4 小结
第四章 结束语
4.1 主要工作
4.2 今后工作设想
参考文献
致谢
作者简历
发布时间: 2006-12-26
参考文献
- [1].基于SDRAM的LPDDR4高速接口测试与优化[D]. 景丹.西安电子科技大学2018
- [2].基于向量分解的测试向量压缩方法研究[D]. 张亮.湖南大学2015
- [3].基于测试响应填充技术的测试数据压缩方法研究[D]. 孙艳.湖南大学2015
- [4].基于谱变换的伪随机测试方法研究[D]. 蒋和平.湖南大学2017
- [5].硬件木马检测方法研究[D]. 冀晋渊.电子科技大学2018
- [6].基于逻辑测试的硬件木马检测方法研究[D]. 钏鑫.战略支援部队信息工程大学2018
- [7].一种FPGA综合过程中的测试向量生成与可测性设计方法[D]. 张双悦.清华大学2014
- [8].利用无关位增加测试向量分组的长度[D]. 杨静.湖南大学2010
- [9].芯片的测试向量转换技术研究与系统实现[D]. 吴明行.中国科学院研究生院（计算技术研究所）2006
- [10].VLSI自动测试向量生成技术研究[D]. 潘洪良.黑龙江大学2012
相关论文
- [1].微处理器功能验证自动化方法的研究和实现[D]. 张振军.上海交通大学2008
- [2].基于断言的功能验证方法研究[D]. 杨弢.东南大学2006
- [3].时序电路的功能验证方法和技术研究[D]. 高秋红.北京交通大学2006
- [4].覆盖率驱动的Garfield芯片Bottom-up功能验证方案的研究[D]. 孟维佳.东南大学2005
- [5].SoC功能验证技术研究[D]. 吴向宇.国防科学技术大学2006
- [6].64位高性能微处器系统功能验证方法的研究与实现[D]. 陈华宏.国防科学技术大学2005
- [7].芯片设计的验证技术和验证流程研究[D]. 梁骏.浙江大学2004
- [8].SoC功能验证自动化系统的设计与实现[D]. 周萌.合肥工业大学2004
- [9].功能验证和MCU软核测试技术的研究[D]. 蔡金青.合肥工业大学2004
- [10].基于随机测试的SoC系统级验证方法研究[D]. 何震.武汉大学2004