基于ILT的版图自动层次构造算法

在超大规模集成电路设计中，随着版图规模的急速增大，采用层次(hierarchieal)版图验证的方法成为提高计算效率的关键。版图中存在大量重复单元的阵列，单元边界问题处理策略的选择．是决定版图层次验证工具效率的一个关键。文章采用了基于版图倒序树(ILT)的自动构造皈图层次的算法，使扁平的版图形成多个层次，利用新增单元版图规模的压缩达到加速处理边界问题的效果，提高了版图层次验证工具的效率。     

基于线扫描的VLSI版图几何验证核心算法的固化

ＶＬＳＩ集成度的飞速提高使设计过程复杂化，也对版图验证工具的处理能力与性能提出更高的要求。将版图验证的核心算法固化在专用硬件上，是一类非常有效的方法。本文提出了一种在版图验证算法中得到广泛运用的线扫描算法的硬件实现方法，利用有限状态机和流水线结构兼顾算法的顺序性和硬件的并行度，并通过近似的直接处理ＰＣＩ／Ｏ数据流提高处理大批量数据的能力。系统以一块ＰＣ接口板的形式实现。测试结果表明了约５０倍的加速比。     

VLSI版图验证算法的固化研究

ＶＬＳＩ电路芯片集成度的不断增加，使得设计趋于复杂化，这就对版图验证工具的处理能力与性能提出了进一步的要求，运用特殊的硬件将版图验证的某些算法固化，利用其中内在的并行性来获得处理速度的提高是一类非常有效的方法，本文提出了一种用于在版图验证算法中得到广泛运用的线扫描算法中边排序操作的硬件实现。并且在ＦＰＧＡ上进行了验证，整个系统实现于一块ＰＣ机的扩展卡上，测试的结果表明，对于排序的操作，硬件实现的速     

基于线扫描的VLSI版图几何验核心算法的固化

ＶＬＳＩ集成度的飞速提高使设计过程复杂化，也对版图验试工具的处理能力与能力提出了更高的要求。将版图验证的核心算法固化在专用硬件上，是一类非常有效的方法。     

性能驱动系统划分的均场退火方法

本文通过把时延约束条件转化为一个布尔矩阵，利用这个布尔矩阵构造能量函数的时延约束项，从而解决了用神经网络处理时延约束这类不等式约束的难题，并据此提出了一个性能驱动的ＶＬＳＩ系统划分的均场退火算法．算法不仅考虑了模块间的连接关系，还考虑了版图的物理结构，是一种逻辑与版图相结合的划分方法．实验表明，该算法具有较强的寻优能力     

层次版图连接关系提取

本文提出了一种新的层次版图连接关系提取算法,其利用投影法和版图倒序树(Inverse Layout Tree,简记为ILT)构建同一原始图形在不同层次单元之间的关联,并在基于边的扫描线算法的基础上利用组合器的方法建立版图数据的正确连接.此算法能够极好的保持版图中原有的层次,在此算法基础上进行的层次网表提取能够使层次LVS得到最大程度的支持;同时,算法具有很高的效率,只需占用很少的资源.目前,九天EDA系列工具中的层次版图验证工具已经采用此算法.     

CMOS单元版图生成中的晶体管布局算法

本文提出了一个基于模拟退火技术的CMOS标准(库)单元版图生成中的单元内晶体管布局算法，在满足高度约束的前提下同时优化单元版图的面积和时延，可处理不局限于静态串并联结构的电路，考虑大尺寸管子折叠等因素，最终生成二维样式标准单元版图。     

数字光刻系统的IC版图数据接口算法的研究

针对基于数字微镜阵列(DMD)的数字无掩模光刻系统,提出了一种新型IC版图数据接口转化算法,建立了版图数据到曝光数据的转化接口.该接口根据数字光刻系统的需求,以IC版图中工艺层为单位,在保证曝光精度的前提下,可以自动将高精度的IC版图数据转化为与DMD同像素结构的灰度数据.接口兼容GDSⅡ和CIF两种工业标准的IC版图数据,接口算法可以处理这两种IC版图数据中出现的所有基本图素.同时,利用矢量几何计算的方法,成功地解决了自交、重叠等特殊图素或以特殊方式组合图形的转换问题.实验证明,本接口算法具有低复杂度、高精度、高效率的特点,可以作为数字无掩模光刻系统有效的IC版图数据处理通道,对大规模集成电路的制作具有现实意义.     

LSIC凸多边形版图场分割数据处理的一种方法

本文介绍了一种凸多边形版图场分割数据处理的方法，详细分析了凸多边形场分处理的算法。     

交替型暗域相移掩模的并行算法

设计并实现了一种暗域相移掩模(PSM)问题的并行算法。首先根据"分而治之"的原则,将输入版图划分为若干尺寸较小的、易于解决的子版图;然后分配每个子版图给不同的进程,各个进程同时独立地消除子版图的相位冲突;最后将所有的子版图重新组合,生成没有相位冲突的相移掩模版图。实验结果表明,采用4进程的并行PSM算法,可以减少近64.3%的计算时间,获得2.8的加速比。算法还可以有效地减少冲突图中冲突的数目和边的数目。     

模拟集成电路版图中的对称检测与提取方法

