CN116070573A - Soft error layout optimization method considering pulse narrowing - Google Patents

Soft error layout optimization method considering pulse narrowing Download PDF

Info

Publication number
CN116070573A
CN116070573A CN202310208293.1A CN202310208293A CN116070573A CN 116070573 A CN116070573 A CN 116070573A CN 202310208293 A CN202310208293 A CN 202310208293A CN 116070573 A CN116070573 A CN 116070573A
Authority
CN
China
Prior art keywords
unit
layout
cell
cells
quenching
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.)
Granted
Application number
CN202310208293.1A
Other languages
Chinese (zh)
Other versions
CN116070573B (en
Inventor
贺旭
刘畅
李暾
屈婉霞
吴强
张吉良
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Hunan University
National University of Defense Technology
Original Assignee
Hunan University
National University of Defense Technology
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Hunan University, National University of Defense Technology filed Critical Hunan University
Priority to CN202310208293.1A priority Critical patent/CN116070573B/en
Publication of CN116070573A publication Critical patent/CN116070573A/en
Application granted granted Critical
Publication of CN116070573B publication Critical patent/CN116070573B/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/39Circuit design at the physical level
    • G06F30/392Floor-planning or layout, e.g. partitioning or placement
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/39Circuit design at the physical level
    • G06F30/398Design verification or optimisation, e.g. using design rule check [DRC], layout versus schematics [LVS] or finite element methods [FEM]

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)
  • Architecture (AREA)
  • Design And Manufacture Of Integrated Circuits (AREA)

Abstract

本发明实施例中提供了一种考虑脉冲窄化的软错误布局优化方法,属于数据处理技术领域,具体包括:步骤1,将预设的RTL设计进行逻辑综合并采用布局工具生成输入布局;步骤2,使用KM算法全局找到输入布局中所有可能的单元对,得到单元配对结果;步骤3,根据单元配对结果,生成组合单元,并根据原始单元信息计算组合单元的初始位置和大小;步骤4,基于所有单元的初始位置,计算考虑位移的单元重定位,得到满足淬灭效应的淬灭单元对;步骤5,在考虑淬灭单元对情况下,利用预设操作进一步优化线长,其中,预设操作包括单元交换操作和单元插入操作,最终生成优化布局结果。通过本发明的方案,提高了优化效率和淬灭效应增强性能。

Figure 202310208293

An embodiment of the present invention provides a soft error layout optimization method considering pulse narrowing, which belongs to the field of data processing technology, and specifically includes: step 1, performing logic synthesis on the preset RTL design and using a layout tool to generate an input layout; step 2. Use the KM algorithm to globally find all possible cell pairs in the input layout, and obtain cell pairing results; step 3, generate combined cells according to the cell pairing results, and calculate the initial position and size of the combined cells according to the original cell information; step 4, Based on the initial positions of all units, calculate the unit relocation considering the displacement, and obtain the quenching unit pair that satisfies the quenching effect; step 5, in the case of considering the quenching unit pair, use the preset operation to further optimize the line length, where the preset The design operation includes cell exchange operation and cell insertion operation, and finally generates an optimized layout result. Through the scheme of the present invention, the optimization efficiency and quenching effect enhancement performance are improved.

Figure 202310208293

Description

考虑脉冲窄化的软错误布局优化方法Soft Error Layout Optimization Method Considering Pulse Narrowing

技术领域Technical Field

本发明实施例涉及数据处理技术领域,尤其涉及一种考虑脉冲窄化的软错误布局优化方法。The embodiments of the present invention relate to the field of data processing technology, and in particular to a soft error layout optimization method considering pulse narrowing.

背景技术Background Art

目前,随着特征尺寸不断缩小,现代CMOS器件和集成电路 (IC) 由于较小的电容和较低的工作电压而变得更容易受到软错误的影响。软错误可以由多种原因引起,例如,来自封装衰变的α粒子、来自宇宙射线的二次粒子、串扰和电路中的随机噪声等,其中辐射引起的单粒子瞬态脉冲 (SET) 效应是软错误的主要原因。SET是由单个电离粒子通过器件中的敏感区域产生“累积电荷”引起的瞬态脉冲。由于SET会在电路中产生故障和软错误,甚至会导致设备损坏,因此SET对IC来说是严重的可靠性问题。As feature sizes continue to shrink, modern CMOS devices and integrated circuits (ICs) are becoming more susceptible to soft errors due to smaller capacitance and lower operating voltages. Soft errors can be caused by a variety of reasons, such as alpha particles from package decay, secondary particles from cosmic rays, crosstalk, and random noise in the circuit, among which radiation-induced single event transient pulse (SET) effects are the main cause of soft errors. SET is a transient pulse caused by a single ionized particle passing through a sensitive area in the device to generate "accumulated charge". SET is a serious reliability issue for ICs because it can cause faults and soft errors in the circuit and even cause device damage.

但是现有的布局优化方法,例如前人工作Chang Liu, Xu He, Bin Liang, andYang Guo. 2018. Detailed placement for pulse quenching enhancement in anti-radiation combinational circuit design. Integration, VLSI 62 (2018), 182–189.中,由于单元移动的过程是以一个接一个的方式进行的,没有全局视角,因此他们方法的脉冲窄化效应增强有限。However, in existing layout optimization methods, such as previous work Chang Liu, Xu He, Bin Liang, andYang Guo. 2018. Detailed placement for pulse quenching enhancement in anti-radiation combinational circuit design. Integration, VLSI 62 (2018), 182–189., the pulse narrowing effect enhancement is limited because the unit movement process is performed one by one without a global perspective.

可见,亟需一种高效、淬灭效应增强性能稳定的考虑脉冲窄化的软错误布局优化方法。It can be seen that there is an urgent need for an efficient soft error layout optimization method that takes pulse narrowing into consideration and has stable quenching effect enhancement performance.

发明内容Summary of the invention

有鉴于此,本发明实施例提供一种考虑脉冲窄化的软错误布局优化方法,至少部分解决现有技术中存在优化效率和淬灭效应增强性能较差的问题。In view of this, an embodiment of the present invention provides a soft error layout optimization method considering pulse narrowing, which at least partially solves the problem of poor optimization efficiency and quenching effect enhancement performance in the prior art.

本发明实施例提供了一种考虑脉冲窄化的软错误布局优化方法,包括:An embodiment of the present invention provides a soft error layout optimization method considering pulse narrowing, including:

步骤1,将预设的RTL设计进行逻辑综合并采用布局工具生成输入布局;Step 1, perform logic synthesis on the preset RTL design and use layout tools to generate input layout;

步骤2,使用KM算法全局找到输入布局中所有可能的单元对,得到单元配对结果;Step 2, use the KM algorithm to globally find all possible unit pairs in the input layout and obtain the unit pairing results;

步骤3,根据单元配对结果,生成组合单元,并根据原始单元信息计算组合单元的初始位置和大小;Step 3, generating a combined unit according to the unit pairing result, and calculating the initial position and size of the combined unit according to the original unit information;

步骤4,基于所有单元的初始位置,计算考虑位移的单元重定位,得到满足淬灭效应的淬灭单元对;Step 4, based on the initial positions of all units, calculate the unit relocation considering the displacement to obtain the quenching unit pair that satisfies the quenching effect;

步骤5,在考虑淬灭单元对情况下,利用预设操作进一步优化线长,其中,预设操作包括单元交换操作和单元插入操作,最终生成优化布局结果。Step 5, taking into account the quenching unit pair, further optimize the line length using preset operations, wherein the preset operations include a unit exchange operation and a unit insertion operation, and finally generate an optimized layout result.

根据本发明实施例的一种具体实现方式,所述步骤2具体包括:According to a specific implementation of the embodiment of the present invention, step 2 specifically includes:

步骤2.1,生成每个单元对应的扇出集合并计算每个单元的敏感度;Step 2.1, generate the fan-out set corresponding to each unit and calculate the sensitivity of each unit;

步骤2.2,使用KM算法将每个单元与其对应的扇出集合中敏感度最高的单元配对,形成单元配对结果。In step 2.2, the KM algorithm is used to pair each unit with the unit with the highest sensitivity in its corresponding fan-out set to form a unit pairing result.

根据本发明实施例的一种具体实现方式,所述步骤2.2具体包括:According to a specific implementation of the embodiment of the present invention, step 2.2 specifically includes:

Figure SMS_1
Figure SMS_2
分别为单元
Figure SMS_3
和其扇出单元
Figure SMS_4
的输入坐标,并计算单元
Figure SMS_5
和其扇出单元
Figure SMS_6
的配对权值;set up
Figure SMS_1
and
Figure SMS_2
Unit
Figure SMS_3
and its fan-out unit
Figure SMS_4
The input coordinates and calculate the unit
Figure SMS_5
and its fan-out unit
Figure SMS_6
The pairing weight of

构建连接图

Figure SMS_7
,其中
Figure SMS_8
表示扇入单元的集合,
Figure SMS_9
表示扇出单元的集合,
Figure SMS_10
表示连接集;Building a connection graph
Figure SMS_7
,in
Figure SMS_8
represents the set of fan-in units,
Figure SMS_9
represents the set of fan-out units,
Figure SMS_10
Represents a connection set;

调用KM算法对连接图进行全局单元配对,形成单元配对结果。The KM algorithm is called to perform global unit pairing on the connection graph to form a unit pairing result.

根据本发明实施例的一种具体实现方式,所述配对权值的计算公式为According to a specific implementation of the embodiment of the present invention, the calculation formula of the pairing weight is:

Figure SMS_11
Figure SMS_11

Figure SMS_12
Figure SMS_12

其中,

Figure SMS_13
表示敏感度,
Figure SMS_14
Figure SMS_15
均为正参数。in,
Figure SMS_13
Indicates sensitivity,
Figure SMS_14
and
Figure SMS_15
are all positive parameters.

根据本发明实施例的一种具体实现方式,所述步骤3具体包括:According to a specific implementation of the embodiment of the present invention, step 3 specifically includes:

根据已有的原始单元信息和位移驱动问题描述为Based on the existing original unit information and displacement driven problem, it can be described as

Figure SMS_16
Figure SMS_16

并根据预设条件改写为布局问题;and rewrite it as a layout problem based on the preset conditions;

推理组合单元的初始信息,对于集成单元

Figure SMS_17
,其宽度和初始坐标计算如下:The initial information of the reasoning combination unit, for the integrated unit
Figure SMS_17
, whose width and initial coordinates are calculated as follows:

Figure SMS_20
其中,
Figure SMS_22
Figure SMS_24
,分别表示
Figure SMS_19
单元的宽度和初始左下角坐标,相应地,对于子单元
Figure SMS_21
Figure SMS_23
Figure SMS_25
分别表示
Figure SMS_18
的宽度和初始左下角坐标。
Figure SMS_20
in,
Figure SMS_22
and
Figure SMS_24
, respectively
Figure SMS_19
The width and initial lower left corner coordinate of the cell, and accordingly, for the child cells
Figure SMS_21
,
Figure SMS_23
and
Figure SMS_25
Respectively
Figure SMS_18
The width and initial lower left corner coordinates.

根据本发明实施例的一种具体实现方式,所述步骤4具体包括:According to a specific implementation of the embodiment of the present invention, step 4 specifically includes:

步骤4.1,将组合单元和未配对单元通过布局问题对应的公式进行单元重定位,建模线性互补问题并给定组合单元和未配对单元的单元信息和连接关系网表,构建线性互补问题数据结构;Step 4.1, relocate the combined cells and the unpaired cells by using the formula corresponding to the layout problem, model the linear complementarity problem, and construct the linear complementarity problem data structure by giving the cell information and connection relationship netlist of the combined cells and the unpaired cells;

步骤4.2,通过两步扫描策略压缩线性互补问题数据结构构建其对应的约束矩阵,并应用基于模的矩阵分裂迭代法求解线性互补问题;Step 4.2, compressing the linear complementarity problem data structure through a two-step scanning strategy to construct its corresponding constraint matrix, and applying the module-based matrix splitting iteration method to solve the linear complementarity problem;

步骤4.3,根据求解结果得到重定位后的单元坐标,并将其进行整数化得到包括组合单元在内的全部单元的合法位置,将成功布局后的组合单元中的原始相邻单元对作为淬灭单元对。Step 4.3, according to the solution result, the relocated unit coordinates are obtained, and they are integerized to obtain the legal positions of all units including the combined unit, and the original adjacent unit pairs in the successfully laid out combined unit are used as quenched unit pairs.

根据本发明实施例的一种具体实现方式,所述所述布局问题的表达式为According to a specific implementation of an embodiment of the present invention, the expression of the layout problem is:

Figure SMS_26
Figure SMS_26

Figure SMS_27
Figure SMS_27

其中,

