【摘 要】
：
SoC已经成为当今超大规模集成电路的发展趋势,它从整个系统的功能和性能出发,用软硬件结合的设计和验证方法,在一个芯片上实现复杂的功能.随着SoC的功能越来越复杂,验证在SoC
论文部分内容阅读
SoC已经成为当今超大规模集成电路的发展趋势,它从整个系统的功能和性能出发,用软硬件结合的设计和验证方法,在一个芯片上实现复杂的功能.随着SoC的功能越来越复杂,验证在SoC设计中的地位也越来越重要.如何有效地对SoC进行验证,提高验证工作的效率是一个非常值得关注的问题.处理器是SoC中的核心部件,对处理器的验证也是SoC验证工作的核心.该文的目的就是为了更好的验证北大众志-863 CPU系统芯片中的处理器.该文的主要内容包括:针对北大众志-863 CPU系统芯片中处理器的验证问题,首先用Verilog对处理器进行行为级建模,在算法的级别描述处理器的功能.在开发行为模型的过程中,该文对处理器进行了高层次的抽象,使用了不同于处理器本身的执行机制,使得开发行为模型的过程变得简单.验证后的行为模型被用作参考模型来验证处理器的硬件设计.验证过程中使用了自动化的查错技术和测试向量随机自动生成的技术.为了进行软硬件的协同验证,该文使用SystemC重新开发了处理器的行为模型.通过对SystemC的行为模型进行封装和扩充,得到了一个可以运行软件应用程序的周期精确的模拟器.模拟器对软件的模拟运行保证了行为模型和软件在功能上的协同.行为模型对硬件设计的验证保证了二者在功能上的一致.由此可以得出结论:硬件设计和软件在功能上也做到了协同.软硬件协同验证的方法在验证处理器设计的过程中发挥了重要的作用,为北大众志-863 CPU系统芯片的设计和验证提供了有效的支持.这种方法并不仅仅适用于对处理器的验证,它可以被用来验证SoC系统中所有的硬件模块,具有普遍适用性.
其他文献
从20世纪90年代初至今,以手机、PDA和掌上电脑为代表的手持移动设备得到了日益广泛的应用,手持移动计算已经逐渐成为当今的主流计算模式之一.随着移动设备自身软硬件性能的提
通信性能是影响集群系统实际并行处理效率的关键.随着网络技术的发展,网络硬件的通信能力迅速提高,而软件协议发燕尾服则相对滞后,导致协议开销逐渐成为通信的瓶颈.针对这种
针对企业用户的具体需求,就目前工业现场过程控制的现状及其未来发展趋势,提出了一个行之有效的小型集散控制系统(Distributed Control System)的设计研发方案.为此,本文以集
在Internet之上提供Video on demand(VoD)服务是一个很有挑战性的问题.困难存在于两个方面.首先由于视频流的高带宽需求和比较长的传输时限对于端到端的网络传播来说是一个考
在过去的几年时间里,对等网络(Peer-to-Peer Network,简称P2P)迅速成为计算机界关注的热门话题这一.P2P是网络计算一种新技术,这种技术的目的就是将网络中不同的计算机连接在
近年来的WEB服务和网格技术的发展,极大的促进了各种分布式系统的发展.分布式环境中的移动计算正迅速在现实中被广泛应用.移动代码就是指那些可以在除了代码来自的主机以外的
随着Internet和无线互联网的蓬勃发展,信息推送系统(SDI)正越来越成为人们方便、即时地获取信息的强有力工具.典型的,它是将数据流信息发送到无线用户的必由桥梁.在Internet
IP Anycast作为一种新兴的网络服务和IPv6的新特性,具有广阔的应用前景.目前它处在研究的初期阶段,几乎没有被实现.该文的目标是研制一个基于IPv6的域内主机Anycast原型系统.
JPEG2000是一种新兴的基于小波技术的图像压缩标准[TM01,RJ02,IT00],由于其出色的压缩率,很快成为许多数字图像应用领域的首选方案.随着数字图像应用的日益广泛,图像压缩算法
随着信息科技的飞速发展,网络已经融入了人们的生产和生活,它对社会经济发展、信息文化的传播、交流和对政府政策管理等方面已经产生了深远的影响.目前Internet里的海量信息