【摘 要】
：
在ASIC设计的过程中，功能验证日益成为工作中的瓶颈。能否合理规划功能验证方案，使其能够在最大程度上保证设计的正确性，已经成为设计成功与否的一个关键因素。软件仿真作为功能
论文部分内容阅读
在ASIC设计的过程中，功能验证日益成为工作中的瓶颈。能否合理规划功能验证方案，使其能够在最大程度上保证设计的正确性，已经成为设计成功与否的一个关键因素。软件仿真作为功能验证中非常重要的一环，对其方法学上的研究自然也相应的具有非常重大的意义。目前，基于断言(Assertion)的验证方法的研究是该领域中被讨论得最多的方向之一。这种方法在基于仿真的验证流程和形式化验证的方法之间建立了一座桥梁，成为先进的设计验证方法学的核心。在龙芯2号配套北桥设计中，由于涉及到多种总线协议，而基于断言的方法对于协议的验证一直以来都被认为是最有效的应用领域之一，因此，我们以OVA(Open VeraAssertion)断言语言为基础，为各协议编写了可移植的检查模块，并在传统的仿真流程和形式化流程中都作了应用。同时，针对断言方法对于数据传输通路检查的不足，还额外补充了检查数据传输通路的部分。
其他文献
随着Internet 的迅猛发展,信息正在以指数级速度增长。然而, 随着数据量的激增,也面临着种种的困难。因为人们认识问题的深度、知识水平、所处的环境、考虑问题的着眼点、以
操作系统原理既是大学计算机科学与技术专业的核心课程,也是基础软件领域内的重点研究课题。但由于实验条件限制及操作系统原理自身的特点,学生通常只能以理论化、静态化的方
随着汽车行业的不断兴起,汽车已经开始逐渐的进入到平常百姓家,车辆数目的剧增,给道路管理带来也更大的挑战,车辆识别技术也就成为了当前研究的热点。而车标包含了厂家制造商
在高温超导磁悬浮车运行过程中,必须时刻监测低温系统中的液氮液位以保证高温超导磁悬浮车的安全运行。 由于杜瓦瓶尺寸及强磁场的限制,市面上现有的液位传感器无法对杜瓦
网格技术与e-Learning技术的融合形成了e-Learning网格这一新的研究方向。在e-Learning网格系统中，为了合理利用网格中的各种资源，必须对任务进行有效调度；同时，随着网格应用的深
近年来机群系统以其低成本、高性能而逐渐成为高性能计算的主流平台。作为解决机群系统外存储瓶颈上的有效手段的机群文件系统因此得到了很大的发展。一个机群文件系统必须要
IPv6于1994年被确立为下一代互联网协议,它继承了IPv4的许多优点,摒弃其弊端。但是IPv6在地址格式、报头和路由等方面的改进造成两个版本的IP协议不能兼容,因此产生了IPv6过
码分多址(Code Division Multiple Access,CDMA)技术是第三代及未来移动通信系统的核心技术,CDMA系统与其他通信系统相比,具有许多重要的优势,但CDMA系统是一种干扰受限的系
本文是针对电视节目中的音频信号进行的音频分割分类方法的研究.在对现有算法的充分研究和实验的基础上,实现了电视音频的分割分类系统.本系统主要包括音频分割和音频分类两
随着Internet 飞速发展,新的应用不断增多,对网络的实时性、服务质量要求越来越高。网络安全防护体系中大部分网络安全设备均处在网络的瓶颈位置上,当应用在大规模的网络时,