门阵列和标准单元布图中一种有效的走线道分配算法*

本文提出了一种用于门阵列和标准单元版图自动设计中的走线道分配算法一FARM，它连接总体布线和通道布线．算法目标是使通道的最大密度最小，同时考虑减小线网长度和通孔数．FARM由两部分组成：多行走线道分配和单行走线道分配它已用c语言在DE(：工作站和sun工作站上实现，并已用于我们开发的双层CMOS门阵列布图系统MALS3中．实验例子表明，它与Timborwolf 5.6的结果相当或更好．     

一种有效的VLSI布图规划算法

提出了一种有效的基于遗传算法的VLSI布图规划方法，在染色体的表达中，对软模块不同形状和硬模块的布局方向进行了编码，并采用了有效的启发式解码方法进行解码，测试结果表明，本算法比已有算法得到了更优的结果。     

一个基于确定性退火的时延驱动标准单元布局算法

提出了一个基于确定性模拟退火技术的时延驱动标准单元布局算法,实现在满足时延约束和宽高比约束的前提下优化版图面积,与基于一般的随机模拟退火技术的标准单元布局算法相比,该算法的运行速度快、布局效果较好。     

标准单元库的建立和参数提取

本文叙述了在ＩＣ设计中标准单元库的建立和延时参数的提取。单元库的设计和参数提取是ＩＣ设计中的基础工作,为了适应不同设计需要,我们建立了一套完整的－５５℃－＋１２５℃全温度范围下的非线性参数单元库。     

上界可控的门矩阵布图算法

文中介绍了上界可控的门矩阵布图算法(简称为GMLCUB).由于引进了虚界差这一新思想,使门矩阵布图由局部优化转变为准全局优化,并由此得到了理想的结果.     

VLSI积木块布图设计的通道划分和总体布线

本文提出了用ＶＬＳＩ积木声布科设计（ＢＢＬ）中的通道划分和总体布线有效算法，通道划分是在角逢数据结构的基础上，对空瓦片进行适当分割和合并，总体布线以通道图和线网排序的为基础，提出了扩张－收缩优化总体布线算法，在保证获得很高布通率的前提下，将线网按最短路径和最少通孔数进行布线，算法已用于Ｃ语言实现，结果令人满意。     

壁勾链：一个应用于IC布图系统的数据结构

以IC布图应用为背景,本文提出一个表示平面正交矩形划分的称为“壁勾链”的数据结构。它通过定义一组区域邻接指针,把矩形划分上的所有区域勾链起来。基于壁勾链数据结构,平面矩形划分上的点定位、邻域查找、路径搜索等操作可以迅速而有效地完成。壁勾链数据结构可以完整描述矩形划分的几何信息和拓扑信息,适应IC布图系统各个过程对布图表示的要求,可以作为一个集成布图系统中统一的布图表示数据结构。     

一种含浮动端点的斯坦纳树的构造算法

在集成电路的自动布图技术中，在完成布局过程，即各模块（或子电路单元）的拓扑位置确定以后，布线需要完成各电路模块之间的连接。斯坦纳树的构造问题可以应用于总体布线；如果考虑已有单元或连线的障碍，它也可以应用于详细布线。     

一种基于图模式匹配的逻辑单元映射算法

基于数学中图模式匹配的概念,根据电路特征在于图同构算法中加入图约束条件,研究了针对不同结构的FPGA逻辑单元都能适用的映射算法FDUMap．实验中应用FDUMap将测试电路映射到不同的逻辑单元中,该算法比现有的专用的逻辑单元映射算法通用性更好,而平均性能上仅相差3％。     

一种寄存器分配算法

研究高级综合中一种新的寄存器分配算法,算法通过对冲突图的着色得到最小的寄存器数目,算法分为两步,第一步是变量的均等化,扩展每个变量的生存期使变量在各个分支结构中的生存期相同,即一个变量只有一个生存期;第二步对均等化的变量在每个分支块和分支块的第三个路径中搜索,提出一个近似算法,实验证明该算法能够得到优化的解。     

一种有效的图索引查询算法

图是一种很强大的工具,在许多应用领域如化学化合物,生物信息,XML文档,图像处理和社会网络等应用中它可以表示其对象及它们之间的关系,而且在模式化复杂的结构数据时图发挥了越来越重要的作用.图的一个最基本的操作是图的查询处理,经典的图查询问题是给出图数据库和一个查询图,从图数据库中找出那些包含查询图作为子图的图.在本文中对于给定的查询图提出了一种有效的索引策略,在图数据库中选取具有判别力的树作为特征树,对这些特征树进行编码,将结构之间的比较转化为编码序列之间的比较,并利用特征树建立索引,提出了两种剪枝策略,过滤掉数据库中与查询图不是精确匹配的图.实验验证了所提出查询处理算法的有用性和有效性.     

基于通道的螺旋型布图算法研究与实现

1 引言类图是反映面向对象程序结构的重要视图,它由类及类与类之间的关系(包括继承、关联和聚集)构成。在面向对象程序理解与测试中,通过对源程序进行静态分析可以获取类以及类之间的关系。而将类与类的关系可视化的过程就必须研究类图的布图算法。通常用树状层次化结构可以清楚地表示类间的继承关系,而聚集和关联关系是一种网状结构,并且随着软件规模的增加,结构就愈加复杂。采用基于继承关系的层次型布图算法,不能很好地满足聚集与关联关系布图要求。目前,关于有向图的布图算法研究较多,但对类图中的聚集和关联关系的布图表示还不存在较好的解决方案。北航软件工程研究所开发的SafePro系列测试工具中,采用一种以方法连接度(扇入扇出系数和)为特征的广义张量平衡算法绘     

一种VLSI分析的新流程

本文论述了VLSI芯片分析中面临的问题，指出了原有流程的缺点，提出了一种新的工作流程。     

一种新的与线网顺序无关的随机优化总体布线算法

针对目前总体布线中仍然存在的3个关键问题;布线结果受布线顺序的影响、总体布线图中拥挤区域的不可预见性、线网连接式样受到算法的限制等,该文提出了一种新的不受线网顺序影响的总体布线算法,并实现了相应的总体布线器RINO－Router。该算法采用随机优化方法来保 证先后被拆线重布的线网有相同的通过拥挤区域的机会,并能得到GRG边的拥挤度估计值;采用高效的Steiner树改造算法构造避开拥挤区域的布线树,采用典型电路实例进行了测试,并将布线结果与基于多商品流算法的总体布线器Matula-Router进行了对比。结果表明,RINO－Router能够在短得多的运行时间内求得质量与Matula-Router相近的总体布线解。     

基于Single-Sequence布图规划边界约束问题的研究

布图规划是VLSI设计中非常重要的步骤。在计算机辅助设计中,布图被表示成编码以使其容易被计算机处理。Single-Sequence就是一种非常有用的表示布图的编码方法。一个布图中,一些模块如输入输出模块,必须放置在芯片的边界处,这种限制被称为边界约束。本论文提出了用模拟退火算法寻求最优布图的方法,有效地解决了布图规划的边界约束问题。     

相关任务图的一种有效并行调度算法

对3个典型的表调度算法：MCP算法,ETF算法和BDCP算法进行了分析,发现它们均不能确保任务最早调度。通过综合考虑IBN、CBN和OBN3类结点对调度结果的影响,提出了一个更加有效的基于关键路径的表调度算法,该算法能够确保关键路径结点具有最早启动时间,从而能有效缩短任务图的调度长度。分析和仿真结果表明,该调度算法不仪具有合理的算法复杂性,而且能有效地缩短相关任务图的调度长度,优于MCP、ETF、BDCP算法。     

一种基于可测性的寄存器分配算法

提出了一种在高层次综合的寄存器分配过程中考虑可测性的算法，该算法在将一个调度好的CDFG（Control Data Flow Graph)的变量分配到相应的寄存器的过程中，通过对未能分配复用到输入、输出寄存器的变量进行可测性处理，达到提高设计可测性的目的，同时在进行可测性处理的时候，定义了CDFG的节点的可测性测度方法。     