Figure SMS_29
是所有单元水平方向坐标向量,
Figure SMS_31
是单位矩阵,
Figure SMS_34
是每个元素
Figure SMS_30
的向量,
Figure SMS_33
是单元左右水平相邻关系的约束矩阵,
Figure SMS_36
中每行中只有两个非零元素-1和1,
Figure SMS_37
的行数是单元水平方向的左右约束数目,
Figure SMS_28
的列数是单元数,向量
Figure SMS_32
中每个元素对应矩阵
Figure SMS_35
每行左右水平相邻约束中左边单元的宽度。in,
Figure SMS_29
is the horizontal coordinate vector of all units,
Figure SMS_31
is the identity matrix,
Figure SMS_34
Each element
Figure SMS_30
The vector of
Figure SMS_33
is the constraint matrix of the horizontal adjacent relationship of the unit.
Figure SMS_36
There are only two non-zero elements in each row of
Figure SMS_37
The number of rows is the number of left and right constraints in the horizontal direction of the cell.
Figure SMS_28
The number of columns is the number of cells, and the vector
Figure SMS_32
Each element in the matrix
Figure SMS_35
The width of the left cell in the horizontal adjacent constraints on each row.

根据本发明实施例的一种具体实现方式,所述通过两步扫描策略压缩线性互补问题数据结构构建其对应的约束矩阵

Figure SMS_38
的步骤包括:According to a specific implementation of an embodiment of the present invention, the linear complementarity problem data structure is compressed by a two-step scanning strategy to construct its corresponding constraint matrix.
Figure SMS_38
The steps include:

当从左到右扫描一行内的单元时,首先将奇数位置的单元与其右相邻单元组成相邻约束;When scanning cells in a row from left to right, first form neighbor constraints between cells in odd positions and their right adjacent cells;

在第一步扫描之后,开始第二步扫描,在偶数位置添加单元与其右相邻单元的相邻约束。After the first scan, the second scan begins, adding neighbor constraints between the cell and its right neighbor at even positions.

本发明实施例中的考虑脉冲窄化的软错误布局优化方案,包括:步骤1,将预设的RTL设计进行逻辑综合并采用布局工具生成输入布局;步骤2,使用KM算法全局找到输入布局中所有可能的单元对,得到单元配对结果;步骤3,根据单元配对结果,生成组合单元,并根据原始单元信息计算组合单元的初始位置和大小;步骤4,基于所有单元的初始位置,计算考虑位移的单元重定位,得到满足淬灭效应的淬灭单元对;步骤5,在考虑淬灭单元对情况下,利用预设操作进一步优化线长,其中,预设操作包括单元交换操作和单元插入操作,最终生成优化布局结果。The soft error layout optimization scheme considering pulse narrowing in the embodiment of the present invention includes: step 1, performing logic synthesis on a preset RTL design and using a layout tool to generate an input layout; step 2, using a KM algorithm to globally find all possible cell pairs in the input layout to obtain a cell pairing result; step 3, generating a combination cell according to the cell pairing result, and calculating the initial position and size of the combination cell according to the original cell information; step 4, based on the initial positions of all cells, calculating the cell relocation considering the displacement to obtain a quenching cell pair that satisfies the quenching effect; step 5, taking the quenching cell pair into consideration, further optimizing the line length using a preset operation, wherein the preset operation includes a cell exchange operation and a cell insertion operation, and finally generating an optimized layout result.

本发明实施例的有益效果为:通过本发明的方案,布局时考虑淬灭效应增强来优化软错误率,可以在不引入任何硬件惩罚的情况下减轻电路中的软错误生成,通过设置布局算法在布局期间动态配对单元,之后全局一次性将所有单元配对,并在后续单元重定位过程中,对它们进行全局重定位,增强了相邻逻辑相关单元之间的淬灭效应,提高了优化效率和淬灭效应增强性能。The beneficial effects of the embodiments of the present invention are as follows: through the scheme of the present invention, the quenching effect enhancement is considered during layout to optimize the soft error rate, and the soft error generation in the circuit can be reduced without introducing any hardware penalty. By setting the layout algorithm to dynamically pair cells during layout, all cells are then globally paired at one time, and in the subsequent cell relocation process, they are globally relocated, thereby enhancing the quenching effect between adjacent logically related cells, and improving the optimization efficiency and the quenching effect enhancement performance.

附图说明BRIEF DESCRIPTION OF THE DRAWINGS

为了更清楚地说明本发明实施例的技术方案,下面将对实施例中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本发明的一些实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其它的附图。In order to more clearly illustrate the technical solutions of the embodiments of the present invention, the drawings required for use in the embodiments will be briefly introduced below. Obviously, the drawings described below are only some embodiments of the present invention. For ordinary technicians in this field, other drawings can be obtained based on these drawings without creative work.

图1为本发明实施例提供的一种考虑脉冲窄化的软错误布局优化方法的流程示意图;FIG1 is a schematic flow chart of a method for optimizing soft error placement taking pulse narrowing into consideration provided by an embodiment of the present invention;

图2为本发明实施例提供的一种考虑脉冲窄化的软错误布局优化方法对应的详细布局框架及其评估流程示意图;FIG2 is a schematic diagram of a detailed layout framework and an evaluation flow chart corresponding to a soft error layout optimization method considering pulse narrowing provided by an embodiment of the present invention;

图3为本发明实施例提供的一种淬灭效应举例示意图;FIG3 is a schematic diagram showing an example of a quenching effect provided by an embodiment of the present invention;

图4为本发明实施例提供的一种单元配对举例示意图;FIG4 is a schematic diagram of an example of unit pairing provided by an embodiment of the present invention;

图5为本发明实施例提供的一种首尾结合为一个组合单元示意图;FIG5 is a schematic diagram of a combination unit provided by an embodiment of the present invention that is combined end to end;

图6为本发明实施例提供的一种单元重定位流程示意图;FIG6 is a schematic diagram of a unit relocation process provided by an embodiment of the present invention;

图7为本发明实施例提供的一种配对单元合并为组合单元过程示意图;FIG7 is a schematic diagram of a process of merging paired units into a combined unit provided by an embodiment of the present invention;

图8为本发明实施例提供的一种矩阵

Figure SMS_39
的两种扫描构建方法示意图;FIG. 8 is a matrix provided by an embodiment of the present invention.
Figure SMS_39
Schematic diagram of two scanning construction methods;

图9为本发明实施例提供的一种考虑淬灭效应的布局示例示意图。FIG. 9 is a schematic diagram of a layout example taking into account the quenching effect provided by an embodiment of the present invention.

具体实施方式DETAILED DESCRIPTION

下面结合附图对本发明实施例进行详细描述。The embodiments of the present invention are described in detail below with reference to the accompanying drawings.

以下通过特定的具体实例说明本发明的实施方式,本领域技术人员可由本说明书所揭露的内容轻易地了解本发明的其他优点与功效。显然,所描述的实施例仅仅是本发明一部分实施例,而不是全部的实施例。本发明还可以通过另外不同的具体实施方式加以实施或应用,本说明书中的各项细节也可以基于不同观点与应用,在没有背离本发明的精神下进行各种修饰或改变。需说明的是,在不冲突的情况下,以下实施例及实施例中的特征可以相互组合。基于本发明中的实施例,本领域普通技术人员在没有作出创造性劳动前提下所获得的所有其他实施例,都属于本发明保护的范围。The following describes the embodiments of the present invention through specific examples, and those skilled in the art can easily understand other advantages and effects of the present invention from the contents disclosed in this specification. Obviously, the described embodiments are only a part of the embodiments of the present invention, rather than all the embodiments. The present invention can also be implemented or applied through other different specific embodiments, and the details in this specification can also be modified or changed in various ways based on different viewpoints and applications without departing from the spirit of the present invention. It should be noted that the following embodiments and features in the embodiments can be combined with each other without conflict. Based on the embodiments in the present invention, all other embodiments obtained by ordinary technicians in this field without making creative work belong to the scope of protection of the present invention.

需要说明的是,下文描述在所附权利要求书的范围内的实施例的各种方面。应显而易见,本文中所描述的方面可体现于广泛多种形式中,且本文中所描述的任何特定结构及/或功能仅为说明性的。基于本发明,所属领域的技术人员应了解,本文中所描述的一个方面可与任何其它方面独立地实施,且可以各种方式组合这些方面中的两者或两者以上。举例来说,可使用本文中所阐述的任何数目个方面来实施设备及/或实践方法。另外,可使用除了本文中所阐述的方面中的一或多者之外的其它结构及/或功能性实施此设备及/或实践此方法。It should be noted that various aspects of the embodiments within the scope of the appended claims are described below. It should be apparent that the aspects described herein can be embodied in a wide variety of forms, and any specific structure and/or function described herein is merely illustrative. Based on the present invention, it should be understood by those skilled in the art that an aspect described herein can be implemented independently of any other aspect, and two or more of these aspects can be combined in various ways. For example, any number of aspects described herein can be used to implement the device and/or practice the method. In addition, other structures and/or functionalities other than one or more of the aspects described herein can be used to implement this device and/or practice this method.

还需要说明的是,以下实施例中所提供的图示仅以示意方式说明本发明的基本构想,图式中仅显示与本发明中有关的组件而非按照实际实施时的组件数目、形状及尺寸绘制,其实际实施时各组件的型态、数量及比例可为一种随意的改变,且其组件布局型态也可能更为复杂。It should also be noted that the illustrations provided in the following embodiments are only schematic illustrations of the basic concept of the present invention. The drawings only show components related to the present invention rather than being drawn according to the number, shape and size of components in actual implementation. In actual implementation, the type, quantity and proportion of each component may be changed arbitrarily, and the component layout may also be more complicated.

另外,在以下描述中,提供具体细节是为了便于透彻理解实例。然而,所属领域的技术人员将理解,可在没有这些特定细节的情况下实践所述方面。Additionally, in the following description, specific details are provided to facilitate a thorough understanding of the examples. However, one skilled in the art will appreciate that the aspects described may be practiced without these specific details.

本发明实施例提供一种考虑脉冲窄化的软错误布局优化方法,所述方法可以应用于芯片设计场景的布局优化过程。An embodiment of the present invention provides a soft error layout optimization method considering pulse narrowing, and the method can be applied to a layout optimization process in a chip design scenario.

参见图1,为本发明实施例提供的一种考虑脉冲窄化的软错误布局优化方法的流程示意图。如图1和图2所示,所述方法主要包括以下步骤:Referring to FIG1 , a flow chart of a method for optimizing soft error placement considering pulse narrowing is provided in an embodiment of the present invention. As shown in FIG1 and FIG2 , the method mainly includes the following steps:

步骤1,将预设的RTL设计进行逻辑综合并采用布局工具生成输入布局;Step 1, perform logic synthesis on the preset RTL design and use the layout tool to generate input layout;

软错误率(SER)可以通过软件到硬件的不同级别上进行优化。其中,布局优化SER的方法,主要是通过在SET传播路径中,利用脉冲窄化效应,即淬灭效应(Quenching),减少SET到达最终输出端的概率。相比其他软错误率优化方法,通过使用布局来增强脉冲窄化效应,在优化SER的同时,无需任何芯片面积成本或流片工艺调整。单元

Figure SMS_41
Figure SMS_43
都是反相器,它们的输出节点分别命名为
Figure SMS_45
Figure SMS_42
。最初,假设
Figure SMS_44
的输入为高,
Figure SMS_46
的PMOS为OFF,
Figure SMS_47
为LOW,与
Figure SMS_40
相关联的PMOS晶体管为ON。The soft error rate (SER) can be optimized at different levels from software to hardware. Among them, the layout optimization method of SER is mainly to reduce the probability of SET reaching the final output end by using the pulse narrowing effect, that is, the quenching effect, in the SET propagation path. Compared with other soft error rate optimization methods, by using layout to enhance the pulse narrowing effect, while optimizing SER, no chip area cost or wafer process adjustment is required.
Figure SMS_41
and
Figure SMS_43
are all inverters, and their output nodes are named
Figure SMS_45
and
Figure SMS_42
Initially, it is assumed that
Figure SMS_44
The input is high,
Figure SMS_46
The PMOS is OFF,
Figure SMS_47
is LOW, and
Figure SMS_40
The associated PMOS transistor is ON.

如图3所示,其中,(a)表示如果离子击中

Figure SMS_48
的截止PMOS晶体管,则
Figure SMS_49
处的逻辑低状态将被电荷收集驱动为高,然后在
Figure SMS_50
处产生置位脉冲高。该SET脉冲将传播到
Figure SMS_51
,导致
Figure SMS_52
处的HIGH到LOW转变,
Figure SMS_53
的PMOS状态变为OFF。As shown in Figure 3, (a) indicates that if the ion hits
Figure SMS_48
The PMOS transistor is turned off, then
Figure SMS_49
The logic low state at
Figure SMS_50
The SET pulse will propagate to
Figure SMS_51
,lead to
Figure SMS_52
HIGH to LOW transition at
Figure SMS_53
The PMOS state becomes OFF.

(b)表示当

Figure SMS_55
的PMOS关闭时,它对电荷收集敏感。如果
Figure SMS_57
Figure SMS_60
在物理上彼此接近,因为电荷共享可以使SET电荷从
Figure SMS_56
扩散到
Figure SMS_58
Figure SMS_59
的PMOS将返回ON,从而将
Figure SMS_61
的状态再次驱动到HIGH。在
Figure SMS_54
处的LOW-to-HIGH转变将节点电压重置为事件前状态。(b) indicates when
Figure SMS_55
When the PMOS is turned off, it is sensitive to charge collection.
Figure SMS_57
and
Figure SMS_60
Being physically close to each other, charge sharing can enable the SET charge to
Figure SMS_56
Spread to
Figure SMS_58
,
Figure SMS_59
The PMOS will turn ON, thus
Figure SMS_61
is driven HIGH again.
Figure SMS_54
The LOW-to-HIGH transition at resets the node voltage to its pre-event state.

