RVM在功能验证平台中的应用

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户:liongliong561
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
RVM(Reference Verification Method)SYNOPSYS基于OpenVera提出的相关验证技术。它的提出使得OpenVera这门验证语言的优越性更好地体现出来。在分析传统功能验证方法缺陷的基础上,介绍了RVM的特点和优势.并重点研究了RVM中所提供的各种新技术和新功能。将RVM用于所搭建的ⅡC总线功能验证平台中,对新的验证平台的覆盖率进行了分析.结果表明使用RVM的验证平台的代码覆盖率和功能覆盖率都明显优于传统的验证平台。
其他文献
期刊
加强对未成年人的感恩教育,使学生能达到感人所感,知他人之情的德育目标,使学生在生活中能体谅他人,原谅他人,同情他人,帮助他人,爱护他人,从而形成学生的道德感。
位于武夷隆起带西坡的江西熊家山钼矿床具有独特的矿化特点。本文概要地介绍了该钼矿的矿床地质特征,通过对辉钼矿的Re-Os同位素组成的测试分析,获得模式年龄151.7~161.6Ma,
目的:构建pcDNA3.1-ZNF278重组人真核表达质粒,研究ZNF278对胃癌细胞增殖和周期的影响。方法:PCR扩增正常人胃黏膜组织中的ZNF278基因,并用EcoRI和HindIlI双酶切,与酶切后的pcDNA3.1
辽宁省司法厅负责彰武县冯家镇的定点帮扶工作。厅党组一直把定点扶贫作为司法行政机关贴近基层,服务群众,奉献社会的具体实践,在实际操作中,样样叫“真章儿”。
农场作为农村经济的一个重要组成部分,如何迅速走出困境,打造农村经济发展的示范区,既是一个突出而艰巨的任务,更是农场改革和发展应该研究、探讨、突破的一项重要内容。农场
期刊
期刊
江西省农科院微生物研究所和中国南方航天育种技术研究中心,采用航天育种诱变技术,培育出金针菇“航金1号”和“航金2号”,日前通过专家鉴定。这是我国首个食用菌航天新品种,具有
针对分布式计算环境,利用移动Agent技术提出了一种基于移动Agent的分布式Skyline查询算法.并进行了深入的分析.通过分析可知,该算法可以实现在分布式环境下求解全局Skyline点
园林建设的合理施工和园林植物的科学养护是提高园林建设质量的关键。本文就对园林建设施工和养护的改善策略展开讨论。