CN117391011B - 层次版图验证中实现图形布尔处理的方法及装置 - Google Patents
层次版图验证中实现图形布尔处理的方法及装置 Download PDFInfo
- Publication number
- CN117391011B CN117391011B CN202311661478.4A CN202311661478A CN117391011B CN 117391011 B CN117391011 B CN 117391011B CN 202311661478 A CN202311661478 A CN 202311661478A CN 117391011 B CN117391011 B CN 117391011B
- Authority
- CN
- China
- Prior art keywords
- graphics
- boolean
- graphic
- processing
- graph
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000012545 processing Methods 0.000 title claims abstract description 75
- 238000000034 method Methods 0.000 title claims abstract description 49
- 238000012795 verification Methods 0.000 title claims abstract description 46
- 230000008569 process Effects 0.000 claims description 17
- 238000013461 design Methods 0.000 description 8
- 230000006870 function Effects 0.000 description 6
- 238000010586 diagram Methods 0.000 description 4
- 238000005516 engineering process Methods 0.000 description 3
- 238000000638 solvent extraction Methods 0.000 description 3
- 230000005540 biological transmission Effects 0.000 description 2
- 230000015556 catabolic process Effects 0.000 description 2
- 238000011960 computer-aided design Methods 0.000 description 2
- 238000006731 degradation reaction Methods 0.000 description 2
- 238000004458 analytical method Methods 0.000 description 1
- 230000008859 change Effects 0.000 description 1
- 239000008358 core component Substances 0.000 description 1
- 238000004387 environmental modeling Methods 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 238000005192 partition Methods 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
- 230000003068 static effect Effects 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/337—Design optimisation
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Processing Or Creating Images (AREA)
Abstract
本申请公开了一种层次版图验证中实现图形布尔处理的方法及装置，通过去除完全重合的图形，避免了出现大量密集图形的情况，从而很好地避免了大量图形的密集导致的每一个最小区间内两两求交会面对大量边的问题，使得扫描线算法正常起到作用，很大程度上降低了扫描线处理布尔运算的算法失效情况，提升了层次版图验证的性能。进一步地，对参与图形布尔处理的图形集合中的图形进行分组，并对不同的图形组分别进行布尔操作，这样，更好地使得扫描线算法正常起到作用，更大程度上降低了扫描线处理布尔运算的算法失效情况，更好地提升了层次版图验证的性能。
Description
技术领域
本申请涉及但不限于半导体集成电路设计自动化技术，尤指一种层次版图验证中实现图形布尔处理的方法及装置。
背景技术
在集成电路设计中，尤其是对于大规模复杂电路，基础单元的重复性是很常见的，而层次版图验证是一种处理这些情况的有效的方法。在层次版图验证中，需要规划不同层次的版图，包括基础单元版图和更高层次的版图。其中，基础单元版图包含设计的核心组件，而高层次版图则包含这些基础单元的重复组合。在基础单元版图中，通过单元重复性检查（基础单元的重复性指的是在设计的不同层次中，使用相似或相同的基本单元进行验证）来确保基础单元的重复性是正确的，比如包括单元的排列、布局以及与周围环境的关系。对于每个基础单元，建立周围环境的模型，这些模型通常是版图的一部分，用于更高层次的验证。在环境建模中，可能需要执行布尔运算，以确定基础单元与其周围环境的几何关系，比如包括交集运算、并集运算和差集运算，以确保版图中的元素正确连接且没有冲突。
版图文件中存在着大量的重复的基础单元，层次版图验证就是利用单元重复性进行的一种版图验证方法。在层次版图验证中需要对同一单元的所有引用的环境进行统一处理，其中会获取基础单元周围图形以进行布尔运算。但是，在很多情况下，基础单元的不同引用的环境是近似相同的，这会导致对大量获取到的相近的图形进行布尔运算。而相关技术中通常采用传统的扫描线算法进行布尔运算，由于获取到的相近的图形是大量密集的，会导致扫描线的分区处理失效，这样，在求交点的步骤就会导致性能大大下降，无法达到实际使用要求。也就是说，在采用传统的扫描线算法时，处理大量重复基础单元并对其环境进行布尔运算会导致层次版图验证性能下降的问题。
发明内容
本申请提供一种层次版图验证中实现图形布尔处理的方法及装置，能够避免出现大量密集图形的情况，提升层次版图验证的性能。
本发明实施例提供了一种层次版图验证中实现图形布尔处理的方法，包括：
识别层次版图中完全重合的图形；
将完全重合的图形中的一个图形加入参与图形布尔处理的图形集合中；
对图形集合中的图形进行布尔操作。
在一种示例性实例中，所述对图形集合中的图形进行布尔操作之前，还包括：
根据空间关系对所述参与图形布尔处理的图形集合中的图形进行分组，以将所述参与图形布尔处理的图形集合中的图形划分到不同的图形组中。
在一种示例性实例中，还包括：
对所述图形组中包括的图形数量大于预设阈值的图形组进行分组，使得分组得到的图形子组中包括的图形数量不大于所述预设阈值。
在一种示例性实例中，所述对图形集合中的图形进行布尔操作，包括：
分别对每个所述图形组或所述图形子组中的图形进行布尔操作；
根据每个所述图形组或所述图形子组的布尔操作结果，在不同所述图形组或所述图形子组之间进行布尔操作。
在一种示例性实例中，所述识别层次版图中完全重合的图形，包括：
根据所述图形的顶点信息判断所述图形是否完全重合，所述顶点信息相同，表明所述图形完全重合；或者，
根据所述图形对应的数据文件判断所述图形是否完全重合，所述数据文件显示的信息相同，表明所述图形完全重合。
在一种示例性实例中，所述根据空间关系对参与图形布尔处理的图形集合中的图形进行分组，包括：
基于最小包围盒的中心点是否落入同一网格对所述参与图形布尔处理的图形集合中的图形进行分组，将所述最小包围盒的中心点落入同一网格的图形划分为同一组。
在一种示例性实例中，所述参与图形布尔处理的图形集合中还包括所述层次版图中没有重合关系的图形。
本申请实施例还提供一种计算机可读存储介质，存储有计算机可执行指令，所述计算机可执行指令用于执行上述任一项所述层次版图验证中实现图形布尔处理的方法。
本申请实施例再提供一种计算机设备，包括存储器和处理器，其中，存储器中存储有以下可被处理器执行的指令：用于执行上述任一项所述的层次版图验证中实现图形布尔处理的方法的步骤。
本申请实施例又提供一种层次版图验证中实现图形布尔处理的装置，包括：识别模块、处理模块，以及布尔操作模块；其中，
识别模块，用于识别层次版图中完全重合的图形；
处理模块，用于将完全重合的图形中的一个图形加入参与图形布尔处理的图形集合中；
布尔操作模块，用于对图形集合中的图形进行布尔操作。
在一种示例性实例中，所述处理模块还用于：根据空间关系对所述参与图形布尔处理的图形集合中的图形进行分组，以将所述参与图形布尔处理的图形集合中的图形划分到不同的图形组中。
在一种示例性实例中，所述处理模块还用于：对所述图形组中包括的图形数量大于预设阈值的图形组进行分组，使得分组得到的图形子组中包括的图形数量不大于预设阈值。
在一种示例性实例中，所述布尔操作模块用于：分别对每个所述图形组或所述图形子组中的图形进行布尔操作；根据每个所述图形组或所述图形子组的布尔操作结果，在不同图形组或图形子组之间进行布尔操作。
通过本申请实施例，通过去除完全重合的图形，避免了出现大量密集图形的情况，从而很好地避免了大量图形的密集导致的每一个最小区间内两两求交会面对大量边的问题，使得扫描线算法正常起到作用，很大程度上降低了扫描线处理布尔运算的算法失效情况，提升了层次版图验证的性能。
进一步地，本申请实施例还对参与图形布尔处理的图形集合中的图形进行分组，并对不同的图形组分别进行布尔操作，这样，更好地使得扫描线算法正常起到作用，更大程度上降低了扫描线处理布尔运算的算法失效情况，更好地提升了层次版图验证的性能。
更进一步地，本申请实施例还进一步根据图形组中包括的图形数量对图形组做进一步分组，包括进一步分组的得到的图形子组中包括的图像数量不大于预设阈值，再对不同的图形子组分别进行布尔操作，这样，更进一步地使得扫描线算法正常起到作用，更进一步大程度上降低了扫描线处理布尔运算的算法失效情况，更进一步好地提升了层次版图验证的性能。
本发明的其它特征和优点将在随后的说明书中阐述，并且，部分地从说明书中变得显而易见，或者通过实施本发明而了解。本发明的目的和其他优点可通过在说明书、权利要求书以及附图中所特别指出的结构来实现和获得。
附图说明
附图用来提供对本申请技术方案的进一步理解，并且构成说明书的一部分，与本申请的实施例一起用于解释本申请的技术方案，并不构成对本申请技术方案的限制。
图1为本申请实施例中层次版图验证中实现图形布尔处理的方法的流程示意图；
图2为本申请实施例中层次版图中完全重合的图形的示例示意图；
图3为本申请实施例中采用区域网格对参与图形布尔处理的图形集合中的图形进行划分的示例示意图；
图4为本申请实施例中层次版图验证中实现图形布尔处理的装置的组成结构示意图。
具体实施方式
为使本申请的目的、技术方案和优点更加清楚明白，下文中将结合附图对本申请的实施例进行详细说明。需要说明的是，在不冲突的情况下，本申请中的实施例及实施例中的特征可以相互任意组合。
在本申请一个典型的配置中，计算设备包括一个或多个处理器 (CPU)、输入/输出接口、网络接口和内存。
内存可能包括计算机可读介质中的非永久性存储器，随机存取存储器 (RAM) 和/或非易失性内存等形式，如只读存储器 (ROM) 或闪存(flash RAM)。内存是计算机可读介质的示例。
计算机可读介质包括永久性和非永久性、 可移动和非可移动媒体可以由任何方法或技术来实现信息存储。信息可以是计算机可读指令、数据结构、程序的模块或其他数据。计算机的存储介质的例子包括，但不限于相变内存 (PRAM)、静态随机存取存储器(SRAM)、动态随机存取存储器 (DRAM)、其他类型的随机存取存储器 (RAM)、只读存储器(ROM)、电可擦除可编程只读存储器 (EEPROM)、快闪记忆体或其他内存技术、只读光盘只读存储器 (CD-ROM)、数字多功能光盘 (DVD) 或其他光学存储、磁盒式磁带，磁带磁盘存储或其他磁性存储设备或任何其他非传输介质，可用于存储可以被计算设备访问的信息。按照本文中的界定，计算机可读介质不包括非暂存电脑可读媒体 (transitory media)，如调制的数据信号和载波。
在附图的流程图示出的步骤可以在诸如一组计算机可执行指令的计算机系统中执行。并且，虽然在流程图中示出了逻辑顺序，但是在某些情况下，可以以不同于此处的顺序执行所示出或描述的步骤。
图形布尔操作通常在计算机辅助设计（CAD）工具中执行，以帮助工程师分析和验证物理布局的正确性和合规性。通过使用图形布尔操作，设计团队可以更好地理解布局中的复杂关系，识别潜在问题，改进设计，并确保设计满足制造和性能要求。
在层次版图物理验证中，图形布尔操作用于对不同图层之间的物理布局信息进行操作和分析。图形布尔操作可以包括如布局合并、布局相交、布局相减和布局交集等，以便更好地理解和验证设计中的不同元素之间的关系。其中，布局合并（Layout Union）操作，用于将两个或多个不同的图层合并在一起，以形成一个新的布局图层；合并操作通常用于将不同元素的布局组合在一起，以便进行后续的分析或验证。布局相交（LayoutIntersection）操作，用于找出两个或多个图层中相互交叉的部分，以形成一个新的图层，在新的图层中只包含交叉部分的布局信息；布局相交操作对于检查是否存在不同元素的冲突或交叉非常有用。布局相减（Layout Subtraction）操作，用于从一个图层中减去另一个图层，以得到一个新的图层，在新的图层中包含了第一个图层的布局信息，但减去了与第二个图层重叠的部分；布局相减操作通常用于创建排除某些元素的布局。布局异或（LayoutXOR）操作，用于将两个图层进行异或操作，结果是一个新的图层，在新的图层中包含两个原始图层中不相交部分的布局信息；布局异或操作可以用于查找两个布局中的不同之处。
基于扫描线算法的布尔处理大致包括：通过对边进行分区处理，先求出交点，再进行布尔运算。对于大数目重叠的图形，扫描线算法的传统分区策略可能会失效或变得低效，因为这种情况下会增加算法的复杂性和计算开销。如果存在大量重叠的图形，那么，每个扫描线上可能有多个图形交叉，这会增加交点的数量和计算复杂性；重叠的图形可能导致扫描线上的冲突，比如，如果两个图形在同一行上有重叠部分，那么，算法必须解决哪个图形的像素应该覆盖哪个，这种冲突的处理也增加了算法的复杂性；处理大量重叠图形的情况，需要更多的计算和内存来管理和维护交点、边表等数据结构，可能导致扫描线算法的效率明显下降，从而导致性能下降的问题。
为了避免出现大量密集图形的情况，提升层次版图验证的性能，本申请实施例提供一种层次版图验证中实现图形布尔处理的方法，如图1所示，可以包括：
步骤100：识别层次版图中完全重合的图形。
在一种示例性实例中，可以根据图形的顶点信息判断图形是否完全重合，比如顶点信息相同，表明图形完全重合。在一种示例性实例中，也可以根据图形对应的数据文件判断图形是否完全重合，比如数据文件显示的信息相同，表明图形完全重合。需要说明的是，识别层次版图中完全重合的图形的方法不限于上述方式，上述方法并不用于限定本申请的保护范围。
如图2所示，对于图形21，大方块表示的图形是同一图形在不同地方的多次引用的情况，在处理该大方块图形的环境时，要拿到周围的图形如大方块图形右上角的小方块图形，其中有非常多小方块图形是完全相同的，或者只有微小区别的。通过步骤100，会将完全相同的这一部分识别出来。
在一种示例性实例中，层次版图中除了存在完全重合的图形之外，也会存在没有重合关系的图形。步骤100是要识别出具有完全重合关系的图形。需要说明的是，具有重合关系的图形可能包括一种或一种以上。
步骤101：将完全重合的图形中的一个图形加入参与图形布尔处理的图形集合中。
在一种示例性实例中，由于层次版图中除了存在完全重合的图形之外，也会存在没有重合关系的图形，因此，参与图形布尔处理的图形集合中除了包括步骤100中识别出来的所有完全重合的图形中的一个图形之外，也包括其他没有重合关系的图形。在一种实施例中，具有重合关系的图形可能包括一种或一种以上，因此，加入参与图形布尔处理的图形集合中的完全重合的图形中的一个图形自然包括一个以上对应不同的的重合关系的图形。
在一种实施例中，假设层次版图中的图形包括如图2所示的图形，通过步骤100的识别，图2所示图形中一个图形21，一个图形22和一个图形23会被放入参与图形布尔处理的图形集合中。如图2所示，图2中仅以包括一种完全重合的图形为例进行说明，其中有很多图形是与图形21完全重合的，按照本申请实施例的方法，只需要将其中一个图形21确定为后续参与图形布尔处理的图形，这样的处理方式，去除了完全重合的图形中没有必要参与布尔操作的图形，避免了出现大量密集图形的情况，很好地避免了大量图形的密集导致的每一个最小区间内两两求交会面对大量边的问题，使得扫描线算法正常起到作用，很大程度上降低了扫描线处理布尔运算的算法失效情况，提升层次版图验证的性能。
步骤102：对图形集合中的图形进行布尔操作。
本步骤中仅对图形集合中的图形进行布尔操作，而不会对层次版图中的所有图形进行布尔操作，很好地避免了大量图形的密集导致的每一个最小区间内两两求交会面对大量边的问题，使得扫描线算法正常起到作用，很大程度上降低了扫描线处理布尔运算的算法失效情况。
本申请实施例提供的层次版图验证中实现图形布尔处理的方法，通过去除完全重合的图形，避免了出现大量密集图形的情况，从而很好地避免了大量图形的密集导致的每一个最小区间内两两求交会面对大量边的问题，使得扫描线算法正常起到作用，很大程度上降低了扫描线处理布尔运算的算法失效情况，提升了层次版图验证的性能。
在一种示例性实例中，如图1所示，步骤101之后，步骤102之前，还可以包括：
步骤1011：根据空间关系对参与图形布尔处理的图形集合中的图形进行分组，以将参与图形布尔处理的图形集合中的图形划分到不同的图形组中。
在一种示例性实例中，可以采用区域网格对参与图形布尔处理的图形集合中的图形进行划分，比如：以基于最小包围盒的中心点是否落入同一网格来对参与图形布尔处理的图形集合中的图形进行分组，可以将最小包围盒的中心点落入同一网格的图形划分为同一组。这里，对于每个图形，最小包围盒是指将该图形完全包围在内的最小的包围盒，最小包围盒是一个矩形。如图3所示，在一种实施例中，图形的最小包围盒311、最小包围盒312、最小包围盒313、最小包围盒314和最小包围盒315的中心点落入网格dj内，因此，将这些最小包围盒包围的图形划分为一组。在一种实施例中，图形的最小包围盒32的中心点落入网格ej内，因此，将该最小包围盒包围的图形划分为一组。在一种实施例中，图形的最小包围盒331和最小包围盒332的中心点落入网格ci内，因此，将这两个最小包围盒包围的图形划分为一组。在一种实施例中，图形的最小包围盒341和最小包围盒342的中心点落入网格ck内，因此，将这两个最小包围盒包围的图形划分为一组。在另一些实施例中，图形的最小包围盒35的中心点落入网格ek内，图形的最小包围盒36的中心点落入网格bk内，图形的最小包围盒37的中心点落入网格cj内，图形的最小包围盒38的中心点落入网格bj内，图形的最小包围盒39的中心点落入网格di内，因此，将这些最小包围盒包围的图形分别划分为一组。需要说明的是，对于图形的最小包围盒的中心点处于网格间的线上的情况，该图形的最小包围盒的中心点可以认为落入该线所属的任意网格中。
本实施例中，在对完全重合的图形进行筛选之后，又进一步对参与图形布尔处理的图形集合中的图形进行分组，并对不同的图形组分别进行布尔操作，这样，更好地使得扫描线算法正常起到作用，更大程度上降低了扫描线处理布尔运算的算法失效情况，更好地提升了层次版图验证的性能。
在一种示例性实例中，如图1所示，本申请实施例提供的层次版图验证中实现图形布尔处理的方法，在步骤102之前，还可以包括：
步骤1012：对图形组中包括的图形数量大于预设阈值的图形组进行分组，使得分组得到的图形子组中包括的图形数量不大于预设阈值。
在一种实施例中，预设阈值与层次版图所涉及应用场景有关，通常可以将预设与之设置为几百个图形。
对于进一步对参与图形布尔处理的图形集合中的图形进行分组得到图形组，或者更进一步对图形组进行分组得到图形子组的情况，步骤102具体包括：
分别对每个图形组或图形子组中的图形进行布尔操作；
根据每个图形组或图形子组的布尔操作结果，在不同图形组或图形子组之间进行布尔操作。
每个图形组或图形子组的布尔操作结果是一个或一个以上图形，在两个不同图形组或图形子组之间进行布尔操作，就是对这两个不同的图形组或图形子组的布尔操作结果得到的这些图形进行布尔操作。
本实施例中，在对完全重合的图形进行筛选，并对参与图形布尔处理的图形集合中的图形进行分组之后，还进一步根据图形组中包括的图形数量对图形组做进一步分组，包括进一步分组的得到的图形子组中包括的图像数量不大于预设阈值，再对不同的图形子组分别进行布尔操作，这样，更进一步地使得扫描线算法正常起到作用，更进一步大程度上降低了扫描线处理布尔运算的算法失效情况，更进一步好地提升了层次版图验证的性能。
本申请还提供一种计算机可读存储介质，存储有计算机可执行指令，所述计算机可执行指令用于执行上述任一项所述的层次版图验证中实现图形布尔处理的方法。
本申请再提供一种计算机设备，包括存储器和处理器，其中，存储器中存储有以下可被处理器执行的指令：用于执行上述任一项所述的层次版图验证中实现图形布尔处理的方法的步骤。
图4为本申请实施例中层次版图验证中实现图形布尔处理的装置的组成结构示意图，如图4所示，至少包括：识别模块、处理模块，以及布尔操作模块；其中，
识别模块，用于识别层次版图中完全重合的图形；
处理模块，用于将完全重合的图形中的一个图形加入参与图形布尔处理的图形集合中；
布尔操作模块，用于对图形集合中的图形进行布尔操作。
在一种示例性实例中，具有重合关系的图形可能包括一种或一种以上。
在一种示例性实例中，参与图形布尔处理的图形集合中除了包括识别出来的所有完全重合的图形中的一个图形之外，还包括其他没有重合关系的图形。
本申请实施例提供的层次版图验证中实现图形布尔处理的装置，通过去除完全重合的图形，避免了出现大量密集图形的情况，从而很好地避免了大量图形的密集导致的每一个最小区间内两两求交会面对大量边的问题，使得扫描线算法正常起到作用，很大程度上降低了扫描线处理布尔运算的算法失效情况，提升了层次版图验证的性能。
在一种示例性实例中，处理模块还用于：根据空间关系对参与图形布尔处理的图形集合中的图形进行分组，以将参与图形布尔处理的图形集合中的图形划分到不同的图形组中。
本实施例中，在对完全重合的图形进行筛选之后，又进一步对参与图形布尔处理的图形集合中的图形进行分组，并对不同的图形组分别进行布尔操作，这样，更好地使得扫描线算法正常起到作用，更大程度上降低了扫描线处理布尔运算的算法失效情况，更好地提升了层次版图验证的性能。
在一种示例性实例中，处理模块还用于：对图形组中包括的图形数量大于预设阈值的图形组进行分组，使得分组得到的图形子组中包括的图形数量不大于预设阈值。
对于进一步对参与图形布尔处理的图形集合中的图形进行分组得到图形组，或者更进一步对图形组进行分组得到图形子组的情况，布尔操作模块具体用于：分别对每个图形组或图形子组中的图形进行布尔操作；根据每个图形组或图形子组的布尔操作结果，在不同图形组或图形子组之间进行布尔操作。
本实施例中，在对完全重合的图形进行筛选，并对参与图形布尔处理的图形集合中的图形进行分组之后，还进一步根据图形组中包括的图形数量对图形组做进一步分组，包括进一步分组的得到的图形子组中包括的图像数量不大于预设阈值，再对不同的图形子组分别进行布尔操作，这样，更进一步地使得扫描线算法正常起到作用，更进一步大程度上降低了扫描线处理布尔运算的算法失效情况，更进一步好地提升了层次版图验证的性能。
虽然本申请所揭露的实施方式如上，但所述的内容仅为便于理解本申请而采用的实施方式，并非用以限定本申请。任何本申请所属领域内的技术人员，在不脱离本申请所揭露的精神和范围的前提下，可以在实施的形式及细节上进行任何的修改与变化，但本申请的专利保护范围，仍须以所附的权利要求书所界定的范围为准。
Claims (13)
1.一种层次版图验证中实现图形布尔处理的方法，其特征在于，包括：
识别层次版图中完全重合的图形；
将完全重合的图形中的一个图形加入参与图形布尔处理的图形集合中；
对图形集合中的图形进行布尔操作。
2.根据权利要求1所述的方法，所述对图形集合中的图形进行布尔操作之前，还包括：
根据空间关系对所述参与图形布尔处理的图形集合中的图形进行分组，以将所述参与图形布尔处理的图形集合中的图形划分到不同的图形组中。
3.根据权利要求2所述的方法，还包括：
对所述图形组中包括的图形数量大于预设阈值的图形组进行分组，使得分组得到的图形子组中包括的图形数量不大于所述预设阈值。
4.根据权利要求2或3所述的方法，其中，所述对图形集合中的图形进行布尔操作，包括：
分别对每个所述图形组或所述图形子组中的图形进行布尔操作；
根据每个所述图形组或所述图形子组的布尔操作结果，在不同所述图形组或所述图形子组之间进行布尔操作。
5.根据权利要求1、2或3所述的方法，其中，所述识别层次版图中完全重合的图形，包括：
根据所述图形的顶点信息判断所述图形是否完全重合，所述顶点信息相同，表明所述图形完全重合；或者，
根据所述图形对应的数据文件判断所述图形是否完全重合，所述数据文件显示的信息相同，表明所述图形完全重合。
6.根据权利要求2或3所述的方法，其中，所述根据空间关系对参与图形布尔处理的图形集合中的图形进行分组，包括：
基于最小包围盒的中心点是否落入同一网格对所述参与图形布尔处理的图形集合中的图形进行分组，将所述最小包围盒的中心点落入同一网格的图形划分为同一组。
7.根据权利要求1、2或3所述的方法，其中，所述参与图形布尔处理的图形集合中还包括所述层次版图中没有重合关系的图形。
8.一种计算机可读存储介质，存储有计算机可执行指令，所述计算机可执行指令用于执行权利要求1~权利要求7任一项所述层次版图验证中实现图形布尔处理的方法。
9.一种计算机设备，包括存储器和处理器，其中，存储器中存储有以下可被处理器执行的指令：用于执行权利要求1~权利要求7任一项所述的层次版图验证中实现图形布尔处理的方法的步骤。
10.一种层次版图验证中实现图形布尔处理的装置，其特征在于，包括：识别模块、处理模块，以及布尔操作模块；其中，
识别模块，用于识别层次版图中完全重合的图形；
处理模块，用于将完全重合的图形中的一个图形加入参与图形布尔处理的图形集合中；
布尔操作模块，用于对图形集合中的图形进行布尔操作。
11.根据权利要求10所述的装置，所述处理模块还用于：根据空间关系对所述参与图形布尔处理的图形集合中的图形进行分组，以将所述参与图形布尔处理的图形集合中的图形划分到不同的图形组中。
12.根据权利要求11所述的装置，所述处理模块还用于：对所述图形组中包括的图形数量大于预设阈值的图形组进行分组，使得分组得到的图形子组中包括的图形数量不大于预设阈值。
13.根据权利要求11或12所述的装置，其中，所述布尔操作模块用于：分别对每个所述图形组或所述图形子组中的图形进行布尔操作；根据每个所述图形组或所述图形子组的布尔操作结果，在不同图形组或图形子组之间进行布尔操作。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202311661478.4A CN117391011B (zh) | 2023-12-06 | 2023-12-06 | 层次版图验证中实现图形布尔处理的方法及装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202311661478.4A CN117391011B (zh) | 2023-12-06 | 2023-12-06 | 层次版图验证中实现图形布尔处理的方法及装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN117391011A CN117391011A (zh) | 2024-01-12 |
| CN117391011B true CN117391011B (zh) | 2024-02-13 |
Family
ID=89465276
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202311661478.4A Active CN117391011B (zh) | 2023-12-06 | 2023-12-06 | 层次版图验证中实现图形布尔处理的方法及装置 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN117391011B (zh) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN117875261B (zh) * | 2024-03-13 | 2024-05-24 | 弈芯科技(杭州)有限公司 | 集成电路版图验证中矩形包含规则的验证方法及装置 |
Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102402630A (zh) * | 2010-09-10 | 2012-04-04 | 北京华大九天软件有限公司 | 一种层次版图验证中单元间图形连接关系的识别方法 |
Family Cites Families (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US9898567B2 (en) * | 2014-02-28 | 2018-02-20 | Synopsys, Inc. | Automatic layout modification tool with non-uniform grids |
-
2023
- 2023-12-06 CN CN202311661478.4A patent/CN117391011B/zh active Active
Patent Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102402630A (zh) * | 2010-09-10 | 2012-04-04 | 北京华大九天软件有限公司 | 一种层次版图验证中单元间图形连接关系的识别方法 |
Non-Patent Citations (2)
| Title |
|---|
| 吴松涛 ; 侯劲松 ; 王国庆 ; .层次版图连接关系提取.中国集成电路.2007,(05),全文. * |
| 层次版图连接关系提取;吴松涛;侯劲松;王国庆;;中国集成电路;20070505(05);全文 * |
Also Published As
| Publication number | Publication date |
|---|---|
| CN117391011A (zh) | 2024-01-12 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN117391011B (zh) | 层次版图验证中实现图形布尔处理的方法及装置 | |
| JP4031905B2 (ja) | 回路設計装置及び回路設計方法 | |
| US10546090B2 (en) | Virtual cell model usage | |
| US6996790B2 (en) | System and method for generating a two-dimensional yield map for a full layout | |
| US6243855B1 (en) | Mask data design method | |
| US7436407B2 (en) | Topology determination, decomposable shape generation, and structured mesh generation | |
| US8384711B2 (en) | Ray tracing a three dimensional scene using a grid | |
| US20070192754A1 (en) | Method for treating design errors of a layout of an integrated circuit | |
| US8539416B1 (en) | Methods, systems, and articles of manufacture for creating a hierarchical output for an operation in an electronic design | |
| US8645902B1 (en) | Methods, systems, and computer program products for implementing interactive coloring of physical design components in a physical electronic design with multiple-patterning techniques awareness | |
| CN116402007B (zh) | 版图移植方法、装置、终端以及介质 | |
| CN115828349A (zh) | 几何模型处理方法、装置、电子设备及存储介质 | |
| US8510685B1 (en) | Methods, systems, and articles of manufacture for creating a hierarchical output for an operation in an electronic design | |
| US8032855B1 (en) | Method and apparatus for performing incremental placement on a structured application specific integrated circuit | |
| JP2007188517A (ja) | タイミング配分装置 | |
| US11763059B2 (en) | Net-based wafer inspection | |
| CN114861574A (zh) | 一种应用于层次化物理设计的逻辑简化方法 | |
| US8514223B2 (en) | Apparatus and method for generating three-dimensional model data | |
| CN112017190A (zh) | 一种用于血管分割补全的全局网络构建和训练方法及装置 | |
| JP5033135B2 (ja) | レイアウト後ｅｄａアプリケーションを開発するための方法およびシステム | |
| Blank | A bit map architecture and algorithms for design automation | |
| CN113361226B (zh) | 一种减小版图文件大小的方法及电子设备 | |
| US20090070731A1 (en) | Distributed Mask Data Preparation | |
| CN115270695B (zh) | 电路版图的拆分验证方法、双重图形光刻方法、存储介质 | |
| CN118261111A (zh) | 一种版图检查方法、系统、设备及存储介质 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |