Data-Path布图系统的数据管理

Data-Path布图系统需要有效的数据管理作为支撑。该数据管理工作主要包括数据格式转换、数据结构设计和数据接口设计等方面。针对一个实际的Data-Path布图系统，设计了Verilog文件到DEF文件的转换算法，进行了相关数据接口的实现，指出了数据管理的特点与实现方法。     

调度问题的形式化描述

本文介绍高层次综合中调度问题的形式化描述。该描述将调度问题形式化为整数规划问题。它全面地考虑了调度问题的时间约束与资源约束、多周期操作与链式操作，流水线功能单元与非流水线功能单元以及分枝操作的调度问题。它为解决调度问题提供了一个较好的数学模型。     

大规模混合模式初始详细布局算法

以大规模混合模式布局问题为背景,提出了有效的初始详细布局算法.在大规模混合模式布局问题中,由于受到计算复杂性的限制,有效的初始布局算法显得非常重要.该算法采用网络流方法来满足行容量约束,采用线性布局策略解决单元重叠问题.同时,为解决大规模设计问题,整体上采用分治策略和简化策略,有效地控制问题的规模,以时间开销的少量增加换取线长的明显改善.实验结果表明该算法能够取得比较好的效果,平均比PAFLO算法有16%的线长改善,而CPU计算时间只有少量增加.     

直角多边形布图区域内的二次布局算法

提出了一种直角多边形布图区域内的基于动态划分的二次布局算法——DPRR．通过在传统的二次布局算法中引入一种新的圆盘划分和分布约束生成策略,解决了直角多边形布图区域里的单元布局问题,并且由于该算法在迭代优化过程中动态地划分电路并生成分布约束,且不限制单元在布图区域的不同部分间自由移动,所以它可以在一定程度上避免优化过程中出现的“局部最优”,从而达到更高的布局质量．对一些电路实例的测试和比较结果也证明DPRR是一种高效优良的布局算法,并且它十分适用于解决非矩形的直角多边形布图区域内的标准单元布局问题．     

物理设计EDA中可扩展数据支撑系统结构

提出了一种可扩展的数据支撑系统结构,该系统为EDA物理设计工具开发提供数据支持．当设计工艺技术进入超深亚微米后,物理设计过程复杂性增加,大数据量、复杂结构的数据表示成为一个关键问题．需要提供一个有效的、可扩展的数据支撑环境,支持多层次、多迭代、结构化设计过程的集成．该数据支撑系统采用可扩展标记语言XML表示设计数据,完成设计过程大规模、多种类、多阶段数据表示和处理,提高数据系统的可扩展性．文中对该数据支撑系统结构进行了说明,结合实际集成需求,对数据表示、数据解析和数据转换等关键技术的处理也进行了详细说明．     

利用公共子序列求解固定边框布图问题

提出一种新的固定边框的布图算法．该算法采用SP表示方法,以公共子序列为基础,在随机搜索过程中限定布图宽度的变化,从而使减小芯片面积的目标与固定边框的目标在一定程度上取得一致．与现有的固定边框布图算法相比,文中算法在边框更紧凑、宽长比更大的条件下具有更高的成功率和更短的运行时间．此外,文中算法在布图初始阶段就可以对固定边框的合理性进行评估,避免了因给定的边框不合理而带来的时间上的浪费．     

基于不完全分解预优共轭梯度法的电源和地线网络求解器

在超大规模集成电路的电源和地线网络的设计中,求解由该网络上每个节点的电压和每条边上的电流是最基本的运算,它对电源和地线网络拓扑结构设计和线宽优化算法的质量具有直接的影响.针对电源和地线网络的特殊性,提出了一个高效的电源和地线网络求解器,包括电路网络中树结构的合并与恢复和用不完全分解的预优共轭梯度法来求解节点电压方程.该求解器的运算速度很快,所耗费的内存很小,同时具有很强的鲁棒性.     

面向VLSI版图复用技术的二维层次式压缩算法

面对VLSI生产工艺的不断更新,利用已有的版图,迅速获得适应新工艺的新版图,已成为市场上实际的需求.提出的基于约束图的压缩算法,是面向全芯片压缩的二维压缩算法.它采用层次式压缩策略,"落叶池"等新的数据结构,在压缩过程中放松模块间的连线,具有自动加入拐弯的功能.从两个例子的压缩结果,可以看出这是一个实用的新压缩算法.     

一种新的无网格拆线重布算法

结合无网格布线的特点,提出一种新的无网格拆线重布算法.该算法显式地表示并动态更新线网所属区域的拥挤程度.在拆线重布进行待布线网的路径搜索时,每个扩展节点中增加拆除线网周边的拥挤权重,从而将待布线网的路径搜索过程和拆除线网的选择过程统一起来,有效地提高了被拆除线网重新布通的可能性.该算法利用改进的二叉区间树有效组织中间数据,降低计算的复杂度.实验结果表明,该算法能有效消除布线顺序对布线结果的影响,提高布通率,且算法运行速度较快.     

基于单元规则度信息的提取和实现的Data-Path布局算法

提出了一种有效的Data-Path布局算法DPP,该算法基于一个新的"不规则度"概念来评价电路单元之间连接关系的规则性信息,并根据这些规则性信息提取规则化的单元形成规则矩阵;然后算法把规则矩阵转化为二次布局的约束条件进行最终的布局.与Cadence公司布图工具SE的对比实验表明,DPP是一种有效地针对Data-Path子电路的布局算法,它在时延平衡方面可以得到非常满意的结果.