(c)表示

Figure SMS_62
处的脉冲被有效地截短,使得
Figure SMS_63
处只具有非常窄的脉冲宽度,即产生了淬灭效应。相比长脉冲可以不衰减地传播到逻辑深处,
Figure SMS_64
处的窄脉冲很可能通过后续路径上被逻辑门被进一步衰减甚至过滤掉,或者由于时钟周期更长而不被锁存。因此,
Figure SMS_65
Figure SMS_66
可以配对来增强淬灭效应。(c) indicates
Figure SMS_62
The pulse at is effectively truncated, making
Figure SMS_63
The pulse width is very narrow, which results in a quenching effect. Compared with the long pulse, which can propagate deep into the logic without attenuation,
Figure SMS_64
The narrow pulse at is likely to be further attenuated or even filtered out by the logic gates in the subsequent path, or not latched due to the longer clock cycle.
Figure SMS_65
and
Figure SMS_66
Can be paired to enhance the quenching effect.

应当指出,发生脉冲窄化效应有三个条件:电路结构相连、版图位置相邻以及处于合适的电平状态。在布局过程中,网表结构不变,即不改变单元连接关系,每个单元所处的电平状态与输入激励有关,能够控制的是单元在版图上的位置。因此,本文关注的重点是电相连的单元所处位置关系。定义电路中相连且在版图中位于同一行并相邻的两个单元为淬灭单元对,只有淬灭单元对才能发生脉冲窄化效应。It should be pointed out that there are three conditions for the pulse narrowing effect to occur: the circuit structure is connected, the layout position is adjacent, and it is in a suitable level state. During the layout process, the netlist structure remains unchanged, that is, the unit connection relationship does not change. The level state of each unit is related to the input stimulus, and what can be controlled is the position of the unit on the layout. Therefore, the focus of this article is on the position relationship of the electrically connected units. Two units that are connected in the circuit and located in the same row and adjacent in the layout are defined as quenching unit pairs. Only quenching unit pairs can produce pulse narrowing effects.

由于SET脉冲宽度的收缩高度依赖于电相关单元之间的物理距离。如果距离太大,则脉冲窄化效应消失。为了使脉冲窄化效应效果最大化,同一淬灭单元对的两个单元应水平靠近彼此。值得补充的是,在脉冲窄化增强中不考虑垂直相邻情况,因为布局行间的阱/衬底接触面积影响电荷转移,会明显削弱脉冲窄化效应。Since the shrinkage of SET pulse width is highly dependent on the physical distance between electrically related units. If the distance is too large, the pulse narrowing effect disappears. In order to maximize the pulse narrowing effect, the two units of the same quenching unit pair should be horizontally close to each other. It is worth adding that the vertical adjacent situation is not considered in the pulse narrowing enhancement, because the well/substrate contact area between the layout rows affects the charge transfer, which will significantly weaken the pulse narrowing effect.

考虑到淬灭单元对中的单元需要水平相邻布局,全局布局不能决定单元的最终位置,因此我们的算法作用在详细布局中。Considering that the cells in the quenching cell pair need to be laid out horizontally adjacent to each other, the global layout cannot determine the final position of the cells, so our algorithm works on the detailed layout.

脉冲窄化增强的详细布局问题可以表示为超图

Figure SMS_68
布局问题。设标准单元
Figure SMS_72
和线网
Figure SMS_76
Figure SMS_69
Figure SMS_74
。对于每个单元
Figure SMS_78
,其坐标为
Figure SMS_79
,宽度为
Figure SMS_67
。在本工作中,每个单元具有统一的高度,等于布局行的高度。给定宽度为
Figure SMS_71
、高度
Figure SMS_75
H的布局区域
Figure SMS_77
,每个可移动单元
Figure SMS_70
的坐标
Figure SMS_73
)需要满足如下要求:The detailed layout problem of pulse narrowing enhancement can be expressed as a hypergraph
Figure SMS_68
Layout problem. Set standard unit
Figure SMS_72
And line network
Figure SMS_76
,
Figure SMS_69
,
Figure SMS_74
For each unit
Figure SMS_78
, whose coordinates are
Figure SMS_79
, the width is
Figure SMS_67
In this work, each cell has a uniform height, equal to the height of the layout row. Given a width of
Figure SMS_71
,high
Figure SMS_75
H layout area
Figure SMS_77
, each movable unit
Figure SMS_70
Coordinates
Figure SMS_73
) must meet the following requirements:

位于合法区域

Figure SMS_80
内;Located in a legal area
Figure SMS_80
Inside;

不与其他电路单元重叠;No overlap with other circuit units;

布局在单元行内。Layout is within a cell row.

定义1:在我们的工作中,单元对

Figure SMS_81
被定义为淬灭单元对,当且仅当
Figure SMS_82
,并且
Figure SMS_83
Figure SMS_84
是水平相邻的。Definition 1: In our work, the unit pair
Figure SMS_81
is defined as a quenching unit pair if and only if
Figure SMS_82
,and
Figure SMS_83
and
Figure SMS_84
are horizontally adjacent.

根据上文分析,发生脉冲窄化效应的基础是存在淬灭单元对,淬灭单元对之间的距离决定了脉冲窄化效应的强弱。详细布局是通过生成尽可能多的淬灭单元对来优化SER。由于每个淬灭单元对中的两个单元需要水平相邻布局,为了避免过多地影响电路性能,我们在移动单元时也考虑了布局位移。因此,我们详细布局的目的是最大化淬灭单元对的数量,同时最小化单元位移。According to the above analysis, the basis for the pulse narrowing effect is the existence of quenching unit pairs, and the distance between the quenching unit pairs determines the strength of the pulse narrowing effect. The detailed layout optimizes the SER by generating as many quenching unit pairs as possible. Since the two units in each quenching unit pair need to be arranged horizontally adjacent to each other, in order to avoid affecting the circuit performance too much, we also consider the layout displacement when moving the unit. Therefore, the purpose of our detailed layout is to maximize the number of quenching unit pairs while minimizing the unit displacement.

具体实施时,可以使用65nm单元库中INV、NAND和NOR三种单元类型进行电路搭建。为了获得输入布局,给定寄存器传输级(Register Transfer Level, 简称RTL)设计,首先由Synopsys Design Compiler工具进行逻辑综合,然后由Cadance Innovus工具生成布局。In specific implementation, the three cell types of INV, NAND and NOR in the 65nm cell library can be used to build the circuit. In order to obtain the input layout, given the Register Transfer Level (RTL) design, the Synopsys Design Compiler tool is first used for logic synthesis, and then the Cadance Innovus tool generates the layout.

步骤2,使用KM算法全局找到输入布局中所有可能的单元对,得到单元配对结果;Step 2, use the KM algorithm to globally find all possible unit pairs in the input layout and obtain the unit pairing results;

进一步的,所述步骤2具体包括:Furthermore, the step 2 specifically includes:

步骤2.1,生成每个单元对应的扇出集合并计算每个单元的敏感度;Step 2.1, generate the fan-out set corresponding to each unit and calculate the sensitivity of each unit;

步骤2.2,使用KM算法将每个单元与其对应的扇出集合中敏感度最高的单元配对,形成单元配对结果。In step 2.2, the KM algorithm is used to pair each unit with the unit with the highest sensitivity in its corresponding fan-out set to form a unit pairing result.

进一步的,所述步骤2.2具体包括:Furthermore, the step 2.2 specifically includes:

Figure SMS_85
Figure SMS_86
分别为单元
Figure SMS_87
和其扇出单元
Figure SMS_88
的输入坐标,并计算单元
Figure SMS_89
和其扇出单元
Figure SMS_90
的配对权值;set up
Figure SMS_85
and
Figure SMS_86
Unit
Figure SMS_87
and its fan-out unit
Figure SMS_88
The input coordinates and calculate the unit
Figure SMS_89
and its fan-out unit
Figure SMS_90
The pairing weight of

构建连接图

Figure SMS_91
,其中
Figure SMS_92
表示扇入单元的集合,
Figure SMS_93
表示扇出单元的集合,
Figure SMS_94
表示连接集;Building a connection graph
Figure SMS_91
,in
Figure SMS_92
represents the set of fan-in units,
Figure SMS_93
represents the set of fan-out units,
Figure SMS_94
Represents a connection set;

调用KM算法对连接图进行全局单元配对,形成单元配对结果。The KM algorithm is called to perform global unit pairing on the connection graph to form a unit pairing result.

进一步的,所述配对权值的计算公式为Furthermore, the calculation formula of the pairing weight is:

Figure SMS_95
Figure SMS_95

Figure SMS_96
Figure SMS_96

其中,

Figure SMS_97
表示敏感度,
Figure SMS_98
Figure SMS_99
均为正参数。in,
Figure SMS_97
Indicates sensitivity,
Figure SMS_98
and
Figure SMS_99
are all positive parameters.

具体实施时,对于每个单元

Figure SMS_100
Figure SMS_101
表示其扇出集合。我们需要选择最佳单元
Figure SMS_102
,并将
Figure SMS_103
Figure SMS_104
放在一起以最终生成单元对。在选择候选
Figure SMS_105
时,将考虑两个因素:In specific implementation, for each unit
Figure SMS_100
,
Figure SMS_101
represents its fan-out set. We need to select the best unit
Figure SMS_102
, and
Figure SMS_103
and
Figure SMS_104
Put together to finally generate a unit pair.
Figure SMS_105
Two factors will be considered:

单元敏感度:单元受到单个离子撞击后对SET的敏感度。敏感度越高,需要屏蔽SET的单元优先级越高。Cell sensitivity: The sensitivity of a cell to SET after being hit by a single ion. The higher the sensitivity, the higher the priority of the cell that needs to be shielded from SET.

距离:两个单元之间的原始距离。为了减少组合成对单元时的位移,它们的原始距离应在一定范围阈值内。Distance: The original distance between two units. To reduce displacement when combining pairs of units, their original distance should be within a certain range threshold.

可以采用的敏感度概念来评估每个单元的抗辐射性能。对于单元

Figure SMS_106
,其敏感度
Figure SMS_107
由公式(1)计算。
Figure SMS_108
(1)The sensitivity concept can be used to evaluate the radiation resistance performance of each unit.
Figure SMS_106
, its sensitivity
Figure SMS_107
Calculated by formula (1).
Figure SMS_108
(1)

其中

Figure SMS_111
表示单元
Figure SMS_114
的输出值为LOW的概率。如上文所述,处于OFF状态的单元的PMOS晶体管对节点电荷收集特别敏感。因此,如果
Figure SMS_116
的值较大,则
Figure SMS_110
容易产生SET
Figure SMS_113
Figure SMS_115
处的SET脉冲传播到电路终端的概率。如果
Figure SMS_117
很高,则说明
Figure SMS_109
很容易产生瞬态脉冲,并可能导致软错误。因此,
Figure SMS_112
接下来的单元重定位过程中,配对单元将水平移动使其彼此靠近,最终形成淬灭单元对。我们方法会同时对所有单元进行配对,使得尽可能多地产生潜在的脉冲窄化效应。in
Figure SMS_111
Representation unit
Figure SMS_114
The probability that the output value is LOW. As mentioned above, the PMOS transistor of the cell in the OFF state is particularly sensitive to node charge collection. Therefore, if
Figure SMS_116
If the value of is large,
Figure SMS_110
Easy to generate SET
Figure SMS_113
yes
Figure SMS_115
The probability that a SET pulse at t will propagate to the circuit terminals.
Figure SMS_117
Very high, it means
Figure SMS_109
Transient pulses are easily generated and may cause soft errors.
Figure SMS_112
In the subsequent unit repositioning process, the paired units will move horizontally to make them close to each other, eventually forming a quenched unit pair. Our method pairs all units simultaneously to maximize the potential pulse narrowing effect.

图4显示了单元配对的示例,其中,(a)表示单元连接关系,(b)表示单元配对过程。单元

Figure SMS_119
只有一个扇出
Figure SMS_121
Figure SMS_124
也只有一个扇入
Figure SMS_120
,我们可以直接将
Figure SMS_122
Figure SMS_125
配对,并在后续单元重定位过程中,将它们彼此水平靠近。当具有多个扇出或扇入单元的情况下,选择具有最高SET敏感度的扇出或扇入进行配对。例如,在图4中,单元
Figure SMS_127
有两个扇入单元,即
Figure SMS_118
Figure SMS_123
,但只有一个扇入可以与
Figure SMS_126
配对,原则上是选择SET脉冲传播到终端概率较高的单元。Figure 4 shows an example of unit pairing, where (a) represents the unit connection relationship and (b) represents the unit pairing process.
Figure SMS_119
Only one fan-out
Figure SMS_121
,
Figure SMS_124
There is only one fan-in
Figure SMS_120
, we can directly
Figure SMS_122
and
Figure SMS_125
Pair them and move them horizontally closer to each other during subsequent cell relocation. When there are multiple fan-out or fan-in cells, the fan-out or fan-in with the highest SET sensitivity is selected for pairing. For example, in Figure 4, the cell
Figure SMS_127
There are two fan-in units, namely
Figure SMS_118
and
Figure SMS_123
, but only one fan-in can be
Figure SMS_126
Pairing, in principle, is to select cells with a higher probability of SET pulses propagating to the terminal.

