软硬件划分中基于一种新的层次化控制数据流图的粒度变换

在一种控制数据流图定义的基础上 ,提出了面向软硬件划分中粒度选择的粒度变换方法 变换以层次化结点为中介 ,包括合并和展开操作 ,并遵循所指定的若干要求以保证变换前后的系统表示在形式和功能上的一致性 分析表明 ,这一变换过程简单快速 ,变换前后功能一致、形式统一 。

面向能耗相关软/硬件划分的层次化控制数据流图建模方法

针对C语言描述的嵌入式软件功能模型在时间和成本约束下以降低能耗为目标的软/硬件划分问题,提出一种面向划分的层次化控制数据流图(简称PO-HCDFG)方法。首先,对PO-HCDFG进行了形式化描述,然后,分析了C语言程序向PO-HCDFG的转换方法,包括节点层次数的设置、数据依赖分析、划分对象的建立与粒度变换等关键问题,最后,通过实验验证了PO-HCDFG在软/硬件划分建模中的有效性。

高层综合中一种新的控制/数据流图表示形式

提出了一种新的控制 /数据流图 ( CDFG)的格式 ,这种 CDFG与过去一般所使用的 CDFG的最大区别在于这里的 CDFG引入了布尔节点 ( Bool-node)的概念 .文中介绍该这种新格式的具体细节 ;并给出了该 CDFG的实例和表示它的数据结构 。

HCDFG-II—面向C语言系统描述的控制/数据流图表示

介绍了基于C语言系统描述的面向软硬件划分的一种中间表示———层次化控制 /数据流图HCDFG II及其转换方法 HCDFG II根据C语言的特点对HCDFG进行了扩充 ,通过引入内存访问结点来表示和处理C程序中的数组及指针 ,通过定义并发结构来表示C程序中的可并发部分 同时 ,由于HCDFG II采用以控制流为主的结构 ,从C语言进行转换十分容易 这使得它能有效地作为C语言系统描述的中间表示 。

集成电路中的规则性提取算法

通过对现有文献中的规则性提取算法的全面分析,提出了一个新的基于图论方法的规则性提取算法.此算法可以生成任意给定电路系统的模块,并且在同构的前提下自动将模块分类.在生成模块的过程中保证相同顶点的模块只出现一次,降低了模块分类时的复杂性.算法对电路以及模块的结构没有任何限制,弥补了现有算法的不足.

集成电路的模块生成与选择算法

借鉴软件设计中的思想,采用模块化技术是提高大规模集成电路的设计能力和系统芯片开发效率的重要手段.文章首先对现有的模块生成算法进行了全面的分析,在此基础上提出了一新的模块生成算法,此算法可生成一个电路系统的顶点数小于m的所有模块,并且对电路系统以及模块的结构没有限制.本文还提出了一个模块选择算法,此算法可以在满足一定要求的前提下选择一部分模块覆盖整个电路,同时还对算法进行了实验分析.

基于CDFG的SoC验证方法及其分割与搜索算法

随着芯片复杂度以及市场对集成电路上市时间要求的不断提高,对SoC设计方法和验证方法带来了巨大的挑战。控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节。该文针对SoC验证的需要,利用CDFG,研究了基于CDFG的验证体系,给出了CDFG的几种定义,讨论了CDFG的表示方法,提出了基于CDFG的验证流程,研究了基于DFS的生成树算法、CDFG的分割算法和CDFG的搜索算法,并以实例说明了这些算法在验证流程中的作用。

自适应概率问题的空间遗传算法的研究

求解约束条件下的调度和分配的最优解是一个ＮＰ难题，因此提出了一种基于自适应概率参数模型的问题空间遗传算法（ＡＰＰＳＧＡ），它较好地解决并发进行硬件资源调度与分配问题，使得在给定的输入控制数据流图中找到使目标函数最小的位置。最后以求解方程中的资源调度为例，用实验验证了该算法的有效性。

软/硬件协同设计方法学研究的现状与分析

通过简述集成电路工业的发展现状 ,引出软 /硬件协同设计方法学研究的重要性 ,并阐释了软 /硬件协同设计的主要概念。然后 ,着重介绍了目前各种有关国际成果和主流方向 ,并结合对相关领域问题的分析 ,深入分析了这些研究导向的共性与不足。最后以此为基础 ,试提出了“全定制”软

动态可重构系统的时域划分及其行为级算法的定量分析

对近20年来可重构系统的时域划分算法进行了分析,把它们分为网表级和行为级算法两大类.网表级时域划分算法主要采用网络流方法,使电路的面积、割网的个数等最小化,并使电路获得较小的时延和通信代价.我们对层划分、簇划分、增强静态列表调度、多目标时域划分等四种行为级时域划分算法进行了定量分析和比较,评价指标体系包括划分后的模块数、跨模块的输入/输出边数、划分后所有模块的执行总延迟.实验结果表明,层划分是四个算法划分后所有模块执行总延迟最小的;簇划分算法获得较少的跨模块的输入/输出边数;增强的静态列表调度和多目标时域划分两个算法在三个指标之间获得了一个好的折中.然而,这四个算法均没有考虑划分后的模块形状及模块的跨层映射成本.

强时间约束条件下的调度优化算法的改进

对基于操作的结合律与分配律进行变换的强时间约束条件下的调度算法提出了改进。通过弱化基本操作变换类型的发生条件并结合递归试探的方法，改善了直接应用特定基本操作变换类型的同类算法适用范围窄、容易调度失败的缺点。

基于混合特征分析的硬件木马检测方法

提出一种基于混合特征分析的硬件木马检测方法,该方法首先在时序层级抽象并构建待测电路的控制数据流图,然后利用功能性分析方法建立以低动态翻转率为特征的动态可疑节点集,最终使用静态结构特征匹配方法实现硬件木马的检出.以Trust-Hub中涵盖Basic-RSA,AES和RS232基准电路在内的13种硬件木马为检测对象开展检测实验.实验结果表明:检测结果中硬件木马节点检出率达到100%,假阳性率控制在1.5%以内,检测准确率达到82.5%以上,证明了该检测方法的有效性.