新一代模拟集成电路版图自动化系统在重用原有版图时,迫切需要提取其中的匹配设计信息,以保证其输出版图的质量.在角勾链数据结构的基础上,提出了新的对称检测、提取算法及数据结构.该算法检测出器件之间的对称关系,进一步提取出模块之间的对称关系,并将器件级和模块级对称关系及底层的角勾链结构以独特的数据结构统一存储.结果表明,该算法与数据结构能够有效地提取并表示设计者在版图中渗透的匹配设计思想,为版图的生成提供多级对称约束条件,从而有力地保证重用系统所输出的模拟版图的性能.     

设计规则驱动的多层布线算法

迷宫算法是集成电路两端线网优化布线问题的经典算法。多层布线受复杂版图设计规则约束．简单直接应用迷宫布线算法，或者无法获得优化的结果，或者无法满足设计规则。文章分析了迷宫算法特性与局限．提出基于群组图的多层迷宫算法，圆满地解决了上述问题。     

LSI版图曝光单元集的算法

本文给出划分一种ＬＳＩ版图设计图形为曝光单元集的一个算法。该算法可同时获正、反两种曝光单元集，为曝光方式的选择提供了灵活性。     

一种用于降低版图复杂度的新的反向光刻算法

随着光刻系统被驱动用来生产65nm以下的器件时,反向光刻技术（ILT）的应用前景变得越来越广阔。不过,采用反向光刻技术得到的版图通常很难制造,限制了反向光刻技术的使用领域。在这篇文章里提出了一个新的复杂度惩罚项,文章里面称为全局小波惩罚项。通过在版图上进行了四个独特的小波变换,之后选择了一个版图高频成分含量最高的方向作为优化的小波变换方向,全局小波惩罚项对于版图的高频分量能进行更加深入的分析。在这之后,文章中提出了一个新的基于梯度法的反向光刻算法,新算法里面通过将全局小波惩罚项作为它的第一阶段复杂度惩罚项,能更好的降低版图复杂度。实验证明,基于90nm的光学条件和三个典型的65nm的flash阵列版图,相比于采用文章中称为局部小波惩罚项作为复杂度惩罚项的梯度算法,新算法得到的三个版图结果,总的顶点数目分别下降了12.89%,12.63%和12.64%,与此同时精确度保持在同一个水平上。     

GEDS中的联机增量式设计规则检查及其实现

版图的联机增量式设计规则检查(IDRC)是指在版图设计过程中随设计的进行渐进完成版图设计规则检查.我们在版图交互编辑系统GEDS中嵌入并实现了一个IDRC过程.文中介绍了基本的设计规则检查算法和IDRC的实现策略.结合版图的分级设计还讨论了分级设计规则检查方法.     

双极模拟集成电路版图识别的模式识别算法

双极模拟ＩＣ在广泛应用于个人移动通信ＲＦＩＣ中占有重要地位。双极模拟ＩＣ版图识别与验证是其ＣＡＤ研究的重要内容之一。基于模式识别和专家系统的思想,提出了一种双极模拟ＩＣ版图识别的模式识别算法。该方法定义了五种基本版图图形关系,在此基础上构造了版画图技术向量,建立了算法系统及识别系统。该识别算法的优点在于与具体工艺过程无关,从而使识别过程完全系统化。实验表明,该识别系统有效、准确、可靠。     

基于SKILL语言的按比例自动缩放版图方法

使用程序自动缩放版图设计实现硬核的快速工艺移植。版图中对象位置和形状由点的序列构成，对各点乘以相同的缩放因子可以在不改变对象形状的前提下对任意形状对象进行缩放或位置搬移。基于此原理采用建立函数库的方法构建程序，使用递归算法处理层次化的版图并给出编程修改DRC错误的实例。在给出SKILL程序实现的基础上给出了一个完整的设计流程。实践结果显示设计时间缩短、硬核性能得到提高，面积缩小48％，门延时缩短40％。     

一站式版图集成、检视与分析

随着半导体工艺节点继续向更小尺寸挺进,芯片版图的数据量也急剧攀升。准确定位大规模版图中的DRC,物理连接,电阻等问题,对于版图工具来说已经成为了越来越严峻的挑战。基于独有的数据结构的版图处理工具——skipper,配合高效数据处理算法,能够以最快的速度完成版图的相关处理及分析,包括版图的组装,LVL比较,DRC差错修改,批量处理版图数据,电阻及电流密度分析等极具挑战性的任务,显著缩短版图tape out的周期。     

局域动态一维版图压缩算法及其实现

本文给出了一种基于设计规则检查之上的一维版图压缩算法——局部的动态的一维压缩算法RDOC。这是一种特别适合于物理版图的算法,该算法建立约束图的运算时间是线性的,较以前的阴影传播法、垂直平面扫描法快,提高了压缩效率;本文还介绍了为实现该算法而开发的用于单元级版图的压缩程序,它允许用户按其需要对设计规则进行放大或缩小。最后给出了标准单元的压缩实例。     

提取带权关键面积的新算法

导体故障分析是一种列举与缺陷有关的集成电路版图中可能出现桥连的技术,计算带权关键面积是限制其性能的主要因素.文中提出了一种基于数学形态学和真实缺陷矩形模型提取带权关键面积的新算法,该算法不需要将版图上的线网拆分为矩形,也不需要合并矩形对的带权关键面积.实验结果验证了新算法的有效性.