CN104215893A - 基于信号概率的电路可靠性评估方法 - Google Patents

基于信号概率的电路可靠性评估方法 Download PDF

Info

Publication number
CN104215893A
CN104215893A CN201410428749.6A CN201410428749A CN104215893A CN 104215893 A CN104215893 A CN 104215893A CN 201410428749 A CN201410428749 A CN 201410428749A CN 104215893 A CN104215893 A CN 104215893A
Authority
CN
China
Prior art keywords
circuit
module
queue
layer
logic gate
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.)
Pending
Application number
CN201410428749.6A
Other languages
English (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.)
Shanghai University of Electric Power
University of Shanghai for Science and Technology
Original Assignee
Shanghai University of Electric Power
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 Shanghai University of Electric Power filed Critical Shanghai University of Electric Power
Priority to CN201410428749.6A priority Critical patent/CN104215893A/zh
Publication of CN104215893A publication Critical patent/CN104215893A/zh
Pending legal-status Critical Current

Links

Landscapes

  • Design And Manufacture Of Integrated Circuits (AREA)

Abstract

本发明涉及一种基于信号概率的电路可靠性评估方法,读取集成电路门级网表,解析网表得到各个门节点之间的连接结构,提出一种分割算法将电路划分为多个模块,算法保证了分割出的多数模块功能上无冗余,结构上无重叠;每个模块即是一个子电路,对子电路运用PTM方法,依次计算每个模块的可靠度;依据计算独立事件联合概率的思想以模块可靠度乘积评估整个电路的可靠性。针对PTM方法仅能评估小规模电路的问题进行了改进,使其能运用于大规模电路;另一方面集成TP方法、EPP方法以及改进后的PTM方法开发了一个电路可靠性评估平台,可以将其用于在电路的设计阶段计算其可靠度,以便及时对设计结构进行调整。

Description

