【摘 要】
：
模拟矢量自动生成是提高VLSI验证质量、缩短验证周期的关键.本文设计并实现了一个RTL模拟矢量自动生成原型系统HRV,它集成了自主开发的基于程序切片技术的设计抽取器,基于VCD文件的代码覆盖率分析器/以及基于路径和基于断言的模拟矢量自动生成方法.实验结果表明,HRV可有效提高模拟验证效率,加速错误检测和错误定位.
【出 处】
：
全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议
论文部分内容阅读
模拟矢量自动生成是提高VLSI验证质量、缩短验证周期的关键.本文设计并实现了一个RTL模拟矢量自动生成原型系统HRV,它集成了自主开发的基于程序切片技术的设计抽取器,基于VCD文件的代码覆盖率分析器/以及基于路径和基于断言的模拟矢量自动生成方法.实验结果表明,HRV可有效提高模拟验证效率,加速错误检测和错误定位.
其他文献
本文首先介绍了三维可视化的发展现状与应用前景,并结合实际情况介绍了《地质数据体三维可视化》这一软件系统的基本功能.重点介绍了三维可视化中的裁剪区绘制,提出了几个有关裁剪的图形学算法,并用程序加以实现,证实了算法的可行性与有效性.
轮胎是车辆运动体的重要组成部分之一,主要功能是支撑车辆重量,保证与路面具有良好的附着以及缓和车辆被牵引时由于不平路面所受到的冲击,并衰减由此产生的振动.轮胎性能的优劣对车辆的牵引性、稳定性、安全性以及经济性等均有密切的关系.本文研究了单轴挂车爆胎后的牵引行驶稳定性.本文应用ADAMS分析软件,建立了列车的行驶动力学模型,分析了在不同路面的不同速度,挂车爆胎后的行驶姿态.
在非编程的、可视化的VRML三维场景生成工具中加入交互式、易生成的描述运动的手段,可以丰富场景的动态表现能力.介绍了用户非编程的创建运动路径的思想和实现方法,用于"案件现场三维再现系统"中,可以在场景中增加对案件的描述.
本文结合对NMD系统的导弹攻防仿真系统应用需要,设计并实现了基于HLA的导弹攻防视景仿真系统.并对视景仿真系统中的图形图像可视化,多线程管理,框架与应用分开,时空一致性等关键技术做了详细介绍.
在分析复杂结构产品设计的特点和简要介绍Multi-Agent技术的基础上,提出复杂结构产品设计MAS(Multi-Agent System)模型.保证了设计数据的协调一致性和完整性,很好地支持了产品的改进设计和变形设计以及异构环境下的协同设计.
本文提出了一种基于OCP通讯协议的虚部件级软硬件协同建模方法,并建立虚部件级模型——FITM.虚部件级模型FITM(Funtion Interface Timing Model)介于系统级算法模型和RTL级时钟精确的模型之间,可简化系统级任务直接映射到RTL体系结构的难度;基于FITM模型的协同仿真对仿真的精确性和速度进行折衷,可有效解决系统级仿真不够精确和RTL级仿真速度慢的问题,所得到的仿真结
本文研究利用GIS组件MapX开发铁路地理信息系统,介绍了系统需求、GIS系统开发流程和系统设计方案,对系统实现过程中出现的几个关键问题及解决办法进行了探讨.
本文首先对集成电路的功耗来源进行了简要分析,然后介绍了基于EPIC结构微处理器的微体系结构特性,并针对这些特点,提出了两种系统级功耗优化方法.
在高层次对系统进行功耗估算和功耗优化是SOC设计的关键技术.本文首先给出SOC设计的特点和流程,然后综述目前高层次功耗估算和功耗优化的常用方法和技术,重点论述寄存器传输级和行为级的功耗估算技术、系统级和行为级的功耗优化技术.
虚拟现实环境下直接使用VRML建立机械单元的模型比较困难,如果使用3D软件建模,利用3D软件与VRML接口进行格式转换,可以准确快速的建立机械单元的虚拟现实模型.以Solid Edge到VRML2.0支持的.wrk格式的转换为例,研究了3D软件到虚拟现实编程环境VAGA的优化预处理算法,主要包括编译原理中的词法分析、语法分析、预处理器算法和三角网格优化中的边收缩算法.算法保持了模型良好的视觉效果,