Petri网与CDFG相结合的调度模型及其调度技术的研究

论文提出一种Petri网与控制数据流图(CDFG)结构相结合的调度模型,以及基于该模型的调度技术。Petri网表示VHDL源描述中的I/O时序信息,Petri网同一个位置结点中的信号赋值都是在同一个时刻进行的。根据每个位置结点中的语句再生成各自的CDFG。CDFG中条件的计算显式地表示在数据流部分,便于操作的调度。该CDFG结构上前驱操作和后继操作的判断不但与数据依赖相关,还与操作的条件相关。调度过程中既要考虑直接的数据依赖关系,还要考虑与条件相关的间接依赖关系。传统的调度算法需要经过修改才能应用到该模型上。

面向SOC系统设计的层次化CDFG的扩展

本文主要介绍了层次化CDFG中标准控制结构和并行结构的扩充及转换方法,从而为在高层次 SOC设计中真正使用HCDFG提供了基础。同时,文中还给出了HCDFG在系统验证中的作用,它为不同方法的混合验证提供了统一而有效的内部结构。

基于CDFG和OVL的系统验证性质分类

在数据控制流图(CDFG)结构的基础上,结合模拟验证和模型检测的优点,对需要验证的系统性质进行分类,采用不同的验证方法,提高验证的能力。通过对OVL语言和CTL描述进行改进,针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质,实验结果表明这种分治验证策略有助于提高系统验证的效率和规模。

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

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

基于CDFG工具包的VLSI高层设计中调度的实现

VLSI设计分成不同的设计层次,VLSI高层次设计技术是系统设计研究的主要方向,高层次综合设计是高层次设计技术中的关键,在高层次综合设计中的主要任务是调度。本文介绍了若干基本的调度算法及CDFG工具包的构成,并将CDFG工具包用于调度算法的实现,其优点在于算法设计和结果分析更加简便直观。

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

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

复杂电力网络短路电流分布及地网分流系数

为改进电力系统短路故障电流的计算,将变压器的相分量模型与传统相分量法相结合,在此基础上提出了连接有任意回输电线路(包括架空线路和地下电缆)的变电站发生接地短路时故障电流分布和地网分流系数的计算方法,并开发了相应的计算软件FCDFGS。通过软件计算与现场实测的比较,验证了测量方法的正确性与计算模型的合理性。对影响地网分流系数的主要因素进行计算、比较和分析,结果表明靠近变电站10～15个档距的参数对其影响很大,且各参数在达到一定值后,地网分流系数呈现"饱和效应"。最后提出了降低地网入地短路电流的技术措施。

一种新的寄存器分配算法

高级综合技术的研究在当前倍受关注．高级综合完成从数字系统的行为描述到实现该行为的寄存器传输级设计的转换，这个转换过程可由四个子任务实现，即内部表示、操作调度、资源分配和控制器综合．功能单元的分配一般在操作调度阶段进行．在资源分配时，主要完成寄存器的分配，为了节省资源，提高设计质量，应确定数据路径综合中所需的最小的寄存器的数目．针对当前已出现的寄存器分配算法的不足，本文提出了一种新的寄存器分配算法．经实验证明，该算法具有速度快、效率高的特点，应用在高级综合系统中时，可极大地提高综合设计的质量．

SoC的模块生成与选择算法研究

随着集成电路设计复杂度的提高以及产品投放市场的周期要求越来越短 ,传统的集成电路设计方法不再满足要求 ,因此SoC应运而生 SoC就是指在芯片上用若干个已有的宏模块来搭建一个复杂的系统 ,于是固定模块的生成和选择问题成为系统设计者关注的焦点 利用系统本身的规律性可以生成一些出现频数较高的模块 ,然后选择一些模块嵌入在系统中 ,以达到优化系统的目的 深入分析了几种模块生成和模块选择算法 。

一种相互独立性测试算法

高级综合技术的研究在当前倍受关注．在进行操作调度与资源分配时，为了节省资源，提高设计质量，应对含有条件结构的流图进行相互独立性测试．通过对相互独立性测试问题进行研究，给出了一种相互独立性测试算法．经实验证明，该算法具有速度快、效率高的特点，应用在高级综合系统中时，可极大地提高综合设计的质量．

Hardware Optimization Technique of Full-Customized HW/SW Co-Design

The hardware optimization technique of mono similarity system generation is presented based on hardware/software(HW/SW) co design.First,the coarse structure of sub graphs' matching based on full customized HW/SW co design is put forward.Then,a universal sub graphs' combination method is discussed.Next,a more advanced vertexes' compression algorithm based on sub graphs' combination method is discussed with great emphasis.Experiments are done successfully with perfect results verifying all the formulas and the methods above.

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

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

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

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

一种基于路径的调度算法

操作调度是高级综合中的重要任务．文中首次提出了一种基于路径的操作调度算法，该算法可同时处理条件结构及循环结构的调度．采用该算法可获得使控制数据流图（ＣＤＦＧ）中的所有的路径的执行所需的控制步数达到最小化的调度．经实验证明。

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

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

Linux环境下VHDL编译系统设计

介绍了VHDL语言的发展和Linux操作系统,详细探讨了Linux环境下VHDL编译系统的设计。重点介绍了词法分析、语法分析、语义分析、符号表管理、出错处理及中间数据结构CDFG生成等6个模块。系统生成VHDL源描述的中间数据结构CDFG作为VHDL高层次综合的输入。

高级综合中寄存器分配问题的研究

寄存器分配是数据路径综合中的一个重要任务。文中通过对寄存器分配问题进行研究分析，得出了它与通道布线中的轨道分配问题具有等价性的结论，进而采用一种轨道分配算法一左边界算法来解决寄存器的分配问题，同时对它进行扩充以支持条件结构中寄存器的分配问题。经实验证明，该算法能给出优化解，且具有速度快、效率高的特点，应用在高级综合系统中时，可极大地提高综合设计的质量。

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

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

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

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

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

强时间约束是指控制数据流图CDFG的延迟时间无法满足的时间约束。为了使CDFG的延迟时间能够满足强时间约束,本文提出了对CDFG的优化(压缩)算法。该算法根据操作的结合律和兮配律,在满足硬件资源约束的条件下,将CDFG关键路径上的操作转换到相关的非关键路径上去,使关键路径上的操作个数减少(即CDFG的延迟时间减少),从而使CDFG的延迟时间满足强时间约束。该算法在不改变CDFG语义的前题下,重新安排CDFG中的各个操作,尽量减少关键路径上的操作个数。该算法已经加入到我们所完成的DBS调度算法的控制策略中,使得DBS调度算法能够在强时间约束条件下进行调度。