一种超大规模集成电路的自动化验证方法.pdfVIP

一种超大规模集成电路的自动化验证方法 深圳市明微电子有限公司 王乐康 李立 唐焰 崔松叶 摘要 随着数字逻辑的设计复杂度的提高，验证的困难度也逐级上升。本文结合作者在 一款以太网交换芯片项目中的实践经验，提出了一种自动化芯片验证方法，该方法通过脚本 命令行自动控制参考模型与待测设计的更新、编译、运行及结果记录与验证，并构建了一套 先进的验证架构，以保证大规模集成电路的前端验证的准确、全面、可控制和易于管理，同 时本文还介绍了在以太网芯片具体验证过程中描述以太网数据流和PCI接口配置流的方法， 此方法可以使验证人员从复杂的编写测试向量中解放出来，能更好的关注功能验证本身，提 高验证效率。从项目的实验结果来看，这种自动化验证方法可以方便的进行RTL和参考模型 的联合仿真，最大限度的提高验证覆盖率，有效地降低验证工作量和缩短验证时间. 关键词 参考模型 功能验证 芯片 网络交换机 以太网数据流 PCI接口配置流 测试向量 1 引言 当今，数字集成电路的规模越来越大，集成度越来越高，百万门级千万门级的设计已经 不再是尖端技术，这样的现状带来的结果就是芯片功能和逻辑出错的概率大大增加。为了保 证芯片设计的准确性和IP的可重用性，验证就起到了决定性的作