文档介绍：二火,泌之乐硕士学位论文,数据路由系统基于镅缘难橹北京交通大学作者:胡晋彬导师:李晓光年月
学位⋯⋯:诈吾木木签字日期:加卜年月日签字日期:/口年月C艿难宦畚脑诮饷芎笫视帽臼谌ㄋ得导师签名:。●
北京交通大学硕士学位论文数据路由系统基于镅缘难橹学位类别:工学研究方向:集成电路设计作者姓名:胡晋彬导师姓名:李晓光学号:职称:副教授学位级别:硕士学科专业:微电子学与固体电子学年月密级:公开
李老师严谨谢三年来李上都给予了我很大的关心和帮助,在此向李老师表示衷心的谢意。在实验室工作及撰写论文期间,李媛、孔璐等同学对我论文中的验证平台研究工作给予了热情帮助,在此向她们表达我的感激之情。另外也感谢家人,他们的理解和支持使我能够在学校专心完成我的学业。哆■,
中文摘要摘要:随着系统设计的规模和复杂度呈指数上升,传统的验证环境在可重用性、灵活性和验证效率等方面存在的缺点越来越明显,显然已无法满足验证领域的需求,巨大的验证压力迫使验证工程师必须突破传统验证方法,开发新的验证技术和新的验证环境来提高验证效率,保证产品质量。本文的主要任务是完成对数据路由系统的功能验证,因此如何有效地实现其系统级验证平台,使其具有较强的灵活性和可复用性,并且自动化程度高,是本文的研究难点和重点。本文运用镅允迪至嘶赩高级验证方法学的可扩展的分层验证平台,有效的提高了验证的充分性和可靠性以及验证效率,加速了项目开发进程。本文通过脚本文件对验证平台进行仿真管理,实现了约束随机激励的生成、断言的监视、输出数据的实时比对以及覆盖率统计等自动化功能。同时,验证平台支持随机测试向量约束条件的更改、自动比对机制按需求定制和功能覆盖点的添加,使验证平台的灵活性和可复用性达到最大化。此外,本文采用基于事务的建模方法,抽象层次高,使验证从信号级抽象到事务级,验证平台的每个层次都能给其上层或测试用例提供一系列的服务,并通过抽象将低层次的细节隐藏起来,针对不同的测试用例,只需要修改测试场景和约束条件。本文实现的系统级分层验证平台已经成功应用于数据路由系统的功能验证中,验证结果和覆盖率均达到了预期的目标,验证过程中充分体现了橹し椒学的优势和约束随机激励验证、基于断言的验证和覆盖率驱动验证等高级验证技术的灵活性、高效性和自动化特点。本文采用的基于呒堆橹し椒ㄑУ难橹に枷牒拖冉难橹ぜ际跷H找复杂的系统级功能验证提供了坚实的基础,具有一定的创新和应用价值。关键词:系统级验证;痸;约束随机验证;断言验证;覆盖率驱动验证分类号:~,
.、胁’瑃琣琫..,,—,,,—..,,,●一
:—;籆;;—篢●
目录中文摘要⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.引言⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.选题背景及研究意义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..研究现状及发展趋势⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..本文研究内容及章节安排⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..基于镅缘腣验证方法学⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯镅缘姆⒄辜疤氐恪橹し椒ㄑА橹し椒ㄑ氐恪竣鯩分层验证平台⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..橹て教ㄗ榧曜伎饧翱芍赜玫难橹本章小结⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯数据路由系统验证规划⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯数据路由系统的结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯数据路由系统验证平台分析⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.数据路由系统验证过程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.馐杂美7ⅰ.δ苎橹し椒ā数据路由系统验证平台的实现⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯验证平台总体架构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯验证平台组件的实现⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..【⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯目勇之⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..
结论⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..参考文献⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯作者简历⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.独创性声明⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯学位论文数据集⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯
引言选题背景及研究意义随着半导体工艺水平进入深亚微米和超深亚微米阶段,ㄓ眉傻缏设计规模日益庞大,设计复杂度飞速增长,集成电路在容量和性能两方面都有了显著的提高。随之而来的是更为复杂的验证过程,它伴随着集成电路设计的每个阶段,并且贯穿于整个设计过程的始终。目前,验证