由于在单元重定位过程中,需要将配对的两个单元布局在一起,因此在对单元进行配对时,我们还应考虑单元距离。否则,它将在后续单元重定位时引起过大的位移,影响电路性能,如线长。Since the two paired cells need to be laid out together during the cell relocation process, we should also consider the cell distance when pairing the cells. Otherwise, it will cause excessive displacement during the subsequent cell relocation, affecting circuit performance such as line length.

这里,我们描述了单元配对时的权重计算。设

Figure SMS_130
Figure SMS_132
分别为
Figure SMS_136
Figure SMS_129
的输入坐标。我们使用
Figure SMS_135
来计算
Figure SMS_138
与其扇出
Figure SMS_140
的配对权值。如公式(2)所示,具有高敏感度和距
Figure SMS_128
较小距离的扇出
Figure SMS_134
,会优选与
Figure SMS_139
配对。公式(2)中的
Figure SMS_141
Figure SMS_131
均为正参数,在我们的实验中,
Figure SMS_133
设置为仿真时输入向量的数目,
Figure SMS_137
;Here, we describe the weight calculation when pairing units.
Figure SMS_130
and
Figure SMS_132
They are
Figure SMS_136
and
Figure SMS_129
We use
Figure SMS_135
To calculate
Figure SMS_138
Instead of fanning out
Figure SMS_140
As shown in formula (2), it has high sensitivity and distance
Figure SMS_128
Fan-out at smaller distances
Figure SMS_134
, will prefer
Figure SMS_139
Pairing. In formula (2)
Figure SMS_141
and
Figure SMS_131
are all positive parameters. In our experiments,
Figure SMS_133
Set to the number of input vectors during simulation,
Figure SMS_137
;

Figure SMS_142
Figure SMS_142

Figure SMS_143
(2)
Figure SMS_143
(2)

可以采用(Kuhn-Munkres)KM算法进行单元的全局配对。首先,我们构建连接图

Figure SMS_145
,其中
Figure SMS_148
表示扇入单元的集合,
Figure SMS_152
表示扇出单元的集合。给定单元
Figure SMS_147
,每个
Figure SMS_151
都存在一条边
Figure SMS_155
。边
Figure SMS_158
上的权重等于
Figure SMS_144
。图4(b)给出了与图4(a)所示网表对应的连接图
Figure SMS_149
的示例及配对结果。扇入单元集合
Figure SMS_153
,扇出单元集合
Figure SMS_157
。连接集
Figure SMS_146
。当建立连接图
Figure SMS_150
时,将调用KM算法来解决单元配对问题。图4(b)显示了配对结果,即
Figure SMS_154
Figure SMS_156
。The (Kuhn-Munkres) KM algorithm can be used for global pairing of units. First, we construct the connection graph
Figure SMS_145
,in
Figure SMS_148
represents the set of fan-in units,
Figure SMS_152
Represents a collection of fan-out cells. Given a cell
Figure SMS_147
, each
Figure SMS_151
There is an edge
Figure SMS_155
.side
Figure SMS_158
The weight on is equal to
Figure SMS_144
Figure 4(b) shows the connection diagram corresponding to the netlist shown in Figure 4(a)
Figure SMS_149
Examples and matching results of Fan-In Unit Collection
Figure SMS_153
, fan-out unit set
Figure SMS_157
. Connection Set
Figure SMS_146
When establishing a connection diagram
Figure SMS_150
When , the KM algorithm will be called to solve the unit pairing problem. Figure 4(b) shows the pairing result, i.e.
Figure SMS_154
and
Figure SMS_156
.

KM配对算法的计算复杂度为

Figure SMS_159
,其中
Figure SMS_160
,而
Figure SMS_161
。为了减少运行时间,我们限制
Figure SMS_162
,即
Figure SMS_163
。如果单元数超过
Figure SMS_164
,KM将被再次调用,直到单元配对全部完成。The computational complexity of the KM pairing algorithm is
Figure SMS_159
,in
Figure SMS_160
,and
Figure SMS_161
To reduce the running time, we limit
Figure SMS_162
,Right now
Figure SMS_163
If the number of units exceeds
Figure SMS_164
, KM will be called again until all unit pairings are completed.

在KM配对结果中,每个单元

Figure SMS_165
可最多会被配对两次,如作为配对中的驱动单元,或作为配对中的扇出单元。如图5所示,
Figure SMS_166
被配对两次,一次作为
Figure SMS_167
的扇出,一次为
Figure SMS_168
的驱动。在我们的配对方法中,如果一个单元被配对两次,即一次作为驱动,一次作为扇出,则这两对可以合并为一个组合。图5给出了一个示例,配对结果
Figure SMS_169
Figure SMS_170
可以合并为一个组合
Figure SMS_171
,同时,在一个单元被配对两次时,可以设定距离阈值,然后根据单元间的阈值选择更合适的单元进行配对。In the KM pairing results, each unit
Figure SMS_165
It can be paired up to twice, such as as a driver unit in a pair, or as a fan-out unit in a pair. As shown in Figure 5,
Figure SMS_166
Paired twice, once as
Figure SMS_167
The fan-out is
Figure SMS_168
In our pairing method, if a cell is paired twice, once as a driver and once as a fan-out, the two pairs can be merged into one combination. Figure 5 shows an example of the pairing result.
Figure SMS_169
,
Figure SMS_170
Can be combined into a combination
Figure SMS_171
,At the same time, when a unit is paired twice, a distance threshold can be set, and then a more appropriate unit can be selected for pairing based on the threshold between units.

步骤3,根据单元配对结果,生成组合单元,并根据原始单元信息计算组合单元的初始位置和大小;Step 3, generating a combined unit according to the unit pairing result, and calculating the initial position and size of the combined unit according to the original unit information;

在上述实施例的基础上,所述步骤3具体包括:Based on the above embodiment, step 3 specifically includes:

根据已有的原始单元信息和位移驱动问题描述为Based on the existing original unit information and displacement driven problem, it can be described as

Figure SMS_172
Figure SMS_172

并根据预设条件改写为布局问题;and rewrite it as a layout problem based on the preset conditions;

推理组合单元的初始信息,对于集成单元

Figure SMS_173
,其宽度和初始坐标计算如下:The initial information of the reasoning combination unit, for the integrated unit
Figure SMS_173
, whose width and initial coordinates are calculated as follows:

Figure SMS_175
其中,
Figure SMS_178
Figure SMS_179
,分别表示
Figure SMS_176
单元的宽度和初始左下角坐标,相应地,对于子单元
Figure SMS_177
Figure SMS_180
Figure SMS_181
分别表示
Figure SMS_174
的宽度和初始左下角坐标。
Figure SMS_175
in,
Figure SMS_178
and
Figure SMS_179
, respectively
Figure SMS_176
The width and initial lower left corner coordinate of the cell, and accordingly, for the child cells
Figure SMS_177
,
Figure SMS_180
and
Figure SMS_181
Respectively
Figure SMS_174
The width and initial lower left corner coordinates.

具体实施时,基于单元配对结果,我们进行单元重定位以最终产生淬灭对,实现脉冲窄化效应增强。单元重定位流程如图6所示。为了减少移动单元对造成的性能影响,将单元重定位过程的目标设置为位移最小化。给定芯片布局区域和标准单元集合

Figure SMS_182
,其中每个单元具有宽度
Figure SMS_183
和统一高度,单元重定位问题可以用公式(3)表示;In the specific implementation, based on the cell pairing results, we reposition the cells to finally generate quenching pairs to achieve enhanced pulse narrowing effect. The cell repositioning process is shown in Figure 6. In order to reduce the performance impact caused by moving cell pairs, the goal of the cell repositioning process is set to minimize displacement. Given a chip layout area and a standard cell set
Figure SMS_182
, where each cell has width
Figure SMS_183
and uniform height, the unit relocation problem can be expressed by formula (3);

Figure SMS_184
Figure SMS_184

Figure SMS_185
(3)
Figure SMS_185
(3)

其中,

Figure SMS_193
Figure SMS_188
分别是单元
Figure SMS_196
的原始左下角坐标和重定位后左下角坐标。每个单元
Figure SMS_190
与行
Figure SMS_199
对齐,即
Figure SMS_192
Figure SMS_200
是第
Figure SMS_191
行的底部
Figure SMS_202
坐标。行中的单元按其
Figure SMS_186
坐标排序,即如果单元
Figure SMS_197
位于
Figure SMS_189
的右侧,则
Figure SMS_198
。所有单元必须布局在芯片区域内,即,对于行
Figure SMS_194
中的单元,其
Figure SMS_201
坐标不能超过
Figure SMS_187
,即行
Figure SMS_195
的右边界。in,
Figure SMS_193
and
Figure SMS_188
The units are
Figure SMS_196
The original lower left corner coordinates and the lower left corner coordinates after relocation. Each unit
Figure SMS_190
With line
Figure SMS_199
Alignment, i.e.
Figure SMS_192
,
Figure SMS_200
It is
Figure SMS_191
Bottom of the row
Figure SMS_202
Coordinates. The cells in a row are grouped by their
Figure SMS_186
Coordinate sorting, that is, if the unit
Figure SMS_197
lie in
Figure SMS_189
On the right side,
Figure SMS_198
All cells must be placed within the chip area, i.e., for rows
Figure SMS_194
The unit in
Figure SMS_201
Coordinates cannot exceed
Figure SMS_187
, that is
Figure SMS_195
right border of .

在实现中,假设每个单元都与其原始行直接对齐,即

Figure SMS_203
Figure SMS_204
。如果进一步暂时放宽对单元超出其所在行右边界的约束,则公式(3)可以重写为公式(4);In the implementation, it is assumed that each cell is directly aligned with its original row, i.e.
Figure SMS_203
,
Figure SMS_204
If we further temporarily relax the constraint that the cell exceeds the right boundary of its row, then formula (3) can be rewritten as formula (4);

Figure SMS_205
Figure SMS_205

Figure SMS_206
(4)
Figure SMS_206
(4)

其中,

Figure SMS_209
是所有单元水平方向坐标向量,
Figure SMS_211
是单位矩阵,
Figure SMS_213
是每个元素
Figure SMS_208
的向量,
Figure SMS_210
是单元左右水平相邻关系的约束矩阵,
Figure SMS_212
中每行中只有两个非零元素-1和1,
Figure SMS_214
的行数是单元水平方向的左右约束数目,
Figure SMS_207
的列数是单元数。in,
Figure SMS_209
is the horizontal coordinate vector of all units,
Figure SMS_211
is the identity matrix,
Figure SMS_213
Each element
Figure SMS_208
The vector of
Figure SMS_210
is the constraint matrix of the horizontal adjacent relationship of the unit.
Figure SMS_212
There are only two non-zero elements in each row of
Figure SMS_214
The number of rows is the number of left and right constraints in the horizontal direction of the cell.
Figure SMS_207
The number of columns is the number of cells.

为了产生脉冲窄化效应,配对的逻辑相关单元必须水平布局,彼此靠近。在单元重定位过程中,一对或多对淬灭单元对内的单元形成组合单元,以确保在重定位之后,同一对或者同一组中的单元彼此靠近。图7给出了组合单元的示例。给定两个配对的单元对

Figure SMS_215
Figure SMS_216
,它们可以合并为集成单元
Figure SMS_217
。为了产生脉冲窄化效应,集成单元宽度和初始坐标是根据其内部单元初始坐标计算的。In order to produce the pulse narrowing effect, paired logically related cells must be laid out horizontally and close to each other. During the cell relocation process, cells within one or more pairs of quenching cells are combined to ensure that after relocation, cells in the same pair or group are close to each other. Figure 7 shows an example of a combined cell. Given two paired cell pairs
Figure SMS_215
,
Figure SMS_216
, they can be combined into integrated units
Figure SMS_217
To generate the pulse narrowing effect, the integrated cell width and initial coordinates are calculated based on their internal cell initial coordinates.

对于组合单元

Figure SMS_218
,其中子单元
Figure SMS_219
的宽度和初始坐标分别为
Figure SMS_220
和,
Figure SMS_221
Figure SMS_222
的宽度和初始坐标根据公式(5)设置;For combined units
Figure SMS_218
, where the subunit
Figure SMS_219
The width and initial coordinates are
Figure SMS_220
and,
Figure SMS_221
but
Figure SMS_222
The width and initial coordinates of are set according to formula (5);

Figure SMS_223
(5)
Figure SMS_223
(5)

其中,宽度

Figure SMS_225
是组合单元
Figure SMS_228
中所有子单元的宽度之和,初始
Figure SMS_229
坐标
Figure SMS_226
设置为
Figure SMS_227
内部子单元的中值
Figure SMS_230
坐标。但初始
Figure SMS_231
坐标
Figure SMS_224
的计算更复杂,以下给出具体计算推理。Among them, the width
Figure SMS_225
It is a combined unit
Figure SMS_228
The sum of the widths of all subunits in the initial
Figure SMS_229
coordinate
Figure SMS_226
Set to
Figure SMS_227
The median value of the internal subunit
Figure SMS_230
coordinates. But the initial
Figure SMS_231
coordinate
Figure SMS_224
The calculation of is more complicated, and the specific calculation reasoning is given below.