基于信号概率的电路可靠性评估方法
技术领域
本发明涉及一种电路检测技术,特别涉及一种基于信号概率的电路可靠性评估方法。
背景技术
传统的集成电路可靠性评估面向芯片制造过程,通过可靠性试验(如环境试验、寿命试验、筛选试验、现场使用试验等)来分析其可靠性,或者通过测试的方法对已制造出的电子元器件可靠性进行测量分析。随着VLSI电路技术的发展、可靠性水平的提高,这类评测方法暴露出“滞后性”和样本数太多等问题。
面向较高抽象层次(包括门级、RTL级和系统级)电路的可靠性评估,可以应用在电路的设计阶段,即在流片封装之前预估电路可靠度,以期对调整设计结构起到指导作用。由于抽象层次越高,低层的因素考虑越少,评估的准确度也就越低,因此本发明中涉及的评估方法面向门级电路,可以兼顾准确性和时间开销。门级电路可靠性解析方法大多基于信号概率,信号概率是指电路信号端输出某一逻辑值的概率。这类方法一般根据输入端的信号概率和基本门的差错率,考虑不同输入组合以及基本门的逻辑功能,计算输出端的失效概率,由1减去失效概率得出正确输出的概率,用以衡量电路的可靠性。
典型的基于信号概率的可靠性评估算法包括两阶段(Two Pass, TP)算法(Kim J S, Nicopoulos C, Vijakrishnan N, et al. A probabilistic model for soft-error rate estimation in combinational logic. //Proc. of the 1st Int’l Workshop on Probabilistic Analysis Techniques for Real Time and Embedded Systems, Pisa, Italy, 2004, 25-31)、差错传播概率(Error Propagation Probability,EPP)方法(Asadi G, Tahoori M B. An analytical approach for soft error rate estimation in digital circuits. //IEEE Int.Symp.on Circuits and Systems, Kobe, Japan, 2005, 2991-2994)、概率转移矩阵(Probabilistic Transfer Matrix,PTM)方法(Krishnaswamy S, Viamontes G F, Markov I L, et al. Probabilistic transfer matrices in symbolic reliability analysis of logic circuits [J]. Trans. on Design Automation of Electronic Systems (TODAES). 2008, 13(1): 1-32)。TP算法假定基本逻辑门输入端差错感染率是Ps,选定一个原始输出(primary output, PO)端N,反向回溯到其对应的所有原始输入端(primary input,PI),针对一种输入组合正向推得N端输出错误的概率,遍历所有输入组合可以估计N端的失效概率。EPP方法首先假定电路中的一个结点S是故障源,且S处发生差错概率为Rseu,建立从S到可达PO端的通路,设定不在通路上(off-path)的线端信号概率,然后计算差错在通路中的传播概率,据此估计电路的失效概率。上述两种方法只是针对电路的部分通路建立模型,计算单个输出或者部分输出的失效概率,而PTM方法则是针对整个电路建立模型来计算可靠性,它以门为单位,且假定其感染率为P,建立所有输入组合对应所有输出的概率转移矩阵,然后根据电路的拓扑结构进行矩阵运算,最终得出整个电路的概率转移矩阵,并计算其可靠度。该方法所用的模型准确,且完备性好,但由于矩阵的规模随电路信号端数的增加而呈指数型增长趋势,因而时空复杂度太大,难以用于评估大规模电路。
发明内容
本发明是针对现在典型的基于信号概率的可靠性评估算法难以用于评估大规模电路的问题,提出了一种基于信号概率的电路可靠性评估方法,可以应用于超大规模集成电路可靠性分析和评估过程,便于在电路早期的设计阶段预测评估其可靠性。
本发明的技术方案为:一种基于信号概率的电路可靠性评估方法,包括如下具体步骤:
1)读取集成电路门级网表,解析网表得到各个门节点之间的连接结构,运用分割算法将电路划分为模块,分割后模块相互之间功能上无冗余,结构上无重叠;
2)每个模块即是一个子电路,对子电路运用PTM方法,依次计算每个模块的可靠度;
3)依据计算独立事件联合概率的思想以模块可靠度乘积评估整个电路的可靠性。
所述步骤1)中的分割算法具体为:
Ⅰ、分层并判断分割层:
(1)运用分层算法对电路分层,从原始输入端到原始输出端,对每个逻辑门标识层号,计算每一层的宽度,分层具体步骤如下:
第一步、读取电路网表可知所有线端的编号,首先将整个电路所有原始输入PI端定义为第1层,如果某个PI端驱动了扇出,则将扇出分支标记层号2,然后将原始输入驱动的逻辑门放入队列;
第二步、当队列非空时:
则从队列中依次取出一个逻辑门;再进行层号标记:
如果这个逻辑门的全部输入都已经标记了层号,则用它的输入层号最大值加1来标记这个逻辑门及它的输出端的层号,如果这个门的输出端驱动扇出,则用输出端层号加1标记扇出分支,将扇出分支驱动的逻辑门加入队列;如果这个逻辑门的输出没有驱动扇出,则将这个逻辑门输出驱动的逻辑门加入队列;
如果这个逻辑门的全部输入没有标记层号,重新将这个逻辑门加入队列进行层号标识。
第三步、转第二步,直至队列为空;
(2)给定分割宽度L,遍历各层,若第i层宽度W i >L>1,则在第i层进行分割;
Ⅱ、建立第i层所有信号端的支持集S(n):
一个信号端n的支持集S(n)由这个信号端对应到前一分割层上的输入端构成,通过深度优先搜索算法找到n对应的支持集;
Ⅲ、在相继两个分割层之间划分模块,即子电路,将第i层所有信号端放入队列:
A:从队列中取出一个信号端n,遍历信号端n所在层的其他信号端m,若S(m)?S(n)≠?,则把m与n及其对应到支持集的电路部分放入同一模块,直到模块的最大宽度L mmaxL,模块的最大宽度为模块电路中各层宽度的最大值;若遍历到的信号端支持集与n的都不相交,则顺次放入同一个模块,直到模块的最大宽度L mmaxL,将已放入模块的信号端从队列中删除;
B:若队列非空,继续步骤Ⅲ的第A步;否则结束第i层分割,将i=i+1,转步骤Ⅰ的第(2)步,直到遍历完电路最后一层。
本发明的有益效果在于:本发明基于信号概率的电路可靠性评估方法,针对PTM方法仅能评估小规模电路的问题进行了改进,使其能运用于大规模电路;另一方面集成TP方法、EPP方法以及改进后的PTM方法开发了一个电路可靠性评估平台,可以将其用于在电路的设计阶段计算其可靠度,以便及时对设计结构进行调整。
附图说明
图1为本发明电路分层示例图;
图2为本发明电路分割算法流程图;
图3为本发明电路分割算法实施例示意图。
具体实施方式
针对原始PTM方法所存在的问题,本发明提出了一种优化方案,面向大规模电路基于PTM计算其可靠度,采取如下策略:
1、读取集成电路门级网表(如ISC格式或者BLIF格式),解析网表得到各个门节点之间的连接结构,运用分割算法将电路划分为一组规模大小合适、相互之间重叠很少的模块(分割算法见下述);
2、每个模块即是一个子电路,对子电路运用PTM方法,依次计算每个模块的可靠度;
3、依据计算独立事件联合概率的思想以模块可靠度乘积评估整个电路的可靠性。
严格来讲,上述方案成立的前提是分割后的每个模块可靠与否是独立不相关的,因此对于不存在冗余模块的电路,其整体可靠度等于模块可靠度的乘积。这要求划分的模块功能上无冗余,结构上无重叠。目前面向无冗余的组合电路,本发明设计了一个电路分割算法,可以最大程度的满足前述要求。分割模块之前需要首先运用分层算法对电路分层,过程如下:
1)读取电路网表可知所有线端的编号,首先将整个电路所有原始输入PI端定义为第1层,如果某个PI端驱动了扇出,则将扇出分支标记层号2,然后将原始输入驱动的逻辑门放入队列;
2)当队列非空时:
(1)从队列中依次取出一个逻辑门;
(2)如果这个逻辑门的全部输入都已经标记了层号,则用它的输入层号最大值加1来标记这个逻辑门及它的输出端的层号,如果这个门的输出端驱动扇出,则用输出端层号加1标记扇出分支,将扇出分支驱动的逻辑门加入队列;如果这个逻辑门的输出没有驱动扇出,则将这个逻辑门输出驱动的逻辑门加入队列;
如果这个逻辑门的全部输入没有标记层号,重新将这个逻辑门加入队列进行层号标识。
3)转步骤2),直至队列为空。
如图1所示电路分层示例图,以数字标识信号端,依据上述算法将电路划分为5层,由虚线标识,第1层的门号包括1、2、3、4、5,第2层的门号为6、2、7、5,第3层的门号为6、2、8、9、5,第4层的门号为6、10、11,第5层的门号为12、11。分层后的电路中某一层上所具有的信号端数被定义为电路在该层上的宽度,如图1所示电路,各层的宽度分别为5、4、5、3、2。这些层上宽度的最大值被定义为电路的最大宽度(L max ),对图1所示电路,L max =5。
基于分层算法,对电路进行模块划分,如图2所示电路分割算法流程图,采取下述步骤:
步骤1:
(1)运用分层算法对电路分层,从原始输入端到原始输出端,对每个逻辑门(包括扇出和单线)标识层号,计算每一层的宽度;
(2)给定分割宽度L,遍历各层,若第i>1)层宽度W i >L,则在第i层进行分割;
仍以图1所示电路为例对步骤1进行说明,由前述可知该电路分为5层,每层宽度为W 1 =5、W 2 =4、W 3 =5、W 4 =3、W 5 =2,我们给定分割宽度L=3,从第1层向后遍历,由于W 2 >3,首先在第2层进行分割。
步骤2:建立第i层所有信号端的支持集S(n),
一个信号端n的支持集S(n)由这个信号端对应到前一分割层(前一分割层不一定是前一层,有可能相隔几层)上的输入端构成,通过深度优先搜索算法找到n对应的支持集;
继续步骤1的例子说明,此时i=2, 由第二层所有信号端6、2、7、5建立第二层的支持集,得到S(6)={1},S(2)={2},S(7)={3,4},S(5)={5}。
步骤3:在相继两个分割层之间划分模块,即子电路,将第i层所有信号端放入队列:
(1)从队列中取出一个信号端n,遍历信号端n所在层的其他信号端m,若S(m)?S(n)≠?,则把m与n及其对应到支持集的电路部分放入同一模块,直到模块的最大宽度(模块电路中各层宽度的最大值)L mmaxL;若遍历到信号端的支持集与n的都不相交,则顺次放入同一个模块,直到模块的最大宽度L mmaxL。将已放入模块的信号端从队列中删除;
(2)若队列非空,继续步骤3的(1)步;否则结束第i层分割,将i=i+1,转步骤1的(2)步,直到遍历完电路最后一层。
以图1电路说明步骤3,接续步骤2,把第2层所有信号端6、2、7、5放入队列。从队列中取信号端6,遍历到信号端2,S(2)? S(6)=?,则将2和6以及它们对应到支持集{2}和{1}的电路部分放入同一模块,此时L mmax=2<L,若再加入信号端7以及其到支持集的电路部分{3,4},则导致L mmax=4> L,所以第一个模块为{1, 2, 6};从队列中取信号端7,遍历到信号端5,S(7)? S(5)=?,则将7和5以及它们对应到支持集{3, 4}和{5}的电路部分放入同一模块,得到第二个模块{3, 4, 5, 7},从而结束第2层的分割。将i=i+1,转步骤1的(2)步,W 3 =5>L=3,对第3层的进行分割,结束第3层分割后,因为W 4 =3、W 5 =2都小于等于L=3,就不进行分割了,最终将得到如图3所示的5个模块。
上述分割算法中的分割宽度L可以通过实验取得经验值,主要用以限定模块的最大宽度,使得子电路的规模可以适用于原始PTM算法及运行算法的机器配置(不同机器配置,能容忍算法运行的时空开销不同)。而支持集的提出则为降低模块之间的关联度,支持集存在交集的信号端说明关联度比较大,因此放入同一模块。
上述对PTM方法的优化方案和算法可以通过C、C++程序实现,另外本发明实现了TP方法和EPP方法,集成三种方法通过JAVA程序规划封装平台,从而设计了一款组合逻辑电路可靠性评估软件。
关于PTM改进方案的分割算法中分割宽度L的设定,一般采取对测试电路进行实验取得,具体值会因机器配置的不同而不同。下面给出一个实例。
实验环境为DELL PC(CPU Pentium 4 2.66GHz,内存512MB),针对74系列电路选取不同分割宽度,表1中列出了L分别为4、6、7时电路的可靠度及程序运行的性能开销,其中p值表示单个门的差错率(对于扇出和单线,p=0)。数据显示,可靠度在不同L值下无明显差异,这是因为分割宽度小(即模块规模小),就使单个模块可靠度增大,模块数增多;而分割宽度大,将使单个模块的可靠度减小,但模块数也减少,这样就达到一种平衡。因此,在一定的分割宽度取值范围内,本发明的方法不会致使电路可靠度因分割宽度不同而大幅波动。如表1所示74系列电路在不同分割宽度下实验数据(p=1e-4)。
表1
关于分割宽度的取值范围,L值越小,模块之间出现重叠的概率越大,因此导致不精确度增大。而L值越大,性能开销越大,从表1中的实验数据可以发现,当L=7时,它比前两种L值所需的时间开销明显增大。因此分割宽度在这里选择6。
在ISCAS 85电路上进行实验研究时,选取L=6,实验结果见表2分割宽度为6时ISCAS 85电路的实验数据:
表2 
因此我们通过选取合适的分割宽度,本发明提出的基于PTM方法的改进方案可以用于评估大规模电路。

