【摘 要】
：
随着设计复杂度的不断增加和设计规模的不断增大,传统的验证工具已难以适应当前功能验证的要求.Vera为验证增添了强大的语言能力.使用Vera建立验证平台,它独有的特性能够隐藏
【基金项目】
：
国防“十五”预研基金项目（41308010108）
论文部分内容阅读
随着设计复杂度的不断增加和设计规模的不断增大,传统的验证工具已难以适应当前功能验证的要求.Vera为验证增添了强大的语言能力.使用Vera建立验证平台,它独有的特性能够隐藏设计中的复杂性,从而使testbench的编写更见简洁.通过使用动态的激励驱动,实现了实际工作中的状态和全部极端的条件,从而发现设计中存在的瑕疵.使用Open Vera验证语言构建了“龙腾R2”L2cache验证平台,成功完成了“龙腾R2”的验证工作.
其他文献
基于Forsmer算子的基本原理,提出了一种在Radon变换后峰值检测的新方法.为了优化Forsmer算子计算复杂度,对Forsmer算子兴趣值的计算做了改进,并设置了新的阈值.通过实验应用到Radon变换峰值检测中,实验表明该算法在峰值检测中非常有效.
非稳定矢量场可视化是科学计算可视化中最具挑战性的课题之一。分析了二维非稳定场的可视化方法UFLIC,并针对其产生每帧图象费时较多的缺陷,进行了改进。采用种子控制算法来控制种子的释放,通过重用已保存的相关迹线来减少迹线的积分计算,达到减少生成每帧图象所需的时间的效果。实验证明在生成的图象质量相当的前提下,种子控制算法比UFLIC算法更快。
智能卡具备硬件加密的优点，且便于携带，在当今的安全领域得到广泛应用。文中介绍了智能卡的相关概念和安全特性．并根据二元有限域上的算法，在智能卡上实现了椭圆曲线密码算法。还
P2P是互联网金融的主要模式之一。本文对P2P的概念进行简要介绍,分析P2P网络借贷在我国发展现状,并指出发展中存在的一些问题,对今后发展提出对策建议。
在备份路径预建立的前提下，提出了一种MPLS的故障恢复方案P（Proposal）。该方案结合了段保护和路径保护的思想，在段保护域中引入了现有的HM模型以减小Haskin和Makam的恢复时间。与
甘肃贫困地区生态环境脆弱，正农业基础薄弱，人均收入水平低，地方财力不足，“三农”问题解决面临的制约因素较多。只有找准问题的关键，因地制宜，才能做好甘肃贫困地区的新农村建设工
高校新校区建设项目综合性强、工程浩繁、耗资巨大、投资期长,尤其是在资金筹集与运作方面面临巨大挑战。本文以河北机电职业技术学院新校区建设项目为例,对高校新校区建设的
农村劳动力转移对新农村建设既有正面效应，又有负面效应，二者之间互为条件，互相制约，互促互进。为此，协调处理好农村劳动力转移与新农村建设之间的关系是发展的必要。文章结合甘肃
数字音频水印是水印技术中重要的组成部分。而近年来对音频水印的研究远远少于图像水印，双水印的研究则更加少。因此提出了一种基于小波变换的双水印算法，在音频信号的小波变换
目前市场上的EDA工具均只支持由原理图到网表的正向设计。介绍了自行开发的一种原理图还原系统,作用是根据原理图的网表,自动还原出PCB的原理图。具体是通过SKILL语言在EDA工具Concept HDL平台上二次开发实现的。