对于t=2的情况,即

Figure SMS_232
。在单元重定位后,我们得到
Figure SMS_233
Figure SMS_234
。根据公式(3)的目的,组合单元
Figure SMS_235
的初始坐标
Figure SMS_236
可以由公式(6)导出;For the case of t=2, that is,
Figure SMS_232
After cell relocation, we get
Figure SMS_233
and
Figure SMS_234
According to the purpose of formula (3), the combined unit
Figure SMS_235
The initial coordinates of
Figure SMS_236
It can be derived from formula (6);

Figure SMS_237
(6)
Figure SMS_237
(6)

对于多个单元形成组合单元,即t > 2的情况,

Figure SMS_240
,其中
Figure SMS_241
,我们有
Figure SMS_244
t
Figure SMS_239
,
Figure SMS_242
,
Figure SMS_243
。类似地,组合单元
Figure SMS_245
的初始坐标
Figure SMS_238
可以通过公式(7)导出;For multiple units forming a combined unit, that is, when t > 2,
Figure SMS_240
,in
Figure SMS_241
, we have
Figure SMS_244
t and
Figure SMS_239
,
Figure SMS_242
,
Figure SMS_243
Similarly, the combined unit
Figure SMS_245
The initial coordinates of
Figure SMS_238
It can be derived by formula (7);

Figure SMS_246
(7)
Figure SMS_246
(7)

步骤4,基于所有单元的初始位置,计算考虑位移的单元重定位,得到满足淬灭效应的淬灭单元对;Step 4, based on the initial positions of all units, calculate the unit relocation considering the displacement to obtain the quenching unit pair that satisfies the quenching effect;

进一步的,所述步骤4具体包括:Furthermore, the step 4 specifically includes:

步骤4.1,将组合单元和未配对单元通过布局问题对应的公式进行单元重定位,建模线性互补问题并给定组合单元和未配对单元的单元信息和连接关系网表,构建线性互补问题数据结构;Step 4.1, relocate the combined cells and the unpaired cells by using the formula corresponding to the layout problem, model the linear complementarity problem, and construct the linear complementarity problem data structure by giving the cell information and connection relationship netlist of the combined cells and the unpaired cells;

步骤4.2,通过两步扫描策略压缩线性互补问题数据结构构建其对应的约束矩阵,并应用基于模的矩阵分裂迭代法求解线性互补问题;Step 4.2, compressing the linear complementarity problem data structure through a two-step scanning strategy to construct its corresponding constraint matrix, and applying the module-based matrix splitting iteration method to solve the linear complementarity problem;

步骤4.3,根据求解结果得到重定位后的单元坐标,并将其进行整数化得到包括组合单元在内的全部单元的合法位置,将成功布局后的组合单元中的原始相邻单元对作为淬灭单元对。Step 4.3, according to the solution result, the relocated unit coordinates are obtained, and they are integerized to obtain the legal positions of all units including the combined unit, and the original adjacent unit pairs in the successfully laid out combined unit are used as quenched unit pairs.

进一步的,所述所述布局问题的表达式为Furthermore, the expression of the layout problem is:

Figure SMS_247
Figure SMS_247

Figure SMS_248
Figure SMS_248

其中,

Figure SMS_250
是所有单元水平方向坐标向量,
Figure SMS_253
是单位矩阵,
Figure SMS_256
是每个元素
Figure SMS_251
的向量,
Figure SMS_254
是单元左右水平相邻关系的约束矩阵,
Figure SMS_257
中每行中只有两个非零元素-1和1,
Figure SMS_258
的行数是单元水平方向的左右约束数目,
Figure SMS_249
的列数是单元数,向量
Figure SMS_252
中每个元素对应矩阵
Figure SMS_255
每行左右水平相邻约束中左边单元的宽度。in,
Figure SMS_250
is the horizontal coordinate vector of all units,
Figure SMS_253
is the identity matrix,
Figure SMS_256
Each element
Figure SMS_251
The vector of
Figure SMS_254
is the constraint matrix of the horizontal adjacent relationship of the unit.
Figure SMS_257
There are only two non-zero elements in each row of
Figure SMS_258
The number of rows is the number of left and right constraints in the horizontal direction of the cell.
Figure SMS_249
The number of columns is the number of cells, and the vector
Figure SMS_252
Each element in the matrix
Figure SMS_255
The width of the left cell in the horizontal adjacent constraints on each row.

进一步的,所述通过两步扫描策略压缩线性互补问题数据结构构建其对应的约束矩阵

Figure SMS_259
的步骤包括:Furthermore, the two-step scanning strategy is used to compress the linear complementarity problem data structure to construct its corresponding constraint matrix
Figure SMS_259
The steps include:

当从左到右扫描一行内的单元时,首先将奇数位置的单元与其右相邻单元组成相邻约束;When scanning cells in a row from left to right, first form neighbor constraints between cells in odd positions and their right adjacent cells;

在第一步扫描之后,开始第二步扫描,在偶数位置添加单元与其右相邻单元的相邻约束。After the first scan, the second scan begins, adding neighbor constraints between the cell and its right neighbor at even positions.

具体实施时,在集成单元初始化之后,集成单元和未配对单元将通过求解公式(4)中所述的布局问题进行单元重定位。为了减少单元重定位后的电路性能退化,在单元重定位期间考虑了单元与初始坐标间的位移。位移驱动的单元移动问题被建模为线性互补问题(LCP)。给定所有单元包括集成单元和未配对单元信息,以及它们之间的连接关系网表,可以构建LCP数据结构。在数据构建之后,可以应用基于模的矩阵分裂迭代法(MMSIM)来求解LCP问题。最后,我们根据MMSIM结果得到重定位后的单元坐标。In specific implementation, after the integrated cell is initialized, the integrated cell and the unpaired cell will be relocated by solving the layout problem described in formula (4). In order to reduce the circuit performance degradation after the cell relocation, the displacement between the cell and the initial coordinates is considered during the cell relocation. The displacement-driven cell movement problem is modeled as a linear complementary problem (LCP). Given the information of all cells including integrated cells and unpaired cells, as well as the connection relationship netlist between them, the LCP data structure can be constructed. After the data is constructed, the modular matrix splitting iteration method (MMSIM) can be applied to solve the LCP problem. Finally, we get the coordinates of the relocated cells based on the MMSIM results.

公式(4)中的目标函数可以建模为LCP,并通过MMSIM来求解。MMSIM的迭代过程如公式(8)所示,其中单元的水平方向坐标存储在向量

Figure SMS_260
中。向量
Figure SMS_261
可以通过向量
Figure SMS_262
计算。对于每次迭代
Figure SMS_263
,基于向量
Figure SMS_264
,可以获得向量
Figure SMS_265
。MMSIM过程经过多次迭代直到
Figure SMS_266
时完成;The objective function in formula (4) can be modeled as LCP and solved by MMSIM. The iterative process of MMSIM is shown in formula (8), where the horizontal coordinates of the unit are stored in the vector
Figure SMS_260
In. Vector
Figure SMS_261
Through the vector
Figure SMS_262
Calculate. For each iteration
Figure SMS_263
, based on vector
Figure SMS_264
, we can get the vector
Figure SMS_265
The MMSIM process goes through multiple iterations until
Figure SMS_266
Completed when

Figure SMS_267
(8)
Figure SMS_267
(8)

其中,

Figure SMS_272
是迭代次数,向量
Figure SMS_270
Figure SMS_279
和矩阵
Figure SMS_269
Figure SMS_278
Figure SMS_276
的计算由公式(9)给出。其中,
Figure SMS_282
Figure SMS_273
Figure SMS_280
出现在公式(4)中,矩阵
Figure SMS_268
在MMSIM中被拆分为
Figure SMS_277
Figure SMS_275
是矩阵
Figure SMS_281
的Schur补码
Figure SMS_274
的三对角近似。
Figure SMS_283
Figure SMS_271
都是正常数,在我们的实现中设置都为0.5。前人工作给出了MMSIM的数据构造和证明过程;in,
Figure SMS_272
is the number of iterations, the vector
Figure SMS_270
,
Figure SMS_279
and matrix
Figure SMS_269
,
Figure SMS_278
and
Figure SMS_276
The calculation of is given by formula (9). Where,
Figure SMS_282
,
Figure SMS_273
and
Figure SMS_280
Appearing in formula (4), the matrix
Figure SMS_268
In MMSIM, it is divided into
Figure SMS_277
,
Figure SMS_275
is a matrix
Figure SMS_281
Schur complement
Figure SMS_274
The tridiagonal approximation of .
Figure SMS_283
and
Figure SMS_271
They are all positive numbers, and are set to 0.5 in our implementation. Previous work has given the data construction and proof process of MMSIM;

Figure SMS_284
Figure SMS_284

Figure SMS_285
(9)
Figure SMS_285
(9)

在求解LCP后,由于计算的坐标为连续浮点型,我们需要将单元与最近的合法位置对齐。集成单元内部子单元也需要还原,并布局在水平相邻位置。由于在公式(4)中,行的右边界约束被放松,如果MMSIM结果中,出现单元重叠或单位位置超过行的右边界,则这些单元的位置是非法的。由于在实践中,非法单元的数量非常少,我们可以直接找到最近的合法位置将其布局即可。After solving the LCP, since the calculated coordinates are continuous floating point types, we need to align the cells with the nearest legal position. The sub-cells inside the integrated cell also need to be restored and laid out in horizontally adjacent positions. Since the right boundary constraint of the row is relaxed in formula (4), if there is cell overlap or the unit position exceeds the right boundary of the row in the MMSIM result, the position of these cells is illegal. Since in practice, the number of illegal cells is very small, we can directly find the nearest legal position and lay it out.

如公式(8)所示,通过使用MMSIM求解LCP的过程中,每次迭代

Figure SMS_287
都需要利用
Figure SMS_291
的逆矩阵求出
Figure SMS_293
。根据公式(9)所示,因为
Figure SMS_288
的每个部分都是稀疏矩阵,其中:(1)矩阵
Figure SMS_290
为对角矩阵,(2)矩阵
Figure SMS_292
每行只有两个非零元素,即-1和1,(3)矩阵
Figure SMS_295
为三对角矩阵,所以可以判断M是稀疏矩阵。同样地,
Figure SMS_286
也是稀疏矩阵,
Figure SMS_289
可以使用高斯消元法计算,但是
Figure SMS_294
可能不是稀疏矩阵,其非零元素的个数可能很大。如果
Figure SMS_296
不是稀疏矩阵,它将极大地影响存储和计算的可扩展性。As shown in formula (8), in the process of solving LCP using MMSIM, each iteration
Figure SMS_287
Need to use
Figure SMS_291
Find the inverse matrix of
Figure SMS_293
According to formula (9), because
Figure SMS_288
Each part of is a sparse matrix, where: (1) the matrix
Figure SMS_290
is a diagonal matrix, (2) the matrix
Figure SMS_292
Each row has only two non-zero elements, namely -1 and 1. (3) The matrix
Figure SMS_295
is a tridiagonal matrix, so we can judge that M is a sparse matrix. Similarly,
Figure SMS_286
is also a sparse matrix,
Figure SMS_289
It can be calculated using Gaussian elimination, but
Figure SMS_294
may not be a sparse matrix and the number of its nonzero elements may be large.
Figure SMS_296
Not a sparse matrix, which will greatly affect the scalability of storage and computation.

图8给出了一个示例,一行中有六个单元

Figure SMS_298
,根据单元初始坐标得到向量
Figure SMS_300
。其相邻的关系为:
Figure SMS_304
。根据相邻关系顺序,对应的向量
Figure SMS_299
,图8 (a)给出了对应的矩阵
Figure SMS_302
,和
Figure SMS_305
。基于矩阵
Figure SMS_307
Figure SMS_297
,我们可以获得矩阵
Figure SMS_301
,并计算其逆矩阵
Figure SMS_303
。然而,矩阵
Figure SMS_306
不是稀疏矩阵。Figure 8 shows an example where there are six cells in a row.
Figure SMS_298
, according to the initial coordinates of the unit, we get the vector
Figure SMS_300
. The adjacent relationship is:
Figure SMS_304
According to the order of adjacent relations, the corresponding vector
Figure SMS_299
, Figure 8 (a) shows the corresponding matrix
Figure SMS_302
,and
Figure SMS_305
. Based on the matrix
Figure SMS_307
and
Figure SMS_297
, we can obtain the matrix
Figure SMS_301
, and calculate its inverse matrix
Figure SMS_303
However, the matrix
Figure SMS_306
is not a sparse matrix.

本实施例给出了构造矩阵