Claims (2)

1.一种基于信号概率的电路可靠性评估方法,其特征在于,包括如下具体步骤:
1)读取集成电路门级网表,解析网表得到各个门节点之间的连接结构,运用分割算法将电路划分为模块,分割后模块相互之间功能上无冗余,结构上无重叠;
2)每个模块即是一个子电路,对子电路运用PTM方法,依次计算每个模块的可靠度;
3)依据计算独立事件联合概率的思想以模块可靠度乘积评估整个电路的可靠性。
2.根据权利要求1所述基于信号概率的电路可靠性评估方法,其特征在于,所述步骤1)中的分割算法具体为:
Ⅰ、分层并判断分割层:
(1)运用分层算法对电路分层,从原始输入端到原始输出端,对每个逻辑门标识层号,计算每一层的宽度,分层具体步骤如下:
第一步、读取电路网表可知所有线端的编号,首先将整个电路所有原始输入PI端定义为第1层,如果某个PI端驱动了扇出,则将扇出分支标记层号2,然后将原始输入驱动的逻辑门放入队列;
第二步、当队列非空时:
则从队列中依次取出一个逻辑门;再进行层号标记:
如果这个逻辑门的全部输入都已经标记了层号,则用它的输入层号最大值加1来标记这个逻辑门及它的输出端的层号,如果这个门的输出端驱动扇出,则用输出端层号加1标记扇出分支,将扇出分支驱动的逻辑门加入队列;如果这个逻辑门的输出没有驱动扇出,则将这个逻辑门输出驱动的逻辑门加入队列;
如果这个逻辑门的全部输入没有标记层号,重新将这个逻辑门加入队列进行层号标识;
第三步、转第二步,直至队列为空;
(2)给定分割宽度L,遍历各层,若第i层宽度W i >L>1,则在第i层进行分割;
Ⅱ、建立第i层所有信号端的支持集S(n):
一个信号端n的支持集S(n)由这个信号端对应到前一分割层上的输入端构成,通过深度优先搜索算法找到n对应的支持集;
Ⅲ、在相继两个分割层之间划分模块,即子电路,将第i层所有信号端放入队列:
A:从队列中取出一个信号端n,遍历信号端n所在层的其他信号端m,若S(m)?S(n)≠?,则把m与n及其对应到支持集的电路部分放入同一模块,直到模块的最大宽度L mmaxL,模块的最大宽度为模块电路中各层宽度的最大值;若遍历到的信号端支持集与n的都不相交,则顺次放入同一个模块,直到模块的最大宽度L mmaxL,将已放入模块的信号端从队列中删除;
B:若队列非空,继续步骤Ⅲ的第A步;否则结束第i层分割,将i=i+1,转步骤Ⅰ的第(2)步,直到遍历完电路最后一层。
CN201410428749.6A 2014-08-28 2014-08-28 基于信号概率的电路可靠性评估方法 Pending CN104215893A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201410428749.6A CN104215893A (zh) 2014-08-28 2014-08-28 基于信号概率的电路可靠性评估方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201410428749.6A CN104215893A (zh) 2014-08-28 2014-08-28 基于信号概率的电路可靠性评估方法