一种有效的贪婪模式匹配算法

模式匹配问题是意图获得两个模式中所包含个体对象之间的语义匹配和映射,其结果表示源模式的个体对象与目标模式的个体对象之间存在特定的语义关联.它在数据库应用领域起到关键性的作用,例如数据集成、电子商务、数据仓库、XML消息交换等,特别地,它已成为元数据管理的基本问题.然而,模式匹配很大程度上依赖人工的操作,是一个费时费力的过程.模式匹配问题可以归约为一个组合优化问题:多标记图匹配问题.首先,将模式表示为多标记图,将模式匹配转换为多标记图匹配问题.其次,提出多标记图的相似性度量方法,进而提出基于多标记图相似性的模式匹配目标优化函数.最后,在这个目标函数基础上设计实现了一个贪婪匹配算法,其最显著的特点是综合多种可用的标记信息,灵活准确地获得最优的匹配结果.     

一种有效的基于图的关联规则挖掘算法

基于图的关联规则挖掘算法是一种通过构建关联图并直接生成候选频繁项集,进而验证得到所有频繁项集的算法。在该算法中,对候选项集的验证操作占用了大量的时间,为此提出了改进算法。改进主要体现在两个方面：按支持度降序对频繁1项重新编号再构建关联图;利用Apriori性质删减用来生成候选项集的冗余扩展项节点。实验结果表明,在最小支持度阈值较小时,改进算法有效减少了冗余的候选频繁项集,提高了算法的性能。     

一种有效的结点标号上下文无关图文法分析算法

本文讨论了上下文无关图文法的性质，并证明了图文法推导具有独立性．本文还给出了一种有效的上下文无关图文法分析算法，它具有多项式时间复杂性，并给出了算法的正确性证明．该算法已经用Ｃ语言实现．