Figure SMS_308
的有效方法,可以确保
Figure SMS_309
成为稀疏矩阵。该方法主要考察矩阵
Figure SMS_310
中的子矩阵
Figure SMS_311
构造。为了使三对角矩阵
Figure SMS_312
成为对角矩阵,矩阵
Figure SMS_313
应该修改构建方法。This embodiment provides a construction matrix
Figure SMS_308
An effective method to ensure
Figure SMS_309
Become a sparse matrix. This method mainly examines the matrix
Figure SMS_310
The submatrix in
Figure SMS_311
In order to make the tridiagonal matrix
Figure SMS_312
becomes a diagonal matrix, the matrix
Figure SMS_313
The build method should be modified.

由于

Figure SMS_318
的每一行中只有两个非零元素,即1和-1,并且
Figure SMS_321
,假设
Figure SMS_327
Figure SMS_319
的第
Figure SMS_324
行,我们分别有
Figure SMS_329
Figure SMS_335
Figure SMS_315
。为了使得
Figure SMS_322
是对角矩阵,
Figure SMS_326
Figure SMS_332
都应为0。其中,对于
Figure SMS_320
,如果行
Figure SMS_328
中非零元素的位置与行
Figure SMS_333
中的位置不同,则我们得到
Figure SMS_337
。类似地,如果行
Figure SMS_314
中的非零元素的位置与行
Figure SMS_323
中的位置不同,则我们得到
Figure SMS_330
。如果
Figure SMS_334
Figure SMS_316
,三对角矩
Figure SMS_325
将退化为对角矩阵。因此,在构建矩阵B时,我们需要确保每个个
Figure SMS_331
Figure SMS_336
Figure SMS_317
的非零元素具有不同的位置。because
Figure SMS_318
There are only two non-zero elements in each row of
Figure SMS_321
, assuming
Figure SMS_327
yes
Figure SMS_319
No.
Figure SMS_324
OK, we have
Figure SMS_329
Figure SMS_335
,
Figure SMS_315
In order to make
Figure SMS_322
is a diagonal matrix,
Figure SMS_326
and
Figure SMS_332
should all be 0.
Figure SMS_320
, if the line
Figure SMS_328
The positions and rows of non-zero elements in
Figure SMS_333
If the positions in are different, we get
Figure SMS_337
. Similarly, if the line
Figure SMS_314
The positions of the non-zero elements in the row
Figure SMS_323
If the positions in are different, we get
Figure SMS_330
.if
Figure SMS_334
,
Figure SMS_316
, three diagonal moments
Figure SMS_325
will degenerate into a diagonal matrix. Therefore, when constructing the matrix B, we need to ensure that each
Figure SMS_331
and
Figure SMS_336
,
Figure SMS_317
The non-zero elements of have different positions.

图8给出了一个示例来说明

Figure SMS_340
的构建过程。如图8(a)所示,我们按顺序给出相邻单元约束:
Figure SMS_342
。为了使
Figure SMS_346
为稀疏矩阵,即每个
Figure SMS_341
Figure SMS_345
Figure SMS_348
的非零元素应该具有不同的位置,我们在构建
Figure SMS_350
时改变了相邻单元的顺序:
Figure SMS_338
。由于相邻关系不变,因此不会改变单元相邻约束条件。根据相邻关系顺序,对应的向量
Figure SMS_343
,相应的矩阵
Figure SMS_347
和矩阵
Figure SMS_349
如图8 (b)所示。可以看出,三对角矩阵
Figure SMS_339
退化为对角矩阵。因此,与图8(a)相比,我们得到的
Figure SMS_344
是稀疏矩阵。为了区别于图8(a)中的顺序扫描策略,我们将图8(b)中的矩阵构建方法称为两步扫描策略。Figure 8 shows an example to illustrate
Figure SMS_340
As shown in Figure 8(a), we give the adjacent unit constraints in sequence:
Figure SMS_342
In order to make
Figure SMS_346
is a sparse matrix, that is, each
Figure SMS_341
and
Figure SMS_345
,
Figure SMS_348
The non-zero elements of should have different positions.
Figure SMS_350
, which changes the order of adjacent cells:
Figure SMS_338
Since the adjacent relationship remains unchanged, the cell adjacent constraint will not be changed. According to the order of adjacent relationship, the corresponding vector
Figure SMS_343
, the corresponding matrix
Figure SMS_347
and matrix
Figure SMS_349
As shown in Figure 8 (b), it can be seen that the tridiagonal matrix
Figure SMS_339
degenerates into a diagonal matrix. Therefore, compared with Figure 8(a), we get
Figure SMS_344
is a sparse matrix. To distinguish it from the sequential scanning strategy in Figure 8(a), we call the matrix construction method in Figure 8(b) a two-step scanning strategy.

将这两种单元扫描策略总结如下:The two unit scanning strategies are summarized as follows:

顺序扫描:假设单元

Figure SMS_351
在单元
Figure SMS_352
的左侧,
Figure SMS_353
为右相邻单元,即
Figure SMS_354
。通常,我们可以默认从左向右扫描单元行,并逐个为矩阵
Figure SMS_355
中的每对相邻单元
Figure SMS_356
添加约束。Sequential Scan: Assumption Unit
Figure SMS_351
In the unit
Figure SMS_352
On the left side,
Figure SMS_353
is the right adjacent unit, that is
Figure SMS_354
. Usually, we can default to scanning the cell rows from left to right and one by one for the matrix
Figure SMS_355
Each pair of adjacent cells in
Figure SMS_356
Add constraints.

两步扫描:当从左到右扫描一行内的单元时,我们首先将奇数位置的单元与其右相邻单元组成相邻约束。在第一步扫描之后,我们开始第二步扫描,在偶数位置添加单元与其右相邻单元的相邻约束。Two-step scan: When scanning cells in a row from left to right, we first form neighbor constraints between cells in odd positions and their right neighbors. After the first scan, we start the second scan, adding neighbor constraints between cells in even positions and their right neighbors.

通过两步扫描策略,可以有效降低

Figure SMS_357
的复杂性,从而提高算法可扩展性。在我们的两步扫描策略下,每行的非零元素数为3;而在顺序扫描策略下每行的非零元素数量与每行单元数目RowCC成正比。因此,两步扫描策略下的矩阵压缩比CompRatio如公式(10)所示。当电路规模越大,每行布局的单元越多,压缩比越高。实验表明两种扫描策略的结果最大差异小于
Figure SMS_358
。由于布局坐标需要四舍五入为整数,这两种扫描策略之间的差异可以忽略不计,这意味着我们的两步扫描策略可以在单元重定位过程中提供无损数据压缩;Through the two-step scanning strategy, it can effectively reduce
Figure SMS_357
The complexity of the algorithm is reduced, thereby improving the scalability of the algorithm. Under our two-step scanning strategy, the number of non-zero elements in each row is 3; while under the sequential scanning strategy, the number of non-zero elements in each row is proportional to the number of cells in each row RowCC. Therefore, the matrix compression ratio CompRatio under the two-step scanning strategy is shown in formula (10). When the circuit scale is larger, the more cells are laid out in each row, and the higher the compression ratio. Experiments show that the maximum difference in the results of the two scanning strategies is less than
Figure SMS_358
Since the layout coordinates need to be rounded to integers, the difference between the two scanning strategies is negligible, which means that our two-step scanning strategy can provide lossless data compression during cell relocation;

Figure SMS_359
(10)
Figure SMS_359
(10)

使用MMSIM求解LCP,每次迭代

Figure SMS_361
的计算复杂度为
Figure SMS_365
。这是因为公式(8)和(9)中的所有矩阵,即
Figure SMS_366
Figure SMS_362
Figure SMS_364
Figure SMS_368
Figure SMS_369
,都是具有
Figure SMS_360
个非零元素的稀疏矩阵,矩阵向量乘法、矩阵加法/减法和向量运算的所有复杂度都是
Figure SMS_363
。此外,在两步扫描策略下,
Figure SMS_367
计算的复杂度也是
Figure SMS_370
。最后,实验表明所有测试用例的MMSIM迭代次数约为1000-2000次。Using MMSIM to solve the LCP, each iteration
Figure SMS_361
The computational complexity is
Figure SMS_365
This is because all matrices in formulas (8) and (9), namely
Figure SMS_366
,
Figure SMS_362
,
Figure SMS_364
,
Figure SMS_368
and
Figure SMS_369
, all have
Figure SMS_360
For a sparse matrix with non-zero elements, all complexities of matrix-vector multiplication, matrix addition/subtraction, and vector operations are
Figure SMS_363
In addition, under the two-step scanning strategy,
Figure SMS_367
The computational complexity is also
Figure SMS_370
Finally, experiments show that the number of MMSIM iterations for all test cases is about 1000-2000.

步骤5,在考虑淬灭单元对情况下,利用预设操作进一步优化线长,其中,预设操作包括单元交换操作和单元插入操作,最终生成优化布局结果;Step 5, taking into account the quenching unit pair, further optimizing the line length by using the preset operation, wherein the preset operation includes a unit exchange operation and a unit insertion operation, and finally generating an optimized layout result;

具体实施时,在单元重定位后,可以使用单元交换、插入等操作进一步优化线长HPWL,同时保证已经产生的淬灭单元对不会分开,从而得到初始布局结果。在得到初始布局结果后,可以判断初始布局结果中的线长是否收敛,若是,则生成优化布局结果,若否,则返回步骤4再次进行优化。In specific implementation, after the cell is relocated, operations such as cell exchange and insertion can be used to further optimize the line length HPWL, while ensuring that the quenching cell pairs that have been generated will not be separated, thereby obtaining the initial layout result. After obtaining the initial layout result, it can be determined whether the line length in the initial layout result converges. If so, an optimized layout result is generated. If not, return to step 4 for optimization again.

本实施例提供的考虑脉冲窄化的软错误布局优化方法,通过在布局时考虑淬灭效应增强来优化软错误率,可以在不引入任何硬件惩罚的情况下减轻电路中的软错误生成,通过设置布局算法在布局期间动态配对单元,之后全局一次性将所有单元配对,并在后续单元重定位过程中,对它们进行全局重定位,增强了相邻逻辑相关单元之间的淬灭效应,提高了优化效率和淬灭效应增强性能。The soft error layout optimization method considering pulse narrowing provided in this embodiment optimizes the soft error rate by considering the quenching effect enhancement during layout, and can reduce the soft error generation in the circuit without introducing any hardware penalty. By setting the layout algorithm to dynamically pair cells during layout, all cells are then globally paired at one time, and they are globally relocated during subsequent cell relocation processes, the quenching effect between adjacent logically related cells is enhanced, thereby improving the optimization efficiency and the quenching effect enhancement performance.

下面将结合一个实施例对本方案进行说明,在实验中,可以采用C++实现详细布局方法,编译工具为g++4.4.7,程序在Linux工作站上运行,该工作站使用2.20GHz IntelXeon CPU和32GB RAM,使用单个CPU内核。我们使用ISCAS-85测试用例进行布局性能评估。输入ISCAS-85测试用例的RTL代码,基于65nm单元库,采用Synopsys Design Compiler进行逻辑综合,其中单元库仅使用INV、NAND和NOR三种单元类型。然后,综合后的网表采用Cadance Innovus工具生成初始布局。我们采用混合模式分析工具(MMAT)用于评估SER性能。表1给出了ISCAS-85测试用例信息;The following will illustrate this solution with reference to an embodiment. In the experiment, C++ can be used to implement the detailed layout method. The compilation tool is g++4.4.7. The program runs on a Linux workstation that uses a 2.20GHz IntelXeon CPU and 32GB RAM, using a single CPU core. We use the ISCAS-85 test case to evaluate the layout performance. The RTL code of the ISCAS-85 test case is input, and the logic synthesis is performed using Synopsys Design Compiler based on the 65nm cell library, in which the cell library only uses three cell types: INV, NAND, and NOR. Then, the synthesized netlist uses the Cadance Innovus tool to generate the initial layout. We use the mixed mode analysis tool (MMAT) to evaluate the SER performance. Table 1 gives the ISCAS-85 test case information;

Figure SMS_371
Figure SMS_371

采用MMAT工具对SER评估。该工具采用65nm双阱工艺单元库中的器件,使用基于网格的3D TCAD模拟方法得到离子撞击的SET脉冲宽度,3D TCAD模型最终会校准以匹配SPICEI-V曲线;The MMAT tool is used to evaluate the SER. The tool uses devices from the 65nm dual-well process cell library and uses a grid-based 3D TCAD simulation method to obtain the SET pulse width of the ion impact. The 3D TCAD model will eventually be calibrated to match the SPICEI-V curve;

Figure SMS_372
Figure SMS_372

表2列出了模拟配置。对于每个测试用例,我们模拟10000次随机激励向量。对于每个随机激励向量,使用Verilog仿真器模拟网表的行为,将瞬态脉冲注入逻辑门。然后,通过MMAT模拟脉冲的传播。最后,在电路的每个输出端捕获瞬态脉冲宽度及其分布。MMAT的输出包括SER和瞬态脉冲宽度分布。Table 2 lists the simulation configuration. For each test case, we simulated 10,000 random stimulus vectors. For each random stimulus vector, the behavior of the netlist was simulated using a Verilog simulator to inject transient pulses into the logic gates. Then, the propagation of the pulses was simulated by MMAT. Finally, the transient pulse width and its distribution were captured at each output of the circuit. The output of MMAT includes SER and transient pulse width distribution.

