CN104933252A - 一种面向多抽象层次电路的可靠性评估方法 - Google Patents
一种面向多抽象层次电路的可靠性评估方法 Download PDFInfo
- Publication number
- CN104933252A CN104933252A CN201510349883.1A CN201510349883A CN104933252A CN 104933252 A CN104933252 A CN 104933252A CN 201510349883 A CN201510349883 A CN 201510349883A CN 104933252 A CN104933252 A CN 104933252A
- Authority
- CN
- China
- Prior art keywords
- circuit
- centerdot
- input end
- input
- coding
- 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
Links
Landscapes
- Error Detection And Correction (AREA)
Abstract
一种面向多抽象层次电路的可靠性评估方法,包括:步骤1:网表解析及相关量的初始化;步骤2:电路基本构件可靠度的迭代传播;步骤3:输出电路可靠度以作为设计依据。
Description
技术领域
本发明涉及电路可靠性评估的技术领域,特别是基于解析模型的电路结构可靠性评估方法。
技术背景
当前,随着新材料、新工艺和新器件结构的引入,硅半导体产业仍然维持着摩尔定律的高速发展趋势。然而,随着集成电路技术的快速发展,半导体器件特征尺寸的缩小、电源电压的降低、频率的升高、电路密度的增大及复杂程度的增加导致电路芯片对电压扰动、电磁干扰以及辐射等各种噪声干扰变得更加敏感,使得电路的可靠性容限急剧下降,并导致通常的最坏情况设计方法也因器件级电参数随时间的不确定性而变得不再可靠。如在32nm及以下工艺制程技术条件下,器件对噪声、参数变化有着更强的敏感性。因此,有必要在电路设计的早期阶段,就能够快速准确地评估各类潜在故障对电路可靠性的影响,以便为设计人员提供定量分析数据,使在设计阶段就能够消除更多的设计缺陷,从而提高芯片的成品率与可靠性,缩短芯片的开发周期,以提高市场竞争力。
为能有效分析不确定性因素对电路功能与性能造成的影响,近年来电路可靠性的概率分析方法得到了学术界与工业界的广泛关注。根据实施策略差异大致可分为三类:第一类是基于测量的方法,是在运行实际工作负载的过程中,测量实际电路自然出现差错时的行为,其可以获得真实的数据。但是由于实际运行过程中发生差错的概率很低,使得该方法往往需要很长时间才能获得足够的数据进行统计分析。第二类是基于故障注入的方法,是按照预先选定的故障模型,采用某种策略将故障人为地引入到运行特定工作负载的目标电路中,并观察和分析引入故障后电路的行为,从而获得定性或定量结果的实验过程。往往该方法基于的抽象层次越低,虽有更高的模拟精度,但时空开销也会变得难以承受;在高层注入故障,虽有较小的时空开销,但存在较大的精度损失。第三类是基于解析模型的方法,通常是在电路的某个抽象层次上通过数学模型计算受多种因素影响下的电路的可靠性,然而模型自身和输入参数的不准确有可能导致分析结果出现严重偏差。
经过检索现有技术文献发现,为兼顾评估的准确性和规模的可处理性,目前基于解析模型的电路可靠性评估主要集中在电路的门级。根据计算策略差异,可 简单分为二类:一类为类矩阵方法,通常做法是根据门电路的输入输出关系及其间互连关系,从原始输入端起,对电路的可能状态实施遍历并计算其发生概率,直至原始输出端。该类方法往往存在评估精度与计算复杂度难以同时兼顾的矛盾。另一类为通路估算方法,通常分析的是指定故障信号在传播通路上的可观性,其往往可快速对电路的可靠性进行评估但有一定程度的精度损失。此外,上述方法主要集中于电路的某个抽象层次展开分析,导致评估结果在不同抽象层次传递时容易因标准差异而导致结果不可靠。
发明内容
为了克服现有技术难以同时兼顾评估精度与计算复杂度,以及未能适用于不同抽象层次电路可靠性评估的缺陷,本发明提供了一种基于二进制与十进制相结合的混合编码机制的迭代概率转移矩阵方法,以实现对不同抽象层次电路的高精度快速可靠性评估。
为实现上述目的,针对设计中电路的网表文件,本发明首先读取并解析网表,使电路有显式的串并联结构,再提取电路的原始输入信息,然后构建原始输入信号基于混合编码的PTM与ITM。对于电路中任一基本构件的输出可靠度与输出概率分布,首先利用真值表法构建该构件基于混合编码的PTM与ITM,再基于虚拟法与弱等效原理构建其基于混合编码的可靠度加载矩阵,然后通过张量积或矩阵乘运算计算其输出。针对有多个原始输出端的电路,其可靠度为各原始输出可靠度的乘积;否则,电路可靠度即为原始输出可靠度。提取以上输出结果以供电路设计人员使用。
一种面向多抽象层次电路的可靠性评估方法,包括以下步骤:
步骤1:网表解析及相关量的初始化。
1)读取电路网表。
2)检测电路基本构件间的互连结构,并将隐式串并联关系显示化;然后对电路实施分层,并提取其原始输入端数(用n表示)与原始输出端数(用m表示)。
3)提取电路的第i个原始输入端信号,并构建其基于混合编码的概率转移矩阵(probabilistic transfer matrix,PTM)(用PMsi表示)、理想转移矩阵(ideal transfer matrix,ITM)(用IMsi表示)与输入概率分布(用pdsi表示)。
其中,i指原始输入端序号。 psi0与psi1分别指第i个原始输入端信号为0与1的故障概率,pdi指第i个原始输入端信号为0的概率分布,psi0、psi1与pdi均为可调参数,可通过其它技术获取或根据经验设置。第i个原始输入端的输入信号为0时用码段“01”编码,输入信号为1时用码段“10”编码,其它不相关码段用“00”编码。
步骤2:电路基本构件可靠度的迭代传播。
1)按分层顺序提取电路的第j个基本构件,并通过真值表法构建其基于混合编码的PTM(用PMj表示)与ITM(用IMj表示)。其中,该构件的二进制码元表示为十进制码元表示为pjh(指第j个电路基本构件在第h类输入状态下的故障概率,它为可调参数,可通过其它技术获取或根据经验设置)。
2)构建当前电路基本构件第k个输入端基于混合编码的可靠度加载矩阵(用MRajk表示)与理想加载矩阵(用IRajk表示)以及概率分布(用pdgjk表示),并利用张量积获取该构件基于混合编码的可靠度加载矩阵(用MRaj表示)与理想加载矩阵(用IRaj表示)以及输入概率分布(用pdgj表示)。然后,构建该构件第k个输入端基于十进制编码的输入概率分布(用pdgdkj表示),并利用张量积获取构件相对应的输入概率分布(用pdgdj表示)。检测MRaj与IRaj中含有码段为“11”的元素,并标记为“非法”,且将其从结果中剔除,并保持结果的顺序不变;检测pdgj中十进制码元的代数和,将其不为1的进行归一化处理。
3)分别用公式Roj=pdgj×((MRaj×PMj).×(IRaj×IMj))与pdgoj=[··01··01··01,0, ··10··10··10,1].×[pdgdj×IMj]计算该电路基本构件的输出可靠度(用Roj表示)与输出概率分布(用pdgoj表示)。
其中,j指电路基本构件的序号,h指电路基本构件的输入状态序号,k指电路基本构件的输入端序号。 pdgdjk=[pdjk,1-pdjk],Rk指该构件第k个输入端的输入可靠度,pdjk指该构件第k个输入端的输入概率分布。MRajk、IRajk与pdgjk在与第i个原始输入端信号相关 时,其输入信号为0下的第i个二进制码段用“01”编码,输入信号为1下的第i个二进制码段用“10”编码,否则用码段“00”编码。元素间的运算在相同编码方式的码元间进行,单维编码元素用0补充完整且二进制码元间的乘法运算执行“按位与”运算。
步骤3:输出电路可靠度以作为设计依据。
1)读取m值,在m=1时,直接输出整个电路的可靠度评估结果。否则,输出整个电路各原始输出端可靠度评估结果的乘积。
2)提取输出结果以供电路设计人员使用。
本发明通过二进制与十进制相结合方式对与电路基本构件和电路原始输入信号相关的概率转移矩阵实施混合编码,有助于实现电路信号关系的表示与量化的分离,从而避免了概率转移矩阵规模的迅速膨胀问题;又基于虚拟法与弱等效原理实现了前后级电路基本构件的可靠度迭代传播。该措施在保护计算精度的同时又可有效降低计算的时空开销。
本发明的优点在于:基于概率转移矩阵模型为不同抽象层次电路提供了高精度快速可靠性评估的通用方法,可评估从原始输入端到任意电路基本构件输出引线位置间模块的可靠度,能有效避免评估结果在不同抽象层次传递时因标准差异而导致的结果不可靠现象。在电路设计的早期阶段,设计人员利用本发明即可对设计中电路实施可靠性评估,使有利于及时作出有针对性的改善,使有助于以较小代价实现电路的高可靠与容错设计。本发明可集成到EDA工具软件以服务于电路设计人员。
附图说明
图1是本发明的流程图
具体实施方式
参照附图:
本发明所述的一种面向多抽象层次电路的可靠性评估方法,包括以下步骤:
步骤1:网表解析及相关量的初始化。
1)读取电路网表。
2)检测电路基本构件间的互连结构,并将隐式串并联关系显示化;然后对电路实施分层,并提取其原始输入端数(用n表示)与原始输出端数(用m表示)。
3)提取电路的第i个原始输入端信号,并构建其基于混合编码的概率转移矩阵(probabilistic transfer matrix,PTM)(用PMsi表示)、理想转移矩阵(ideal transfer matrix,ITM)(用IMsi表示)与输入概率分布(用pdsi表示)。
其中,i指原始输入端序号。 psi0与psi1分别指第i个原始输入端信号为0与1的故障概率,pdi指第i个原始输入端信号为0的概率分布,psi0、psi1与pdi均为可调参数,可通过其它技术获取或根据经验设置。第i个原始输入端的输入信号为0时用码段“01”编码,输入信号为1时用码段“10”编码,其它不相关码段用“00”编码。
步骤2:电路基本构件可靠度的迭代传播。
1)按分层顺序提取电路的第j个基本构件,并通过真值表法构建其基于混合编码的PTM(用PMj表示)与ITM(用IMj表示)。其中,该构件的二进制码元表示为十进制码元表示为pjh(指第j个电路基本构件在第h类输入状态下的故障概率,它为可调参数,可通过其它技术获取或根据经验设置)。
2)构建当前电路基本构件第k个输入端基于混合编码的可靠度加载矩阵(用MRajk表示)与理想加载矩阵(用IRajk表示)以及概率分布(用pdgjk表示),并利用张量积获取该构件基于混合编码的可靠度加载矩阵(用MRaj表示)与理想加载矩阵(用IRaj表示)以及输入概率分布(用pdgj表示)。然后,构建该构件第k个输入端基于十进制编码的输入概率分布(用pdgdkj表示),并利用张量积获取构件相对应的输入概率分布(用pdgdj表示)。检测MRaj与IRaj中含有码段为“11”的元素,并标记为“非法”,且将其从结果中剔除,并保持结果的顺序不变;检测pdgj中十进制码元的代数和,将其不为1的进行归一化处理。
3)分别用公式Roj=pdgj×((MRaj×PMj).×(IRaj×IMj))与pdgoj=[··01··01··01,0, ··10··10··10,1].×[pdgdj×IMj]计算该电路基本构件的输出可靠度(用Roj表示)与输出概率分布(用pdgoj表示)。
其中,j指电路基本构件的序号,h指电路基本构件的输入状态序号,k指电 路基本构件的输入端序号。 pdgdjk=[pdjk,1-pdjk],Rk指该构件第k个输入端的输入可靠度,pdjk指该构件第k个输入端的输入概率分布。MRajk、IRajk与pdgjk在与第i个原始输入端信号相关时,其输入信号为0下的第i个二进制码段用“01”编码,输入信号为1下的第i个二进制码段用“10”编码,否则用码段“00”编码。元素间的运算在相同编码方式的码元间进行,单维编码元素用0补充完整且二进制码元间的乘法运算执行“按位与”运算。
步骤3:输出电路可靠度以作为设计依据。
1)读取m值,在m=1时,直接输出整个电路的可靠度评估结果。否则,输出整个电路各原始输出端可靠度评估结果的乘积。
2)提取输出结果以供电路设计人员使用。
本说明书实施例所述的内容仅仅是对发明构思的实现形式的列举,本发明的保护范围不应当被视为仅限于实施例所陈述的具体形式,本发明的保护范围也及于本领域技术人员根据本发明构思所能够想到的等同技术手段。
Claims (1)
1.一种面向多抽象层次电路的可靠性评估方法,通过以下具体步骤实现:
步骤1:网表解析及相关量的初始化;
1)读取电路网表;
2)检测电路基本构件间的互连结构,并将隐式串并联关系显示化;然后对电路实施分层,并提取其原始输入端数n与原始输出端数m;
3)提取电路的第i个原始输入端信号,并构建其基于混合编码的概率转移矩阵PMsi、理想转移矩阵IMsi与输入概率分布pdsi;
其中,i指原始输入端序号; psi0与psi1分别指第i个原始输入端信号为0与1的故障概率,pdi指第i个原始输入端信号为0的概率分布,psi0、psi1与pdi均为可调参数,可通过其它技术获取或根据经验设置;第i个原始输入端的输入信号为0时用码段“01”编码,输入信号为1时用码段“10”编码,其它不相关码段用“00”编码;
步骤2:电路基本构件可靠度的迭代传播;
1)按分层顺序提取电路的第j个基本构件,并通过真值表法构建其基于混合编码的概率转移矩阵PMj与理想转移矩阵IMj;其中,该构件的二进制码元表示为十进制码元表示为pjh,指第j个电路基本构件在第h类输入状态下的故障概率,它为可调参数,可通过其它技术获取或根据经验设置;
2)构建当前电路基本构件第k个输入端基于混合编码的可靠度加载矩阵MRajk与理想加载矩阵IRajk以及概率分布pdgjk,并利用张量积获取该构件基于混合编码的可靠度加载矩阵MRaj与理想加载矩阵IRaj以及输入概率分布pdgj;然后,构建该构件第k个输入端基于十进制编码的输入概率分布pdgdkj,并利用张量积获取构件相对应的输入概率分布pdgdj;检测MRaj与IRaj中含有码段为“11”的元素,并标记为“非法”,且将其从结果中剔除,并保持结果的顺序不变;检测pdgj中十进制码元的代数和,将其不为1的进行归一化处理;
3)分别用公式Roj=pdgj×((MRaj×PMj).×(IRaj×IMj))与pdgoj=[··01··01··01,0,··10··10··10,1].×[pdgdj×IMj]计算该电路基本构件的输出可靠度Roj与输出概率分布pdgoj;
其中,j指电路基本构件的序号,h指电路基本构件的输入状态序号,k指电路基本构件的输入端序号; pdgdjk=[pdjk,1-pdjk],Rk指该构件第k个输入端的输入可靠度,pdjk指该构件第k 个输入端的输入概率分布;MRajk、IRajk与pdgjk在与第i个原始输入端信号相关时,其输入信号为0下的第i个二进制码段用“01”编码,输入信号为1下的第i个二进制码段用“10”编码,否则用码段“00”编码;元素间的运算在相同编码方式的码元间进行,单维编码元素用0补充完整且二进制码元间的乘法运算执行“按位与”运算;
步骤3:输出电路可靠度以作为设计依据;
1)读取m值,在m=1时,直接输出整个电路的可靠度评估结果;否则,输出整个电路各原始输出端可靠度评估结果的乘积;
2)提取输出结果以供电路设计人员使用。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510349883.1A CN104933252B (zh) | 2015-06-23 | 2015-06-23 | 一种面向多抽象层次电路的可靠性评估方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510349883.1A CN104933252B (zh) | 2015-06-23 | 2015-06-23 | 一种面向多抽象层次电路的可靠性评估方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN104933252A true CN104933252A (zh) | 2015-09-23 |
CN104933252B CN104933252B (zh) | 2017-12-29 |
Family
ID=54120418
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201510349883.1A Active CN104933252B (zh) | 2015-06-23 | 2015-06-23 | 一种面向多抽象层次电路的可靠性评估方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN104933252B (zh) |
Cited By (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN105372579A (zh) * | 2015-10-16 | 2016-03-02 | 浙江工业大学 | 一种快速有效的电路单元重要性测度方法 |
CN106570293A (zh) * | 2016-11-14 | 2017-04-19 | 浙江工业大学 | 一种基于eptm模型的电路信号可靠性的概率计算方法 |
CN107181963A (zh) * | 2017-03-31 | 2017-09-19 | 武汉斗鱼网络科技有限公司 | 一种视频压缩方法及装置 |
CN107871035A (zh) * | 2017-09-27 | 2018-04-03 | 浙江工业大学 | 一种快速有效的电路输入向量敏感性计算方法 |
CN108320767A (zh) * | 2018-02-12 | 2018-07-24 | 河海大学常州校区 | 一种组合逻辑电路抗单粒子错误的选择性加固方法 |
CN109614074A (zh) * | 2018-10-23 | 2019-04-12 | 同济大学 | 基于概率转移矩阵模型的近似加法器可靠度计算方法 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1851721A (zh) * | 2006-05-23 | 2006-10-25 | 信息产业部电子第五研究所 | 一种砷化镓单片微波集成电路的可靠性评估方法 |
CN101251835A (zh) * | 2008-04-07 | 2008-08-27 | 昆明理工大学 | 一种±800kV换流站主接线可靠性评估方法 |
CN103176077A (zh) * | 2012-12-06 | 2013-06-26 | 华中科技大学 | 一种数控成品电路板在环境综合作用下的可靠性快速测评方法 |
-
2015
- 2015-06-23 CN CN201510349883.1A patent/CN104933252B/zh active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1851721A (zh) * | 2006-05-23 | 2006-10-25 | 信息产业部电子第五研究所 | 一种砷化镓单片微波集成电路的可靠性评估方法 |
CN101251835A (zh) * | 2008-04-07 | 2008-08-27 | 昆明理工大学 | 一种±800kV换流站主接线可靠性评估方法 |
CN103176077A (zh) * | 2012-12-06 | 2013-06-26 | 华中科技大学 | 一种数控成品电路板在环境综合作用下的可靠性快速测评方法 |
Non-Patent Citations (3)
Title |
---|
王真等: "基于概率转移矩阵的电路可靠性并行计算方法", 《小型微型计算机系统》 * |
肖杰等: "一种基于迭代PTM模型的电路可靠性评估方法", 《计算机学报》 * |
肖杰等: "面向晶体管级广义门电路的 PTM 可靠性计算", 《中国科学》 * |
Cited By (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN105372579A (zh) * | 2015-10-16 | 2016-03-02 | 浙江工业大学 | 一种快速有效的电路单元重要性测度方法 |
CN105372579B (zh) * | 2015-10-16 | 2018-03-02 | 浙江工业大学 | 一种快速有效的电路单元重要性测度方法 |
CN106570293A (zh) * | 2016-11-14 | 2017-04-19 | 浙江工业大学 | 一种基于eptm模型的电路信号可靠性的概率计算方法 |
CN106570293B (zh) * | 2016-11-14 | 2019-07-30 | 浙江工业大学 | 一种基于eptm模型的电路信号可靠性的概率计算方法 |
CN107181963A (zh) * | 2017-03-31 | 2017-09-19 | 武汉斗鱼网络科技有限公司 | 一种视频压缩方法及装置 |
CN107181963B (zh) * | 2017-03-31 | 2019-10-22 | 武汉斗鱼网络科技有限公司 | 一种视频压缩方法及装置 |
CN107871035A (zh) * | 2017-09-27 | 2018-04-03 | 浙江工业大学 | 一种快速有效的电路输入向量敏感性计算方法 |
CN107871035B (zh) * | 2017-09-27 | 2021-04-23 | 浙江工业大学 | 一种快速有效的电路输入向量敏感性计算方法 |
CN108320767A (zh) * | 2018-02-12 | 2018-07-24 | 河海大学常州校区 | 一种组合逻辑电路抗单粒子错误的选择性加固方法 |
CN109614074A (zh) * | 2018-10-23 | 2019-04-12 | 同济大学 | 基于概率转移矩阵模型的近似加法器可靠度计算方法 |
CN109614074B (zh) * | 2018-10-23 | 2022-10-25 | 同济大学 | 基于概率转移矩阵模型的近似加法器可靠度计算方法 |
Also Published As
Publication number | Publication date |
---|---|
CN104933252B (zh) | 2017-12-29 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN104933252B (zh) | 一种面向多抽象层次电路的可靠性评估方法 | |
CN106066919B (zh) | 应用于近/亚阈值数字电路的统计静态时序分析方法 | |
US7890915B2 (en) | Statistical delay and noise calculation considering cell and interconnect variations | |
US8924906B2 (en) | Determining a design attribute by estimation and by calibration of estimated value | |
US8060355B2 (en) | Automatic, hierarchy-independent partitioning method for transistor-level circuit simulation | |
US8095354B2 (en) | Power consumption peak estimation program for LSI and device therefor | |
CN112417798B (zh) | 一种时序测试方法、装置、电子设备及存储介质 | |
CN105279345B (zh) | 一种航天器用数字软ip核评测方法 | |
Xiao et al. | A fast and effective sensitivity calculation method for circuit input vectors | |
Rajaei et al. | Soft error rate estimation for combinational logic in presence of single event multiple transients | |
US20090254331A1 (en) | Compact circuit-simulation output | |
US8495544B2 (en) | Statistical delay and noise calculation considering cell and interconnect variations | |
Paliaroutis et al. | A placement-aware soft error rate estimation of combinational circuits for multiple transient faults in CMOS technology | |
Shazli et al. | Using boolean satisfiability for computing soft error rates in early design stages | |
CN105372579B (zh) | 一种快速有效的电路单元重要性测度方法 | |
Fazeli et al. | A fast and accurate multi-cycle soft error rate estimation approach to resilient embedded systems design | |
Saraswat et al. | Fast passivity verification and enforcement via reciprocal systems for interconnects with large order macromodels | |
Kriebel et al. | ACSEM: Accuracy-configurable fast soft error masking analysis in combinatorial circuits | |
US8341574B2 (en) | Crosstalk time-delay analysis using random variables | |
Hamad et al. | Efficient and accurate analysis of single event transients propagation using smt-based techniques | |
Pagliarini et al. | Snap: A novel hybrid method for circuit reliability assessment under multiple faults | |
US8145442B2 (en) | Fast and accurate estimation of gate output loading | |
Vaghef et al. | Node-to-node error sensitivity analysis using a graph based approach for VLSI logic circuits | |
Raji et al. | A practical metric for soft error vulnerability analysis of combinational circuits | |
Vaghef et al. | A graph based approach for reliability analysis of nano-scale VLSI logic circuits |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |