论文部分内容阅读
随着数字逻辑设计越来越复杂，验证的难度也越来越大。根据一款以太网交换芯片的项目完成所总结的经验，提出了一种基于Vera的电路行为级建模的验证方法。实验结果表明，这种验证方法可以方便地进行RTL和参考模型的联合仿真，并能最大限度地提高验证覆盖率．有效地减少验证工作量和缩短验证时间。
一种基于Vera的集成电路建模验证方法
【摘 要】
：
随着数字逻辑设计越来越复杂，验证的难度也越来越大。根据一款以太网交换芯片的项目完成所总结的经验，提出了一种基于Vera的电路行为级建模的验证方法。实验结果表明，这种验证方
【机 构】
：
北京大学深圳研究生院,北京大学微电子所
【出 处】
：
计算机技术与发展
【发表日期】
：
2007年1期
其他文献
《解放日报》于1941年创刊,1947年终刊。这6年间,抗日战争和解放战争进行得如火如荼,《解放日报》顺利变成了一张完全的战斗的报纸。对于整风运动、大生产运动等内部问题,其
竞走运动员的放松能力是指运动员既合理又经济地完成竞走技术动作的能力。运动员善于在紧张之后迅速并充分地放松肌肉不仅对完成动作的质量有重要影响,而且对能量供应和热量
雄安新区建设第一阶段现已启动,新区起步区首期拆搬迁规划涉及容城、安新两县共60个村。面对如此重大的生产生活方式等众多改变,本文从媒介化的角度出发提出对动迁区群众基于
与传统网络比较，移动AdHoe网络具有拓扑结构不稳定、终端能源有限、有限带宽及自组织等特点，这使得AdHoe网络的安全问题成了一个极具挑战性的研究课题，而安全问题中认证是基础。
中国社科院企业社会责任研究中心10月30日在“首届中国社会责任百人论坛”上发布的《企业社会责任蓝皮书（2016）》显示，国企100强，尤其是中央企业的社会责任发展指数持续领先于民
购物节目是在网络平台及传统媒体平台播出的一种特殊的节目。主持人在节目运作过程中,要时刻调整自己的播讲状态,劝服消费者产生购买动机,更好地完成节目传播效果。本文从消
微处理器技术的发展使嵌入式系统得到广泛应用。一个小型、实时、性能良好的嵌入式操作系统的研发和应用，就成为嵌入式系统进一步应用要解决的首要问题了。文中在重点分析Linu
结合人类视觉特性,针对CT/MRI医学图像的特点,提出了一种基于非下采样Contourlet变换的图像融合算法。先对源图像作非下采样Contourlet变换,完成图像的多尺度分析和方向分析。充分考虑各尺度分解层的系数特征,对低通子带,基于评价准则最优,采用免疫克隆选择优化策略迭代获取近似最优融合权值;对高通子带则选取绝对值最大作融合。实验结果表明:分别与基于小波、非下采样小波,以及Contourl
点对点（Peer-to-Peer）算法已成为一项热门研究。但作为验证其有效性的工具——P2P模拟器却没有受到过多的关注。现存的P2P模拟器存在很多问题，如可扩展性差、通用性差、模拟节点
媒介经济学中的"售卖理论"是媒介经营的重要模式。近年来,随着全媒体时代的到来,媒介盈利模式呈现出新现象,传媒经济的二次、三次售卖理论也日益呈现新的特征与表现形式。基