文档介绍：浙江大学信息与电子工程学系
博士学位论文
面向SoC的IP核及嵌入式处理器功能验证方法研究
姓名:殷燎
申请学位级别:博士
专业:电路与系统
指导教师:严晓浪
20100427
摘要接口模块对系统调用的参数和数据进行提取和转换,在虚拟系统与宿主系统之间平台调度流程与仿真流程相分离,设计平台调度中心控制验证平台的单向主控流随着杓聘丛佣扔肷鲜惺奔涞拿苋找嫱瓜裕δ苎橹ひ丫晌3蠊模集成电路设计的严峻挑战。本文以核及嵌入式处理器的功能验证为研究对象,分别对验证平台、验证工具、仿真流程、验证方法进行探索,系统地提出了高效的核设计验证方法与嵌入式处理器功能验证方法,显著提高了泄键基础组件的验证效率,加速了纳杓蒲橹そ獭1疚牡难芯磕谌萦氪葱点主要包括以下四个方面:⒒谛槟釹平台的核设计验证方法。在计算与通信的功能正交性理论指导下,对的内部逻辑与通信接进行正交分离,并设计通用总线接,提高了接口的设计复用性。采用标准构建的设计与验证资源规范化描述库,并提出了面向目标低车腎远闪鞒蹋ü卟愠橄蠼模方法,设计了包括系统级功能模型与外设行为模型在内的虚拟教ǎ不同提供统一的验证环境。基于虚拟教ǎ环纸釯墓δ苎橹ぜだ空间,分别优化的通信接与逻辑功能验证用例生成流程,有效压缩了激励冗余度,提高了激励生成的效率与可复用性。⑶度胧酱砥魇敝泳纺P蜕杓品椒ㄓ胂低车饔米;环椒ā2捎妹嫦蚨象方法,对处理器仿真模型的流水线架构与功能模块单元进行分离建模与设计,并基于稳定流水线架构对离散功能模块开展快速重构,提高时钟精确仿真模型对嵌入式处理器设计空间的搜索能力。面向目标仿真程序中的系统调用请求,提出系统调用转换的直通通道方法,采用时钟精确仿真模型中的寄存器组模块与总线进行系统调用的传递与实现,支持目标程序的快速仿真和高效调试。⑶度胧酱砥餮橹て教ㄓ攵抡媪鞒蹋⒂裳橹び美婊だ成器与资源库,信号层验证子平台,仿真参考模型与结果检测,覆盖率统计等部分所组成的嵌入式处理器验证平台,并基于该平台提出了动态仿真流程方法,将浙江大学博士学位论文
次静态编译、多次动态随机激励生成与循环仿真,有效压缩了编译时间消耗,提⒒诓愦位芄沟拇砥魉婊だ煞椒āL岢龃砥鞴δ芸占涞牟不同构建层次化验证资源库,其中包括场景配置库与功能操作库,对处理器随机成方法,实现约束的分层设计、添加与单向链式传递,高效完成随机激励流生成。该技术提高了处理器随机激励的生成效率与质量,并增强了随机过程的可控性与关键词程,设计仿真流程控制台实现动态循环的仿真流程,实现了处理器验证平台的一高了仿真效率。次化建模方法,基于处理器指令集进行指令功能的聚合与抽象,,提出层次化的受约束随机激励生可扩展性。本文所提出的各项方法与技术,对于提高核与嵌入式处理器功能验证效率与质量具有积极的推动作用,从而加速纳杓蒲橹そ蹋虚拟教ǎ籌搜橹ぃ幌低车饔米;唬欢抡媪鞒蹋淮理器验证;受约束随机;激励生成浙江大学博士学位论文摘要
琣琣浙江大学博士学位论文,..瑂..,甌,瓸...琣甌甐,瓵琣瓹
,,,,...,瑆,琲甐·琲,.,.,.,獁甀
,.:,,,,浙江大学博士学位论文..
致谢光阴荏苒,岁月如梭,转眼间,我已在浙江大学度过了五年的博士学生涯。的成长,是与实验室老师们的辛勤教学,悉心指导,以及辛劳的实验室建设分不在这里,我得到了最扎实的专业知识学习,得到了最系统的科研方法训练,得到了最坚毅的品格性情磨练,得到了最温暖的人文生活关怀。感谢我的母校浙江大学,我的母系信息与电子工程学系所给予我的辛勤培养和无私教诲,以后无论身处何时何地,我都将永远铭记和践行一名求是学子的责任与力量。五年的博士生涯中,我要特别感谢我的导师严晓浪教授,他一直以来对我悉心关怀、尽心指导,以他渊博的学识,高瞻的境界,和蔼可亲的态度,严谨治学的精神极大地影响着我,熏陶着我,激励着我,促使我不断前进。作为一名博士生,能师从严老师是我一生的荣幸。衷心感谢葛海通老师,他多年来在项目工作中对我充分信任,鼓励关心,帮扶支持,促进我快速成长;在生活中,他温和包容,无微不至,坦诚豁达,是我的良师益友,,你们作为我的师兄,在学研究和项目工作中给予我热情帮助,答疑解惑,一以贯之,不厌其烦。多年以来,在与你们的热烈讨论和思想交流中,我的视野得到了开阔,思维得到了活跃。在研究方向和职业发展上,你们给予了我细致的分析与中肯的建议,让我受益匪浅。你们是我永远的好兄长。衷心感谢浙江大学超大规模集成电路设计研究所的史峥老师、吴晓波老师、何乐年老师、沈海滨老师、罗小华老师、张培勇老师、潘贽老师、丁勇老师。我开的。感谢全励、董文箫、周喜川、杨祚巍、曹葵康、程爱莲、严晓峰、马斌、潘虹、徐建等同学在