基于IIP模块的覆盖率驱动验证技术

摘要

随着ASIC设计规模和复杂度的不断增加，验证已经成为制约大规模芯片设计的主要瓶颈之一。如何将验证时间降低到一个合理的程度，以及如何确保验证的完备性，是验证工作面临的两个主要难题。 为此，本文采用基于覆盖率的验证方法，对一款分组传送芯片中的三层转发模块ⅡP进行了验证，论文的重点是寻找验证时间和验证质量之间的平衡点。论文详细阐述了基于覆盖率的随机验证过程以及验证环境的搭建，提出从代码覆盖率和功能覆盖率两方面保证验证的完备性和可度量性。 包括本文的验证工作在内，目前该芯片的验证工作已经全部结束，经FPGA上板测试，证明功能运行良好并且即将投片。本文的研究工作，从验证思路和方法上，对下一个版本以及其他相关芯片有一定的借鉴意义，可以有效地提高验证质量，降低芯片开发成本，缩短开发周期。

目录

文摘

英文文摘

声明

第一章 绪论

1.1课题背景和研究意义

1.2验证语言和验证方法研究现状

1.3基于覆盖率的验证方法

1.4主要工作和论文结构安排

第二章 IIP模块应用背景

2.1分组交换芯片应用背景

2.2路由器的应用背景

2.3 IPv4报文格式

2.4路由原理

2.5本章小结

第三章 验证环境

3.1验证环境设计目的

3.2验证环境层次化结构

3.3 IIP模块验证环境搭建

3.4本章小结

第四章 覆盖率及随机验证方法

4.1覆盖率空间划分

4.2代码覆盖率

4.3功能覆盖率

4.4 IIP模块的覆盖率统计结果分析

4.5随机验证方法

4.6本章小结

第五章结束语

5.1总结

5.2下一步工作

致谢

参考文献

研究成果