收藏本站
《华中科技大学》 2006年
收藏 | 手机打开
二维码
手机客户端打开本文

用于物理综合的布线估计算法

于宝东  
【摘要】: 逻辑综合是现代数字芯片设计的里程碑,综合工具将电路设计从原理图设计方法带到了逻辑描述级别。有两个关键因素使逻辑综合工具获得了成功。首先,逻辑综合工具内建有嵌入式、增量、静态时序分析引擎。第二个关键因素是时序驱动的综合引擎,主要包括工艺独立阶段的时序驱动结构选择和工艺映射后的网表操作例如缓冲器插入、逻辑单元大小选择等。良好的时序分析需要从精确的时间模型和寄生参数模型中获得精确的结果。基于查找表的线载模型可以计算出逻辑单元的延时,而且可以根据输入斜坡函数和输出电容计算输出斜坡函数。根据负载的大小可以从线载模型的查找表中得到连线延时。在0.25μm以上的CMOS工艺中,连线延时在整个延时中占的比例较小,能够通过线载模型较好的估计信号的逻辑门延时和连线延时,从而建立整个设计的完整和准确的时间模型。由于单元延时占主导,根据线载模型可以较为精确的估计路径延时,从而能够在设计空间内搜索最优化的电路. 在深亚微米特别是特征尺寸小于0.13μm以后,原来可以忽略的二级效应不得不在设计中处理。如在0.25μm以下芯片中互连延时就已经超过了单元延时而占据主导地位。并且同层或者不同层金属之间的耦合电容和电感也影响到信号的传输延时。用于传统综合工具中的线载模型已经无法估计设计中各条路径的延时。逻辑综合工具取得成功依赖于内嵌的静态时序分析引擎和精确的时序模型,可以在综合的过程中,根据时序约束自动的选择不同的实现结构、电路形式、进行逻辑复制或者逻辑复用等选择。当连线延时已经超过了单元延时,综合工具就无法在综合过程中准确的估计延时,做出合适的判断了。 目前的迭代式方法将综合后的设计进行初步的布局,根据布局信息计算延时,然后用于指导综合工具进行综合修正。还有一部分厂商致力于提供统一的工艺信息数据库,使综合工具和布局布线工具使用相同的模型数据库,根据各个阶段提供的信息实时更新模型。更进一步,部分公司和研究机构将布局工具和综合工具集成在一起,综合后自动调用布局工具计算单元位置和延时信息,避免了大量数据通过文件传递造成的效率低下。虽然上述方法取得了一定效果,但是没有从根本上解决综合时无法准确知道延时信息的问题。综合工具得到的都是上一次综合后的设计经过布局布线后的延时信息,这时综合工具可以判断其是否达到要求。但是由于连线的面积和延时都占据主导地位,因此电路的不同部分的实现选择之间相互影响,只要对某部分的电路进行了调整,就不能置信于上一次的布局布线后提取的延时信息了,要取得准确的延时信息就必须重新进行布局布线。这样的迭代式实现方式十分不利于实现电路的优化和选择。后端物理设计工具不能够理解设计意图,因此不具备完整的电路结构优化的能力。因此电路的性能在物理设计阶段不可能有很大提高。 综合过程必须要从以标准单元为中心的方法,转变到以连线为中心的方法上来,不同标准单元的选择,只是为了实现不同的布线结构。根据深亚微米设计的特点,采用在综合时实时估计单元布局布线的方法来指导综合的过程,这种估计方法是根据布线在网格内的集合效应估计需要的布线资源的,因此称为基于网格的布线估计算法(Grid Based Wire Estimate, GBWE)。由于采用了快速的估计算法,这种伴随式的布局布线不拘泥于现有的布线算法,只是用于估计布线资源的利用率和连线延时,既与标准的布局布线工具保持了结果的相似性,又能快速的得到估计结果。因为能够实时的得到准确的延时估计,综合工具就能及时的根据估计结果合理的选择电路结构、进行各种优化工作。本文提出的基于网格的布线估计算法,其拥塞系数是在专门的伴随布局过程得的.通过局部化的单元布局过程和受控制的拥塞传播算法,就可以得到稳定精确的拥塞系数。由于基于网格的布局算法综合了各种布局算法的特点,并且抑制了某些不确定因素的影响,因此得到的拥塞系数并不像通过普通的布局布线过程得到的拥塞系数一样容易受到特定布局结果的影响。这些拥塞系数可以较好的表示模块的布线能力。根据统计结果,可以得到特定工艺的拥塞程度和布线长度与单元距离之间的统计模型。根据这些模型,通过静态时序分析工具可以估计每一条路径上的延时,然后用得到的结果继续指导逻辑优化过程。本文详细分析了GBWE算法及其在综合过程中的应用,并且给出了与其他物理综合方法的比较结果。
【学位授予单位】:华中科技大学
【学位级别】:博士
【学位授予年份】:2006
【分类号】:TN702

