【摘 要】
：
随着半导体工艺突飞猛进的发展,芯片设计的规模不断增长,设计的复杂度不断提高,芯片功能日趋强大,系统级芯片SoC(System-on-a-chip)已经成为现实.与此同时,验证的复杂性也在
论文部分内容阅读
随着半导体工艺突飞猛进的发展,芯片设计的规模不断增长,设计的复杂度不断提高,芯片功能日趋强大,系统级芯片SoC(System-on-a-chip)已经成为现实.与此同时,验证的复杂性也在大幅的提升.其中功能验证是最复杂,工作量最大同时也是最灵活的部分.功能验证已成为整个设计流程的瓶颈,对于功能验证中采用的关键技术是目前业界研究的热点.
聚芯SoC是一款基于龙芯1号处理器的通用SoC芯片,采用L<*>BUS总线架构,集成了多个核心IP(Intellectual Property,知识产权核)及常规I/O设备控制器.本文涉及的工作是聚芯SoC功能验证中关键技术的研究.本文首先介绍功能验证的两种方法,基于仿真的验证方法和基于形式化的验证方法,比较了两者之间的关系.介绍了一些功能验证中采用的传统的和新兴的验证技术.通过对各种验证方法学的介绍,分析如何将这些验证技术有效的应用到SoC的功能验证中,提出聚芯SoC所采用的验证流程,分析了模块级验证在SoC验证中的重要性.
本文通过为聚芯SoC中MAC控制器模块搭建验证平台,对其进行仿真验证,并对其中所采用的关键技术进行分析和研究,在模块级验证上与聚芯SoC传统的虚拟BIOS验证进行比较,具有更高的验证效率.讨论了形式化验证方法中的模型检查方法,对聚芯SoC的PCI控制器进行了基于断言的混合形式化验证,分析其中所采用的形式化验证技术,为聚芯SoC的混合形式化验证提供了借鉴.
其他文献
“存储墙”问题一直是制约计算机系统性能的关键因素。随着多核处理器成为主流，单个芯片上可以同时运行的线程个数越来越多，这些线程同时竞争有限的访存资源，使得内存控制器面临
科学数据库经过二十多年发展，积累了大量科学数据资源。如何对这些分布、异构的数据资源进行集成和互操作，成为一个亟待解决的问题。由于传统元数据以及异构数据集成技术的局限
视频运动分析试图赋予计算机对视频中出现的运动目标进行自动检测、识别、跟踪,进而对其运动行为进行智能推理的能力.该研究具有重要的学术研究价值和广阔的商业应用前景,本
虚拟机技术将操作系统与硬件资源隔离开来，在很多方面极大的方便了人们对计算机软硬件资源的管理。虚拟机在线迁移技术，是基于虚拟机技术的典型应用，能够将操作系统实例透明地在
随着网络技术的发展，互联网上的信息呈指数快速增长。人们利用搜索引擎，例如baidu，google从海量的信息中查找所需。然而，当前的搜索引擎只是把互联网上的网页收集到本地数据库，并
微粒群算法是一种基于群体智能的随机优化算法。其思想来源于人工生命和演化计算理论。微粒群算法通过微粒追随自己找到的最好解和群体找到的最好解来完成优化。该算法由于容
土地档案管理是国家档案的重要组成部分。土地档案管理不仅是土地管理工作的一项重要内容和基础工作，也是全面、科学用好土地的重要保证。随着社会主义市场经济的不断发展，土地
汉字输入技术是中文信息处理领域中特有的一项基础性关键技术。虽然目前有一些不依赖键盘的汉字输入产品和不少基于汉字字形的输入法，但是毋庸置疑拼音输入法是互联网用户最常
随着互联网的快速发展,人们对互联网的依赖性越来越大,网络安全问题也日益突出.网络信息的过滤是网络和信息安全的核心关键技术之一.随着网络带宽和流量的"超摩尔"增长、对检
互联网的普及和服务器应用的的发展,对服务器端文件系统的性能提出了更高的要求.传统的单机文件系统已经不能满足服务器端负载对于文件系统在数据读写带宽、元数据访问吞吐率