为了定量测量组合电路中的软错误敏感度,我们采用了软错误敏感因子(SEVF)进行研究。对于每个单元

Figure SMS_373
,其
Figure SMS_374
,计算如公式(11)所示;In order to quantitatively measure the soft error sensitivity in combinational circuits, we use the soft error sensitivity factor (SEVF) for investigation.
Figure SMS_373
,That
Figure SMS_374
, calculated as shown in formula (11);

Figure SMS_375
(11)
Figure SMS_375
(11)

其中

Figure SMS_376
是模拟输入向量的数目,
Figure SMS_377
是当
Figure SMS_378
的漏极区域被击中时,
Figure SMS_379
在输入向量
Figure SMS_380
下产生SET脉冲的概率,
Figure SMS_381
是SET脉冲在输入向量
Figure SMS_382
下传播到电路输出端的概率。in
Figure SMS_376
is the number of simulated input vectors,
Figure SMS_377
When
Figure SMS_378
The drain region is hit when
Figure SMS_379
In the input vector
Figure SMS_380
The probability of generating a SET pulse under
Figure SMS_381
is the SET pulse in the input vector
Figure SMS_382
The probability of propagating to the output of the circuit.

整个电路

Figure SMS_383
的SEVF可以通过对所有
Figure SMS_384
求和来获得,如公式(12)所示;The whole circuit
Figure SMS_383
The SEVF can be
Figure SMS_384
The sum is obtained as shown in formula (12);

Figure SMS_385
(12)
Figure SMS_385
(12)

Figure SMS_386
Figure SMS_386

表3对比了输入布局和我们的工作Ours在脉冲窄化效应和SER的优化性能。CircuitSEVF列显示了电路的软错误评估值,淬灭单元数目列表示处于淬灭单元对的单元数量,脉冲窄化事件次数列表示使用10000个随机激励向量进行模拟期间脉冲窄化效应的发生次数,CPU(s)是以秒为单位的运行时间。可以看出,我们方法的CircuitSEVF平均减少了29.66%, 淬灭单元个数和脉冲窄化事件次数的都有较大优化。对于所有测试用例,Ours的运行时间都小于0.2秒。其中运行时间开销主要来自LCP求解过程。Table 3 compares the optimization performance of the input layout and our work Ours in terms of pulse narrowing effect and SER. The CircuitSEVF column shows the soft error evaluation value of the circuit, the Quenching Unit Number column shows the number of units in the quenching unit pair, the Pulse Narrowing Event Number column shows the number of pulse narrowing effects during the simulation using 10,000 random excitation vectors, and CPU(s) is the running time in seconds. It can be seen that the CircuitSEVF of our method is reduced by an average of 29.66%, and the number of quenching units and the number of pulse narrowing events are greatly optimized. For all test cases, the running time of Ours is less than 0.2 seconds. The running time overhead mainly comes from the LCP solution process.

表4列出了通过Ours方法,考虑脉冲窄化的布局优化后的线长HPWL和平均位移。为了进一步研究考虑脉冲窄化的布局优化过程中HPWL增加的原因,我们在初始平均连接距离列中显示了单元及其扇出之间的平均曼哈顿距离。如表4所示,所有测试用例的初始平均连接距离普遍较大,平均值为33.50。因此,当需要移动单元产生淬灭单元对时,会带来较大的单元位移。Table 4 lists the line length HPWL and average displacement after the layout optimization considering pulse narrowing by Ours method. To further investigate the reason for the increase in HPWL during the layout optimization considering pulse narrowing, we show the average Manhattan distance between the cell and its fan-out in the column of initial average connection distance. As shown in Table 4, the initial average connection distance of all test cases is generally large, with an average value of 33.50. Therefore, when it is necessary to move cells to generate quenching cell pairs, it will cause large cell displacement.

以ISCAS85中最大规模的电路C7552为例,图9显示了考虑脉冲窄化效应的单元布局示例。可以发现,图9(a)的输入初始布局结果中,仅分布少数随机淬灭单元对,图9(b)为Ours方法的结果,通过脉冲窄化效应优化后, 淬灭单元对数量显著增加。需要提及的是,由于淬灭单元对需要水平相邻,因此与输入布局相比,淬灭单元对数目越多,往往布局分布将更加紧密;Taking the largest circuit C7552 in ISCAS85 as an example, Figure 9 shows an example of unit layout considering the pulse narrowing effect. It can be found that in the initial layout result of the input in Figure 9(a), only a few random quenching unit pairs are distributed. Figure 9(b) is the result of Ours method. After the optimization of the pulse narrowing effect, the number of quenching unit pairs increases significantly. It should be mentioned that since the quenching unit pairs need to be horizontally adjacent, compared with the input layout, the more quenching unit pairs there are, the tighter the layout distribution will be.

Figure SMS_387
Figure SMS_387

为了进一步研究脉冲窄化增强方法对设计的影响,我们对布局结果进行了布线处理,然后通过PrimeTime (PT) 报告电路时序和功率信息。实验发现,Ours的布局结果没有布线拥挤。此外,从PT报告中,我们观察到所有测试用例的时序影响小于1ps,功率影响为0μW,换言之,在所有测试用例中,脉冲窄化增强后的时序和功率损失都可以忽略不计。我们分析这一结果的主要原因,是由于设计的相对较小的芯片尺寸,如最大的测试用例C7552为68.30×68.75μm,以及普遍短的连线长度,因此时序变化很小。在更一般的情况下,因为我们的LCP方法中考虑单元位移,保证了时序路径变化在合理的较小范围内。To further investigate the impact of pulse narrowing enhancement on the design, we routed the layout results and then reported the circuit timing and power information through PrimeTime (PT). Ours’s layout results showed no routing congestion. In addition, from the PT report, we observed that the timing impact of all test cases was less than 1ps and the power impact was 0μW. In other words, the timing and power loss after pulse narrowing enhancement were negligible in all test cases. The main reason for our analysis of this result is that the timing changes are small due to the relatively small chip size of the design, such as the largest test case C7552 is 68.30×68.75μm, and the generally short connection length. In more general cases, because our LCP method considers cell displacement, the timing path changes are guaranteed to be within a reasonably small range.

表5列出了四个脉冲宽度范围对应的软错误数量,即脉冲宽度[0~100ps)、[100ps~200ps)、[2000ps~300ps)和[300ps~400ps]。平均而言,我们的方法可以在这些脉宽范围内减少约19.63%~54.17%的软错误数量;Table 5 lists the number of soft errors corresponding to four pulse width ranges, namely pulse widths [0~100ps), [100ps~200ps), [2000ps~300ps) and [300ps~400ps]. On average, our method can reduce the number of soft errors by about 19.63%~54.17% in these pulse width ranges;

Figure SMS_388
Figure SMS_388

最后,由于ISCAS85规模小,为了进行可扩展性分析,我们使用了来自EPFL组合逻辑电路中最大的四个测试电路,其中规模最大的为Hypotense,具有超过2.7×E5个单元和线网。所选的EPFL测试用例信息如表6所示;Finally, due to the small size of ISCAS85, in order to perform scalability analysis, we used the four largest test circuits from EPFL combinational logic circuits, the largest of which is Hypotense, with more than 2.7×E5 cells and wire nets. The selected EPFL test case information is shown in Table 6;

Figure SMS_389
Figure SMS_389

目前没有商业工具可以直接考虑脉冲窄化效应来分析SER,并且由于现有MMAT工具的分析规模十分有限,为了评估我们的详细布局方法对EPFL电路的脉冲窄化效应优化结果,我们主要考虑淬灭单元的数量。从前面表3中可以观察到,淬灭单元的数量越多,可以越有助于产生脉冲窄化效果,帮助SER降低。因此,对于EPFL电路,我们主要以淬灭单元的数量来衡量脉冲窄化的效果。Currently, there is no commercial tool that can directly consider the pulse narrowing effect to analyze the SER, and since the analysis scale of existing MMAT tools is very limited, in order to evaluate the optimization results of our detailed layout method for the pulse narrowing effect of the EPFL circuit, we mainly consider the number of quenching units. It can be observed from Table 3 above that the more quenching units there are, the more helpful it is to produce the pulse narrowing effect and help reduce the SER. Therefore, for the EPFL circuit, we mainly measure the effect of pulse narrowing by the number of quenching units.

如表7所示,在所有EPFL电路上,我们的方法与输入初始布局相比会增加0.71倍的淬灭单元数目。EPFL电路上淬灭单元的增加比例与ISCAS85电路上的结果相当(如表3所示)。此外,我们的HPWL平均增大仅8.91%,比表4所示的ISCAS85电路影响更低。参考表3,我们还发现,虽然EPFL电路规模比ISCAS85电路规模大10-100倍,但EPFL的平均位移却普遍更小。此外,我们的运行时间随电路规模增加基本线性增大,其中大约46.60%的运行时间用于单元重定位过程中解决LCP。因此,可以得出结论,我们的方法拥有较好的可扩展性;As shown in Table 7, on all EPFL circuits, our method increases the number of quenching cells by 0.71 times compared to the input initial layout. The increase ratio of quenching cells on the EPFL circuit is comparable to the results on the ISCAS85 circuit (as shown in Table 3). In addition, our HPWL increases by only 8.91% on average, which is less impactful than the ISCAS85 circuit shown in Table 4. Referring to Table 3, we also found that although the scale of EPFL circuits is 10-100 times larger than that of ISCAS85 circuits, the average displacement of EPFL is generally smaller. In addition, our running time increases basically linearly with the increase of circuit scale, of which about 46.60% of the running time is used to solve LCP during the cell relocation process. Therefore, it can be concluded that our method has good scalability;

Figure SMS_390
Figure SMS_390

通过在布局时,考虑脉冲窄化增强来优化SER,可以在不引入任何硬件惩罚的情况下减轻电路中的软错误生成。为了利用脉冲窄化效应减少组合电路中的软错误,我们提出了一种详细布局算法,该算法可以增强相邻逻辑相关单元之间的脉冲窄化效应。在我们的方法中,脉冲窄化效应增强是全局优化的,并考虑单元位移最小化。仿真结果表明,我们的方法可以大幅度增加淬灭单元对数量,电路的软错误敏感度平均降低25.99%。此外,对于大规模的测试电路,我们方法的脉冲窄化效应增强性能稳定,且位移更小,运行时间随规模线性增大,从而证明了我们方法的可扩展性。By optimizing SER by considering pulse narrowing enhancement during layout, soft error generation in the circuit can be mitigated without introducing any hardware penalty. In order to reduce soft errors in combinational circuits by utilizing the pulse narrowing effect, we propose a detailed layout algorithm that can enhance the pulse narrowing effect between adjacent logically related cells. In our method, the pulse narrowing effect enhancement is globally optimized and considers the minimization of cell displacement. Simulation results show that our method can significantly increase the number of quenching cell pairs, and the soft error sensitivity of the circuit is reduced by an average of 25.99%. In addition, for large-scale test circuits, the pulse narrowing effect enhancement performance of our method is stable, with smaller displacement, and the running time increases linearly with the scale, which proves the scalability of our method.

描述于本发明实施例中所涉及到的单元可以通过软件的方式实现,也可以通过硬件的方式来实现。The units involved in the embodiments of the present invention may be implemented in software or hardware.

应当理解,本发明的各部分可以用硬件、软件、固件或它们的组合来实现。It should be understood that various parts of the present invention can be implemented by hardware, software, firmware or a combination thereof.

以上所述,仅为本发明的具体实施方式,但本发明的保护范围并不局限于此,任何熟悉本技术领域的技术人员在本发明揭露的技术范围内,可轻易想到的变化或替换,都应涵盖在本发明的保护范围之内。因此,本发明的保护范围应以权利要求的保护范围为准。The above is only a specific embodiment of the present invention, but the protection scope of the present invention is not limited thereto. Any changes or substitutions that can be easily thought of by a person skilled in the art within the technical scope disclosed by the present invention should be included in the protection scope of the present invention. Therefore, the protection scope of the present invention shall be subject to the protection scope of the claims.

Claims (8)

