排序方式: 共有27条查询结果,搜索用时 15 毫秒
1.
从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。 相似文献
2.
在分布式仿真系统中 ,网上流动的大量冗余数据严重影响了系统的可伸缩性。基于均匀网格的相关过滤法减少了冗余数据 ,但具有匹配不精确 ,格子尺寸单一 ,难以适应所有实体的缺点。提出了一种基于多层次网格的相关过滤方法 ,克服了均匀网格法的上述缺点 ,并继承了均匀网格法处理速度快的特点 ,具有快速灵活的特点 相似文献
3.
针对基于凹凸顶点判定的三角剖分算法适用范围有限的缺点 ,提出了将凹凸顶点判定与连接多边形内外边界相结合的适用任意平面多边形的三角剖分算法 GTP( General Triangulation of Polygons)。GTP计算速度快、适用范围广的良好特点已在应用中得到证实 相似文献
4.
5.
提出了一种分布虚拟战场环境中计算机生成兵力(CGF)实体行为调度方法,该方法由仿真结点对结点中运行的所有本地CGF实体及异地实体的远程模型所产生的行为进行集中式调度。通过本地CGF实体的兴趣域动态决定需要执行的异地实体远程模型行为的优先级及执行最后时限,通过将本地所有CGF实体的兴趣域合并,减少仿真结点需要调度的异地实体远程模型数量,进一步降低仿真结点的计算开销。该方法可以有效地确保分布虚拟战场环境对仿真实时性及真实性的要求。 相似文献
6.
面向虚拟战场提出了实现实时四声道立体声合成的简化算法。针对四声道立体声的特殊性 ,首先探讨了四声道立体声系统中扬声器的配置方案。在四声道立体声系统扬声器配置方案的基础上 ,解决了单声源的表示、声强衰减及实时立体声化问题 ,然后提出一种评价混声效果的标准及一个评价声源对整个声音所作贡献的公式 ,并由此提出一个混声公式 ,从而解决了多声源环境的实时混声问题。该套算法用于应用系统 ,取得了较好的效果。 相似文献
7.
分布式对象技术是当前实现企业应用集成的主流技术。本文首先介绍了基于分布式对象技术的CAD集成框架支撑平台的总体结构,以此为基础,设计了大型电子设备并行设计CAD集成框架的体系结构,提出“框架总线+软构件”的框架模型,最终探讨了集成框架具体的实现方法和技术。 相似文献
8.
求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。 相似文献
9.
在计算流体力学领域,对复杂流场进行数值模拟时常用非结构化网格划分空间,并广泛采用迎风型有限体积法求解流场.该方法将数值解存储在非结构化网格单元(控制体)中心,产生格心数据,并假设物理量在相邻单元邻接面上形成"间断".然而,在可视化此类数据时,目前的重构方法破坏了间断约束,导致"流间断"信息丢失,严重制约了绘制质量.为此... 相似文献
10.
传统的物理原型方法已不能满足现代工程产品,特别是新型武器装备发展的需要。协作虚拟原型是在分布式环境下,多领域专家协作建立虚拟原型的方法和技术。应用协作虚拟原型技术,可以使产品的设计者、使用者和制造者,在产品研制的早期,在虚拟环境中,直观形象地对虚拟的产品原型进行设计优化、性能测试,以及制造仿真和使用仿真。 相似文献