【相似文献】
中国期刊全文数据库 前10条
1 钟智;罗大庸;刘少强;樊晓平;瞿志华;熊哲源;;基于分簇机制的移动无线传感器网络数据采集协议[J];计算机应用研究;2011年08期
2 唐名华;;两种综合流量模式对片上网络性能影响分析[J];广东石油化工学院学报;2011年04期
3 周浩;;分步贪心算法解决递减能量站排列问题[J];电脑知识与技术;2011年21期
4 袁猷南;游林;;增强的基于网格的无线传感器网络密钥分配方案[J];计算机应用;2011年07期
5 康尊启;;mesh功能初探[J];科技资讯;2011年22期
6 黄廷森;叶春晓;胡海波;;网格环境下基于属性的访问控制策略合成研究[J];计算机应用研究;2011年07期
7 张磊;陆冬;项学智;;改进的Katz算法及其在基于Lattice识别系统中的应用[J];模式识别与人工智能;2011年02期
8 张琳;王汝传;王海艳;;基于多影响因素的网格信任传播算法[J];通信学报;2011年07期
9 刘思凤;谢仕义;;基于模糊信任的网格访问控制模型[J];计算机工程与设计;2011年08期
10 戴志辉;肖海力;曹荣强;迟学斌;曹宗雁;;三层架构超级计算环境容错框架[J];计算机应用研究;2011年07期
中国重要会议论文全文数据库 前10条
1 杨超;吴玲达;;基于视点质量驱动的网格动态简化算法[A];第七届和谐人机环境联合学术会议(HHME2011)论文集【poster】[C];2011年
2 王振亚;卢笙;叶友达;张涵信;;非结构网格分区技术研究[A];计算流体力学研究进展——第十二届全国计算流体力学会议论文集[C];2004年
3 刘锡良;;国内外空间结构节点综述[A];第九届空间结构学术会议论文集[C];2000年
4 李珍香;;谈网格计算技术[A];第11届全国计算机在现代科学技术领域应用学术会议论文集[C];2003年
5 李浪波;傅彦;刘红;;基于范例推理的网格和密度聚类算法[A];第二十二届中国数据库学术会议论文集(技术报告篇)[C];2005年
6 任彦;方程;陈洪辉;罗雪山;;一种基于智能主体的网格体系结构模型[A];Well-off Society Strategies and Systems Engineering--Proceedings of the 13th Annual Conference of System Engineering Society of China[C];2004年
7 王璐璐;张素伟;任颉;;网格调度算法[A];《制造业自动化与网络化制造》学术交流会论文集[C];2004年
8 郑铁然;李海洋;韩纪庆;;汉语语音检索中基于音节和词语言模型的索引方法研究[A];第九届全国人机语音通讯学术会议论文集[C];2007年
9 华卫国;;国内外主流网格圈的影像学分析[A];“经纬股份杯”2008’纺纱主机及关键器材、专件科技创新与应用技术经验交流研讨会论文集[C];2008年
10 孙刚;李栋;乔志德;李孝伟;;飞行器复杂外形流场模拟嵌套体系的研究[A];第十届全国计算流体力学会议论文集[C];2000年
中国重要报纸全文数据库 前10条
1 本报记者 李国训;全球IT搏击网格大潮[N];中国电子报;2003年
2 陈领;网格:下一代的互联网[N];中国企业报;2003年
3 本报记者 柳立;网格:下一代的互联网[N];金融时报;2003年
4 清华大学计算机系 朱子玉;网格何处来,何处去[N];中国计算机报;2005年
5 ;网格安全引起关注[N];计算机世界;2005年
6 本报记者 刘学习;网格从起伏中走向应用[N];计算机世界;2005年
7 ;认识网格[N];文汇报;2003年
8 本报记者 张群英;网格蹒跚上路[N];网络世界;2004年
9 本报记者 潘永花;给网格泼点冷水[N];网络世界;2004年
10 ;网格需要多一些安全感[N];网络世界;2005年
中国博士学位论文全文数据库 前10条
1 黄理灿;e-Science网格的可扩展体系结构研究[D];浙江大学;2003年
2 于宝东;用于物理综合的布线估计算法[D];华中科技大学;2006年
3 郭权;网格相关技术及其在药物网格中的应用研究[D];大连理工大学;2005年
4 马建国;具有内容标引的信息共享技术[D];电子科技大学;2004年
5 高宏卿;基于网格的远程教学研究[D];华东师范大学;2004年
6 常利娜;非结构网格上并行求解二维Euler方程的研究[D];西北工业大学;2002年
7 张绍华;网格工作流关键技术研究[D];复旦大学;2004年
8 虞松;金属塑性成形过程三维有限元六面体网格自动生成算法及数值模拟关键技术研究[D];山东大学;2005年
9 成娟;非结构网格粘性流动计算研究[D];南京航空航天大学;2001年
10 马天驰;网格环境下移动进程的安全性支持研究[D];浙江大学;2004年
中国硕士学位论文全文数据库 前10条
1 王龙;一类非结构任意四边形网格自动生成[D];湘潭大学;2001年
2 陈宝利;基于网格的数据传输质量控制与数据分发[D];华中科技大学;2004年
3 曹蓉;基于OGSA的网格信任计算模型研究[D];合肥工业大学;2006年
4 黄河;基于移动Agent的网格资源发现与监控模型的研究[D];北京工业大学;2003年
5 赵泉;矢量图形网格模型的简化和细节层次的研究[D];江苏大学;2003年
6 李庆阳;网格计算环境中的动态任务分配和调度算法的研究[D];黑龙江大学;2004年
7 张良俊;三维网格数字水印技术研究[D];浙江大学;2003年
8 陈锋;基于P2P的网格调度算法研究[D];浙江大学;2004年
9 苗福生;数字几何处理的关键技术研究[D];西北大学;2004年
10 章懿;基于移动代理的网格资源的能量分配机制的研究[D];武汉理工大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026