1.一种考虑脉冲窄化的软错误布局优化方法,其特征在于,包括:1. A soft error layout optimization method considering pulse narrowing, characterized by comprising: 步骤1,将预设的RTL设计进行逻辑综合并采用布局工具生成输入布局;Step 1, perform logic synthesis on the preset RTL design and use layout tools to generate input layout; 步骤2,使用KM算法全局找到输入布局中所有可能的单元对,得到单元配对结果;Step 2, use the KM algorithm to globally find all possible unit pairs in the input layout and obtain the unit pairing results; 步骤3,根据单元配对结果,生成组合单元,并根据原始单元信息计算组合单元的初始位置和大小;Step 3, generating a combined unit according to the unit pairing result, and calculating the initial position and size of the combined unit according to the original unit information; 步骤4,基于所有单元的初始位置,计算考虑位移的单元重定位,得到满足淬灭效应的淬灭单元对;Step 4, based on the initial positions of all units, calculate the unit relocation considering the displacement to obtain the quenching unit pair that satisfies the quenching effect; 步骤5,在考虑淬灭单元对情况下,利用预设操作进一步优化线长,其中,预设操作包括单元交换操作和单元插入操作,最终生成优化布局结果。Step 5, taking into account the quenching unit pair, further optimize the line length using preset operations, wherein the preset operations include a unit exchange operation and a unit insertion operation, and finally generate an optimized layout result. 2.根据权利要求1所述的方法,其特征在于,所述步骤2具体包括:2. The method according to claim 1, characterized in that the step 2 specifically comprises: 步骤2.1,生成每个单元对应的扇出集合并计算每个单元的敏感度;Step 2.1, generate the fan-out set corresponding to each unit and calculate the sensitivity of each unit; 步骤2.2,使用KM算法将每个单元与其对应的扇出集合中敏感度最高的单元配对,形成单元配对结果。In step 2.2, the KM algorithm is used to pair each unit with the unit with the highest sensitivity in its corresponding fan-out set to form a unit pairing result. 3.根据权利要求2所述的方法,其特征在于,所述步骤2.2具体包括:3. The method according to claim 2, characterized in that the step 2.2 specifically comprises:
Figure QLYQS_1
Figure QLYQS_2
分别为单元
Figure QLYQS_3
和其扇出单元
Figure QLYQS_4
的输入坐标,并计算单元
Figure QLYQS_5
和其扇出单元
Figure QLYQS_6
的配对权值;
set up
Figure QLYQS_1
and
Figure QLYQS_2
Unit
Figure QLYQS_3
and its fan-out unit
Figure QLYQS_4
The input coordinates and calculate the unit
Figure QLYQS_5
and its fan-out unit
Figure QLYQS_6
The pairing weight of
构建连接图
Figure QLYQS_7
,其中
Figure QLYQS_8
表示扇入单元的集合,
Figure QLYQS_9
表示扇出单元的集合,
Figure QLYQS_10
表示连接集;
Building a connection graph
Figure QLYQS_7
,in
Figure QLYQS_8
represents the set of fan-in units,
Figure QLYQS_9
represents the set of fan-out units,
Figure QLYQS_10
Represents a connection set;
调用KM算法对连接图进行全局单元配对,形成单元配对结果。The KM algorithm is called to perform global unit pairing on the connection graph to form a unit pairing result.
4.根据权利要求3所述的方法,其特征在于,所述配对权值的计算公式为4. The method according to claim 3, characterized in that the calculation formula of the pairing weight is:
Figure QLYQS_11
Figure QLYQS_11
,
Figure QLYQS_12
Figure QLYQS_12
其中,
Figure QLYQS_13
表示敏感度,
Figure QLYQS_14
Figure QLYQS_15
均为正参数。
in,
Figure QLYQS_13
Indicates sensitivity,
Figure QLYQS_14
and
Figure QLYQS_15
are all positive parameters.
5. 根据权利要求3所述的方法,其特征在于,所述步骤3具体包括:5. The method according to claim 3, characterized in that said step 3 specifically comprises: 根据已有的原始单元信息和位移驱动问题描述为Based on the existing original unit information and displacement driven problem, it can be described as
Figure QLYQS_16
Figure QLYQS_16
并根据预设条件改写为布局问题;and rewrite it as a layout problem based on the preset conditions; 推理组合单元的初始信息,对于集成单元
Figure QLYQS_17
,其宽度和初始坐标计算如下:
The initial information of the reasoning combination unit, for the integrated unit
Figure QLYQS_17
, whose width and initial coordinates are calculated as follows:
Figure QLYQS_20
其中,
Figure QLYQS_21
Figure QLYQS_23
,分别表示
Figure QLYQS_19
单元的宽度和初始左下角坐标,相应地,对于子单元
Figure QLYQS_22
Figure QLYQS_24
Figure QLYQS_25
分别表示
Figure QLYQS_18
的宽度和初始左下角坐标。
Figure QLYQS_20
in,
Figure QLYQS_21
and
Figure QLYQS_23
, respectively
Figure QLYQS_19
The width and initial lower left corner coordinate of the cell, and accordingly, for the child cells
Figure QLYQS_22
,
Figure QLYQS_24
and
Figure QLYQS_25
Respectively
Figure QLYQS_18
The width and initial lower left corner coordinates.
6.根据权利要求4所述的方法,其特征在于,所述步骤4具体包括:6. The method according to claim 4, characterized in that said step 4 specifically comprises: 步骤4.1,将组合单元和未配对单元通过布局问题对应的公式进行单元重定位,建模线性互补问题并给定组合单元和未配对单元的单元信息和连接关系网表,构建线性互补问题数据结构;Step 4.1, relocate the combined cells and the unpaired cells by using the formula corresponding to the layout problem, model the linear complementarity problem, and construct the linear complementarity problem data structure by giving the cell information and connection relationship netlist of the combined cells and the unpaired cells; 步骤4.2,通过两步扫描策略压缩线性互补问题数据结构构建其对应的约束矩阵,并应用基于模的矩阵分裂迭代法求解线性互补问题;Step 4.2, compressing the linear complementarity problem data structure through a two-step scanning strategy to construct its corresponding constraint matrix, and applying the module-based matrix splitting iteration method to solve the linear complementarity problem; 步骤4.3,根据求解结果得到重定位后的单元坐标,并将其进行整数化得到包括组合单元在内的全部单元的合法位置,将成功布局后的组合单元中的原始相邻单元对作为淬灭单元对。Step 4.3, according to the solution result, the relocated unit coordinates are obtained, and they are integerized to obtain the legal positions of all units including the combined unit, and the original adjacent unit pairs in the successfully laid out combined unit are used as quenched unit pairs. 7.根据权利要求5所述的方法,其特征在于,所述所述布局问题的表达式为7. The method according to claim 5, characterized in that the expression of the layout problem is
Figure QLYQS_26
Figure QLYQS_26
Figure QLYQS_27
Figure QLYQS_27
其中,
Figure QLYQS_29
是所有单元水平方向坐标向量,
Figure QLYQS_33
是单位矩阵,
Figure QLYQS_35
是每个元素
Figure QLYQS_30
的向量,
Figure QLYQS_32
是单元左右水平相邻关系的约束矩阵,
Figure QLYQS_36
中每行中只有两个非零元素-1和1,
Figure QLYQS_37
的行数是单元水平方向的左右约束数目,
Figure QLYQS_28
的列数是单元数,向量
Figure QLYQS_31
中每个元素对应矩阵
Figure QLYQS_34
每行左右水平相邻约束中左边单元的宽度。
in,
Figure QLYQS_29
is the horizontal coordinate vector of all units,
Figure QLYQS_33
is the identity matrix,
Figure QLYQS_35
Each element
Figure QLYQS_30
The vector of
Figure QLYQS_32
is the constraint matrix of the horizontal adjacent relationship of the unit.
Figure QLYQS_36
There are only two non-zero elements in each row of
Figure QLYQS_37
The number of rows is the number of left and right constraints in the horizontal direction of the cell.
Figure QLYQS_28
The number of columns is the number of cells, and the vector
Figure QLYQS_31
Each element in the matrix
Figure QLYQS_34
The width of the left cell in the horizontal adjacent constraints on each row.
8.根据权利要求6所述的方法,其特征在于,所述通过两步扫描策略压缩线性互补问题数据结构构建其对应的约束矩阵
Figure QLYQS_38
的步骤包括:
8. The method according to claim 6, characterized in that the linear complementarity problem data structure is compressed by a two-step scanning strategy to construct its corresponding constraint matrix
Figure QLYQS_38
The steps include:
当从左到右扫描一行内的单元时,首先将奇数位置的单元与其右相邻单元组成相邻约束;When scanning cells in a row from left to right, first form neighbor constraints between cells in odd positions and their right adjacent cells; 在第一步扫描之后,开始第二步扫描,在偶数位置添加单元与其右相邻单元的相邻约束。After the first scan, the second scan begins, adding neighbor constraints between the cell and its right neighbor at even positions.
CN202310208293.1A 2023-03-07 2023-03-07 Soft error layout optimization method considering pulse narrowing Active CN116070573B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202310208293.1A CN116070573B (en) 2023-03-07 2023-03-07 Soft error layout optimization method considering pulse narrowing

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202310208293.1A CN116070573B (en) 2023-03-07 2023-03-07 Soft error layout optimization method considering pulse narrowing

Publications (2)

Publication Number Publication Date
CN116070573A true CN116070573A (en) 2023-05-05
CN116070573B CN116070573B (en) 2023-06-13

Family

ID=86180344

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202310208293.1A Active CN116070573B (en) 2023-03-07 2023-03-07 Soft error layout optimization method considering pulse narrowing

Country Status (1)

Country Link
CN (1) CN116070573B (en)

Citations (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20080308747A1 (en) * 2006-01-30 2008-12-18 International Business Machines Corporation Radiation detection schemes, apparatus and methods of transmitting radiation detection information to a network
US20130096902A1 (en) * 2011-10-12 2013-04-18 International Business Machines Corporation Hardware Execution Driven Application Level Derating Calculation for Soft Error Rate Analysis
US20170213602A1 (en) * 2015-08-07 2017-07-27 Austemper Design Systems Inc. Systems and methods for analyzing soft errors in a design and reducing the associated failure rates thereof
CN107632254A (en) * 2017-09-26 2018-01-26 电子科技大学 A kind of single-ion transient state effect assessment system based on internal pulses injection
WO2019075292A1 (en) * 2017-10-12 2019-04-18 Massachusetts Institute Of Technology Prostate cancer protease nanosensors and uses thereof
US20210264091A1 (en) * 2020-02-25 2021-08-26 Synopsys, Inc. Source mask optimization by process defects prediction
CN115688668A (en) * 2022-11-07 2023-02-03 广东工业大学 A method for global layout optimization of integrated circuits and related equipment

Patent Citations (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20080308747A1 (en) * 2006-01-30 2008-12-18 International Business Machines Corporation Radiation detection schemes, apparatus and methods of transmitting radiation detection information to a network
US20130096902A1 (en) * 2011-10-12 2013-04-18 International Business Machines Corporation Hardware Execution Driven Application Level Derating Calculation for Soft Error Rate Analysis
US20170213602A1 (en) * 2015-08-07 2017-07-27 Austemper Design Systems Inc. Systems and methods for analyzing soft errors in a design and reducing the associated failure rates thereof
CN107632254A (en) * 2017-09-26 2018-01-26 电子科技大学 A kind of single-ion transient state effect assessment system based on internal pulses injection
WO2019075292A1 (en) * 2017-10-12 2019-04-18 Massachusetts Institute Of Technology Prostate cancer protease nanosensors and uses thereof
US20210264091A1 (en) * 2020-02-25 2021-08-26 Synopsys, Inc. Source mask optimization by process defects prediction
CN115688668A (en) * 2022-11-07 2023-02-03 广东工业大学 A method for global layout optimization of integrated circuits and related equipment

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
刘畅,等: "增强组合电路脉冲窄化效应的软错误率优化布局方法", 《计算机辅助设计与图形学学报》, pages 1158 - 1165 *
刘畅: "组合电路抗辐照布局方法研究", 《中国博士学位论文全文数据库 工程科技Ⅱ辑》, pages 031 - 129 *

Also Published As

Publication number Publication date
CN116070573B (en) 2023-06-13

Similar Documents

Publication Publication Date Title
Zhang et al. FASER: Fast analysis of soft error susceptibility for cell-based designs
Miskov-Zivanov et al. Multiple transient faults in combinational and sequential circuits: A systematic approach
US8191021B2 (en) Single event transient mitigation and measurement in integrated circuits
Tsao et al. UST/DME: a clock tree router for general skew constraints
CN101802783B (en) Method of constrained aggressor set selection for crosstalk induced noise
US6449753B1 (en) Hierarchical coupling noise analysis for submicron integrated circuit designs
Yibai et al. Impact of circuit placement on single event transients in 65 nm bulk CMOS technology
Cazeaux et al. On transistor level gate sizing for increased robustness to transient faults
Raji et al. Soft error reliability improvement of digital circuits by exploiting a fast gate sizing scheme
Zimpeck et al. Circuit-level hardening techniques to mitigate soft errors in finfet logic gates
Aguiar et al. Impact of complex logic cell layout on the single-event transient sensitivity
Yankang et al. Impact of pulse quenching effect on soft error vulnerabilities in combinational circuits based on standard cells
Rossi et al. Accurate linear model for SET critical charge estimation
Tan et al. General efficient TMR for combinational circuit hardening against soft errors and improved multi-objective optimization framework
CN116070573B (en) Soft error layout optimization method considering pulse narrowing
Zhou et al. Tunable transient filters for soft error rate reduction in combinational circuits
Wu et al. Power-aware soft error hardening via selective voltage scaling
Mahatme et al. An efficient technique to select logic nodes for single event transient pulse-width reduction
CN113536726A (en) Vector generation for maximum instantaneous peak power
Wang et al. Cross-layer design for reliability in advanced technology nodes: An EDA perspective
Ko et al. Short-circuit power driven gate sizing technique for reducing power dissipation
Dhillon et al. Load and logic co-optimization for design of soft-error resistant nanometer CMOS circuits
Reddy et al. Analyzing timing uncertainty in mesh-based clock architectures
Subramaniam et al. A finite-point method for efficient gate characterization under multiple input switching
Lu et al. Clock buffer polarity assignment with skew tuning

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