Publications (1)

Publication Number Publication Date
CN104215893A true CN104215893A (zh) 2014-12-17

Family

ID=52097595

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201410428749.6A Pending CN104215893A (zh) 2014-08-28 2014-08-28 基于信号概率的电路可靠性评估方法

Country Status (1)

Country Link
CN (1) CN104215893A (zh)

Cited By (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN105372579A (zh) * 2015-10-16 2016-03-02 浙江工业大学 一种快速有效的电路单元重要性测度方法
CN105656474A (zh) * 2016-01-26 2016-06-08 北京时代民芯科技有限公司 一种基于信号概率的fpga用户电路逻辑反转优化方法
CN106326553A (zh) * 2016-08-23 2017-01-11 西安空间无线电技术研究所 一种用于单粒子软错误故障传播分析的分布式信号拓扑关系构建方法
CN108320767A (zh) * 2018-02-12 2018-07-24 河海大学常州校区 一种组合逻辑电路抗单粒子错误的选择性加固方法
CN108829908A (zh) * 2018-04-11 2018-11-16 浙江工业大学 一种基于深度自编码器网络的电路结构可靠性预测方法
CN109614074A (zh) * 2018-10-23 2019-04-12 同济大学 基于概率转移矩阵模型的近似加法器可靠度计算方法
CN110334419A (zh) * 2019-06-19 2019-10-15 上海电力学院 一种基于近似电路脆弱性分析的电路测试方法
CN110763984A (zh) * 2019-10-25 2020-02-07 长沙理工大学 逻辑电路失效率确定方法、装置、设备及存储介质
CN111413607A (zh) * 2020-03-26 2020-07-14 长沙理工大学 一种敏感门节点的定位方法、装置、设备及介质
CN112733475A (zh) * 2020-12-31 2021-04-30 武汉第二船舶设计研究所(中国船舶重工集团公司第七一九研究所) 一种控制系统信号概率的组合电路可靠性评估方法
CN112818618A (zh) * 2021-02-01 2021-05-18 上海电力大学 一种基于信号概率的近似计算电路可靠度评估方法

Non-Patent Citations (4)

* Cited by examiner, † Cited by third party
Title
王真 等: "基于概率转移矩阵的串行电路可靠度计算方法", 《电子学报》 *
王真 等: "基于概率转移矩阵的电路可靠性并行计算方法", 《小型微型计算机系统》 *
王真: "门级电路可靠性评估方法比较", 《上海电力学院学报》 *
肖杰 等: "一种基于迭代PTM模型的电路可靠性评估方法", 《计算机学报》 *

Cited By (19)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN105372579B (zh) * 2015-10-16 2018-03-02 浙江工业大学 一种快速有效的电路单元重要性测度方法
CN105372579A (zh) * 2015-10-16 2016-03-02 浙江工业大学 一种快速有效的电路单元重要性测度方法
CN105656474B (zh) * 2016-01-26 2018-12-21 北京时代民芯科技有限公司 一种基于信号概率的fpga用户电路逻辑反转优化方法
CN105656474A (zh) * 2016-01-26 2016-06-08 北京时代民芯科技有限公司 一种基于信号概率的fpga用户电路逻辑反转优化方法
CN106326553A (zh) * 2016-08-23 2017-01-11 西安空间无线电技术研究所 一种用于单粒子软错误故障传播分析的分布式信号拓扑关系构建方法
CN106326553B (zh) * 2016-08-23 2019-09-06 西安空间无线电技术研究所 一种用于单粒子软错误故障传播分析的分布式信号拓扑关系构建方法
CN108320767A (zh) * 2018-02-12 2018-07-24 河海大学常州校区 一种组合逻辑电路抗单粒子错误的选择性加固方法
CN108829908A (zh) * 2018-04-11 2018-11-16 浙江工业大学 一种基于深度自编码器网络的电路结构可靠性预测方法
CN108829908B (zh) * 2018-04-11 2022-04-08 浙江工业大学 一种基于深度自编码器网络的电路结构可靠性预测方法
CN109614074A (zh) * 2018-10-23 2019-04-12 同济大学 基于概率转移矩阵模型的近似加法器可靠度计算方法
CN109614074B (zh) * 2018-10-23 2022-10-25 同济大学 基于概率转移矩阵模型的近似加法器可靠度计算方法
CN110334419A (zh) * 2019-06-19 2019-10-15 上海电力学院 一种基于近似电路脆弱性分析的电路测试方法
CN110763984A (zh) * 2019-10-25 2020-02-07 长沙理工大学 逻辑电路失效率确定方法、装置、设备及存储介质
CN110763984B (zh) * 2019-10-25 2021-06-22 长沙理工大学 逻辑电路失效率确定方法、装置、设备及存储介质
CN111413607A (zh) * 2020-03-26 2020-07-14 长沙理工大学 一种敏感门节点的定位方法、装置、设备及介质
CN111413607B (zh) * 2020-03-26 2021-05-28 长沙理工大学 一种敏感门节点的定位方法、装置、设备及介质
CN112733475A (zh) * 2020-12-31 2021-04-30 武汉第二船舶设计研究所(中国船舶重工集团公司第七一九研究所) 一种控制系统信号概率的组合电路可靠性评估方法
CN112818618A (zh) * 2021-02-01 2021-05-18 上海电力大学 一种基于信号概率的近似计算电路可靠度评估方法
CN112818618B (zh) * 2021-02-01 2022-05-17 上海电力大学 一种基于信号概率的近似计算电路可靠度评估方法

Similar Documents

Publication Publication Date Title
CN104215893A (zh) 基于信号概率的电路可靠性评估方法
CN108830008B (zh) 一种标准单元库全模型的测试方法及测试系统
US8060355B2 (en) Automatic, hierarchy-independent partitioning method for transistor-level circuit simulation
US7937679B2 (en) Method for performing failure mode and effects analysis of an integrated circuit and computer program product therefor
CN106021636B (zh) 将错误校正码嵌入存储器单元中的方法和设备
CN112100952A (zh) 一种集成电路后仿真方法、装置、电子设备及存储介质
US7984397B2 (en) Power network stacked via removal for congestion reduction
CN106326510B (zh) 验证时钟树延迟
CN101539958A (zh) 一种标准单元库和集成电路的设计方法和装置
CN103076559A (zh) 一种针对扫描测试中移位功耗的优化方法
CN112417798B (zh) 一种时序测试方法、装置、电子设备及存储介质
CN104933252B (zh) 一种面向多抽象层次电路的可靠性评估方法
US10678989B2 (en) Method and system for sigma-based timing optimization
CN102782651A (zh) 硬件设计的混合式并发及串行逻辑仿真
Chen et al. Fast node merging with don't cares using logic implications
CN114692499A (zh) 一种基于机器学习的集成电路芯片寿命的评估方法与系统
CN115470750A (zh) 基于追踪文件的芯片性能验证系统
Tille et al. Incremental solving techniques for SAT-based ATPG
CN110610036A (zh) 一种面向输入向量的rtl级电路可靠性计算方法
CN102184136B (zh) 一种验证aadl模型运行状态与需求一致性的方法
US8091052B2 (en) Optimization of post-layout arrays of cells for accelerated transistor level simulation
US7685485B2 (en) Functional failure analysis techniques for programmable integrated circuits
CN101794328B (zh) 针对门输出负载的快速且准确的估计
CN101826120B (zh) 使用随机变量的串扰时延分析
US20150294054A1 (en) Incremental Functional Verification of a Circuit Design

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
WD01 Invention patent application deemed withdrawn after publication

Application publication date: 20141217

WD01 Invention patent application deemed withdrawn after publication