论文部分内容阅读
本文提出了泰勒展开图(Taylor Expansion Diagram,TED)中变量替换和变量合并的算法。基于TED的变量替换、变量顺序的调整以及变量的合并算法,给出了一个反向遍历RTL结构实现构造TED的算法,应用于高层次数据通路的验证。
基于泰勒展开图的高层次形式验证
【摘 要】
：
本文提出了泰勒展开图(Taylor Expansion Diagram,TED)中变量替换和变量合并的算法。基于TED的变量替换、变量顺序的调整以及变量的合并算法,给出了一个反向遍历RTL结构实现
【机 构】
：
哈尔滨工程大学计算机科学与技术学院,黑龙江哈尔滨,150001
【出 处】
：
第十四届计算机辅助设计与图形学学术会议
【发表日期】
：
2006年期
其他文献
本文在总结目前的三维地层建模理论与方法的基础上,主要讨论GTP体元建模。该模型将地层钻孔数据离散为点源性信息,采用Delaunay三角网算法构建三维地层层面,然后用GTP体元进
本文开发了一个基于HLA的导弹攻防仿真系统的二维态势显示部分,用Visual C++的文档视图结构做图形用户界面的开发,在此文档视图结构中嵌入VRLink、VRForce的代码, VRForce的
本文介绍了用NURBS曲面方法建立棉花的各种叶子、铃、花瓣等器官三维模型的方法,结合C++面向对象技术,实现了棉花生长可视化。提出了基于器官图像获取棉花造型控制点二维坐标
会议
本文在扫描阵列的基础上,对其进行改进,将重叠位块法应用于其上,并提出了一种局部优化的位片分块算法,进一步缩短了测试时间和降低了测试功耗。
本文讨论了在GIS环境下的建筑物多边形自动综合算法,主要研究了建造物多边形的典型化调整,大面积多边形轮廓局部凸凹化简,小面积多边形局部夸大和多边形群的合并。在实际操作
本文首先建立了破片场仿真模型,给出破片场仿真的基本步骤。为了验证破片场仿真模型的准确性和可信度,设计并开发了相应的可视化仿真系统对仿真结果进行分析,特别是利用Visua
本文为使行为综合所得RTL结构设计在时序上适应工艺参数的不确定性,进而减少设计迭代以提高自动设计系统的效率,提出一种增强综合结果时序鲁棒性的调度算法.该算法采用整数线
会议
本文首先利用带权数据流图(WDFG)模型将专用指令的定制抽象成为子图的构造问题,并在种子节点的选取与节点归并两方面提出了相应的启发式搜索策略,有效降低了该问题的搜索空间
摘 要：凝析气藏是目前国内外气藏中最复杂的气藏之一，而准噶尔盆地的凝析气藏不仅存在常规气藏开发方式的复杂性，而且存在岩性、岩相的复杂性，这里的岩性、岩相种类多，储层非均质性强。研究根据研究区不同储层岩性、物性特征及敏感性存在难点，结合不同开发阶段储层保护的需要，理论和实践相结合，陆续研制了5种修井液；依据修井液技术特点，以储层压力系数、温度等参数，充分考虑气藏储层物性特征，并结合应用情况分析，研究
本文提出了一种基于摄像机运动的测量模型,该模型考虑了摄像机一般的三维刚体运动,并分别推导了摄像机绝对运动方式和相对运动方式的数学模型；由于摄像机的运动可以通过运动装