NoC低功耗技术研究综述

当前在高性能SoC设计中,功耗约束已成为NoC设计所面临的重要问题。本文着重阐述了NoC低功耗优化技术的相关内容,在分析现有NoC模拟器和功耗模型的基础上,从物理逻辑设计、软件编译优化、网络拓扑结构低功耗映射等方面评述了当前NoC低功耗关键技术。最后,对未来NoC低功耗技术研究的方向做出了预测。     

拓扑结构感知的片上网络体系结构应用映射与优化

应用映射是片上网络体系结构研究的关键问题之一,映射结果的好坏会极大地影响体系结构的性能。现有的应用映射方法大多基于特定的网络结构,如2d-mesh、2d-torus等,研究NoC性能或功耗约束的应用映射与优化方法。本文提出了一种拓扑结构感知的基于高层代码转换的片上网络应用映射与优化方法。该方法采用多面体模型对应用的核心循环进行自动并行和局部性优化,并将网络拓扑结构抽象成带权重的有向图,使用该有向图对任务流图进行覆盖,以提高任务的并行性,降低任务间同步和通信开销。实验结果表明,采用优化的映射方法后任务节点间的并行性被充分利用,通信开销降低,整体上提高了片上网络系统性能。     

嵌入式空间数据库综合查询算法

嵌入式空间数据库一般作为嵌入式GIS的后端,为其提供对空间数据和属性数据的存储、搜索、查询等多项功能。其中,查询性能是直接影响嵌入式GIS运行效率的基本因素之一。该文对嵌入式空间数据库综合查询算法进行分类,提出并实现了先空间串行查询算法、先属性串行查询算法和并行查询算法,对该3种查询算法进行性能测试与比较,并给出了测试比较结果。     

求解极小SMT不可满足子式的宽度优先搜索算法

极小不可满足子式能够为可满足性模理论(SMT)公式的不可满足的原因提供精确的解释,帮助自动化工具迅速定位错误.针对极小SMT不可满足子式的求解问题,提出了SMT公式搜索树及其3类结点的概念,并给出了不可满足子式、极小不可满足子式与3类结点之间的映射关系.基于这种映射关系,采用宽度优先的搜索策略提出了宽度优先搜索的极小SMT不可满足子式求解算法.基于业界公认的SMT Competition 2007测试集进行实验的结果表明,该算法能够有效地求解极小不可满足子式.     

虚拟实体对象建模语言SCPL

本文给出一种新的虚拟实体对象建模语言ＳＣＰＬ。这种语言以基于控制论的行为模型ＳＣＰ为中心组织虚拟实体对象的建模,具有实现连连续和更复杂行为的能力,适用领域广。     

CAD集成框架的一种新的工具封装方法

工具封装机制是实现ＣＡＤ集成框架数据集成、控制集成和过程集成的重要基础。文中提出一种新的工具封装方法,它基于Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ中间件,将工具封装界面与工具封装服务相分离,同时,将工具封装分为功能封装和数据封装两级,并以ＣＡＤ数据的内部语义为基础进行数据封装。采用该方法,即可以实现在分布异构环境下不同厂商的电子ＣＡＤ工具的即插即用,又能保证所封装的设计工具可充分利用集成框架提供的高层次服务。     

虚拟坦克装甲车运动仿真中的地形匹配算法研究

本文针对不规则三角形TIN地形数据,提出了一种新的虚拟坦克装甲车运动仿真的地形匹配算法,该算法是根据坦克装甲车与地面接触的特点,用四点来匹配车与地面的接触。此算法可以很好地解决坦克装甲车的运动仿真中的地形匹配,且满足实时性要求。     

一个多算法集成的灵活并行测试生成原型系统

并行测试生成原型系统PATGTA基于串行ASIC测试生成和可测性分析系统ATGTA,采用PVM作为并行支撑环境,可方便地移植于各种并行计算环境,采用主从模式开发并集成了多种并行算法。对Benchmark-89电路的实验结果表明,PATGTA性能良好。     

面向微处理器验证的约束描述语言及其编译器

该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言,并设计实现了该语言的编译器,详细介绍了语言特性以及为了生成合法体系结构级测试程序,编译器所做的特殊处理。最后给出了利用该语言对DLX微处理器进行验证的实验和结果。