论文部分内容阅读
设计并实现了一个RTL覆盖率驱动的验证框架HRV ,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器以及基于路径和基于断言的模拟矢量自动生成方法 实验结果表明 ,HRV通过集成多种验证工具 ,提高了模拟验证效率 ,加速了错误检测和错误定位
RTL验证框架——HRV
【摘 要】
：
设计并实现了一个RTL覆盖率驱动的验证框架HRV ,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器以及基于路径和基于断言的模拟矢量自动生成方法 实验结果表明 ,HRV通过集成多种验证工具 ,提高了模拟验证效率 ,加速了错误检测和错误定位
【机 构】
：
国防科学技术大学计算机学院
【出 处】
：
计算机辅助设计与图形学学报
【发表日期】
：
2004年11期
其他文献
羽毛球运动在社会体育中发展较为广泛,深受人们的喜爱,高校近年来也都将羽毛球运动引入体育教学中来,受到了师生的好评.通过羽毛球运动可以增强大学生的身体素质,提高学生的
建立一个专门的错误报告数据库 ,记录开发大型分布式GIS中各阶段发现的错误信息 ,然后根据数据库中的错误记录进行量化分析 ,得出错误分布情况 目的是识别出有错误倾向的代码 ,为如何合理地分配有限的测试资源提供依据 ,同时也为相关领域提供一定的实验数据
通过对状态预报误差的协方差矩阵的各个分量分别进行控制,设计一种强跟踪扩展卡尔曼跟踪滤波器,并在单目相机环境下利用该滤波器对3D人手运动过程中的突变状态进行跟踪;讨论了3D人手生理模型、运动模型等问题;最后通过大量实验证明了该强跟踪滤波器的有效性.与现有的STEKF滤波器相比,文中的强跟踪滤波器具有更强的跟踪能力.
休闲体育专业人才的培养需要教育与实践结合,专业与职业结合。在当今社会分工愈发精细的情况下,简单的生活技能无法适应社会的飞速发展,培养复合型人才必须以职业作为专业人
提出一种基于最佳匹配点、利用交比来识别平面多边形目标的方法 该方法利用目标的顶点构造交比不变量 ,并以其作为目标的特征矢量 采用最大隶属度原则 ,首先通过局部联合矢量寻找最佳匹配点和判断目标是否丢失顶点 ,然后识别目标 实验表明 :该方法容易实现 ,计算量小 ,识别效率高 ,并且能够适用目标局部缺损的情况
女性月经周期为构成女性生物钟的重要组成部分,因此,我国游泳教练在安排运动员训练计划的同时,应充分考虑女子周期特点。同时,由于女子在月经期间的不同时间点,所体现的身体
现代服务业发展程度是衡量一个地区国际竞争力和产业发展水平的重要指标。针对营口市现代服务业产业发展不均衡、区域内发展不平衡、企业构成不合理、软硬件环境制约等问题,
散打运动是一种徒手搏击的格斗运动，具有非常广泛的群众基础，散打运动能够培养大学生勇敢，顽强、坚毅的意志品质以及灵活的身体素质，深受广大青年大学生的青睐。但是，散打运动的对