CN107797051A - 自动测试样式生成的电路建模方法以及自动测试样式生成电路 - Google Patents
自动测试样式生成的电路建模方法以及自动测试样式生成电路 Download PDFInfo
- Publication number
- CN107797051A CN107797051A CN201710761584.8A CN201710761584A CN107797051A CN 107797051 A CN107797051 A CN 107797051A CN 201710761584 A CN201710761584 A CN 201710761584A CN 107797051 A CN107797051 A CN 107797051A
- Authority
- CN
- China
- Prior art keywords
- circuit
- switch
- test pattern
- automatic test
- modeled
- 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.)
- Withdrawn
Links
Classifications
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/317—Testing of digital circuits
- G01R31/3181—Functional testing
- G01R31/3183—Generation of test inputs, e.g. test vectors, patterns or sequences
- G01R31/318342—Generation of test inputs, e.g. test vectors, patterns or sequences by preliminary fault modelling, e.g. analysis, simulation
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/317—Testing of digital circuits
- G01R31/3181—Functional testing
- G01R31/3185—Reconfiguring for testing, e.g. LSSD, partitioning
- G01R31/318533—Reconfiguring for testing, e.g. LSSD, partitioning using scanning techniques, e.g. LSSD, Boundary Scan, JTAG
- G01R31/318583—Design for test
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/36—Circuit design at the analogue level
- G06F30/367—Design verification, e.g. using simulation, simulation program with integrated circuit emphasis [SPICE], direct methods or relaxation methods
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/317—Testing of digital circuits
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/317—Testing of digital circuits
- G01R31/3181—Functional testing
- G01R31/3185—Reconfiguring for testing, e.g. LSSD, partitioning
- G01R31/318533—Reconfiguring for testing, e.g. LSSD, partitioning using scanning techniques, e.g. LSSD, Boundary Scan, JTAG
- G01R31/318583—Design for test
- G01R31/318591—Tools
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2111/00—Details relating to CAD techniques
- G06F2111/20—Configuration CAD, e.g. designing by assembling or positioning modules selected from libraries of predesigned modules
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Microelectronics & Electronic Packaging (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- Tests Of Electronic Circuits (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
本发明提供一种自动测试样式生成的电路建模方法、非暂态计算机可读存储介质以及自动测试样式生成电路,该电路包含:处理器;以及非暂态计算机可读存储介质,其上包含储存的指令,该些指令在由处理器运行时,执行自动测试样式生成的电路建模方法,该电路建模方法包含:接收一电路的模拟电路表示;以及通过用开关替换该模拟电路表示的模拟电路元件并将该电路中的错误建模为开关,产生该电路的开关级表示。因为本发明的自动测试样式生成的电路建模方法以及自动测试样式生成电路与非暂态计算机可读存储介质能够更高效地生成电路的自动测试样式。
Description
相关申请
本申请要求于2016年8月30日申请的标题为“Efficient Cell-Aware FaultModeling by Switch-Level Test Generation”的号码为62/381,040的美国临时案的优先权,其整体被纳入以作参考。
技术领域
本发明大体关于产生自动测试样式生成(automatic test pattern generation)的开关级别(switch-level)电路模型。
背景技术
半导体芯片可测试来验证它们的操作。半导体芯片的测试必需要一个测试设备采用各信号样式的多种组合。基于现代集成电路的复杂度,需要测试的样式的数量可有成千上万。自动测试样式生成(自动测试样式生成)是指生成测试样式的各种排列(permutations)来彻底测试一芯片。测试样式生成依靠芯片上电路的模型来产生测试不同错误的测试样式。
发明内容
因此,本发明为解决测试电路的问题,特提供一种新的自动测试样式生成的电路建模方法以及自动测试样式生成电路与非暂态计算机可读存储介质。
本发明一方面提供一种自动测试样式生成的电路建模方法,该电路建模方法包含:接收一电路的模拟电路表示;以及通过用开关替换该模拟电路表示的模拟电路元件并将该电路中的错误建模为开关,产生该电路的开关级表示。
本发明另一方面提供一种非暂态计算机可读存储介质,其上包含储存的指令,该些指令在由处理器运行时,执行自动测试样式生成的电路建模方法,该电路建模方法包含:接收一电路的模拟电路表示;以及通过用开关替换该模拟电路表示的模拟电路元件并将该电路中的错误建模为开关,产生该电路的开关级表示。
本发明又一方面提供一种自动测试样式生成电路,包含:处理器;以及非暂态计算机可读存储介质,其上包含储存的指令,该些指令在由处理器运行时,执行自动测试样式生成的电路建模方法,该电路建模方法包含:接收一电路的模拟电路表示;以及通过用开关替换该模拟电路表示的模拟电路元件并将该电路中的错误建模为开关,产生该电路的开关级表示。
本发明的自动测试样式生成的电路建模方法以及自动测试样式生成电路与非暂态计算机可读存储介质能够更高效地生成电路的自动测试样式。
本发明的这些及其他的目的对于本领域的技术人员来说,在阅读了下述优选实施例的详细说明以后是很容易理解和明白的,所述优选实施例通过多幅图予以揭示。
附图说明
图1显示基于模拟电路仿真的产生自动测试样式生成的模型的流程图。
图2显示一个改进的方法,其能显著降低或消除模拟电路仿真的需求。
图3显示图2的方法可执行方式的范例示意图。
图4显示电阻、电容、短路电路错误及断开电路错误的开关模型。
图5A及5B显示可用于对4-输入AOI22标准单元的开路错误建模的开关级模型(图5A)以及短路电路错误建模的(图5B)示意图。
图5C显示NAND2单元的模拟电路表示的示意图。
图6显示AOI22CMOS单元的通道连接网络。
图7显示CCN-断开电路模型。
图8显示缺陷阻抗ρ所覆盖的整个范围的CCN-断开的Vo(t)波形。
图9显示与互连以及ρ组件值相关的电阻网络。
图10显示CCN-短路缺陷的测试条件。
图11缺陷阻抗ρ所覆盖的整个范围的CCN-短路的Vo(t)波形。
图12显示图5B中节点C与D之间的AOI22桥接错误#12的测试2-周期变换样式的模拟仿真结果。
图13显示计算设备的结构示意图。
具体实施方式
本说明书及权利要求书使用了某些词语代指特定的组件。本领域的技术人员可理解的是,制造商可能使用不同的名称代指同一组件。本文件不通过名字的差别,而通过功能的差别来区分组件。在以下的说明书和权利要求书中,词语“包括”是开放式的,因此其应理解为“包括,但不限于...”。
本申请中描述的技术是关于用来产生测试样式以测试数字电路的错误模型(fault models)。发明人发现并认为现有的模型要么无法获取要测试的数字电路的行为,要么因为模型需要大量模拟仿真而需要大量处理能力。“门级(Gate level)”错误模型已经被用于对逻辑门建模来生成测试样式。可是,随着技术进步且晶体管尺寸继续减小,模拟电路效应变得更显著,并且门级错误模型可能不够应付各种类型的错误。结果,测试样式的生成并非是为了测试这些错误,芯片也可能无法得到充分测试。
为了解决这个问题,已经使用模拟电路仿真来用于提供更高的建模准确度。可是,执行模拟电路仿真来对复杂的现代集成电路建模可能会在计算复杂度上有所限制,且需要几周或几月来执行。在一些实施例中,开关级错误模型可在门级错误模型上具有改进的准确度,并且具有针对模拟电路仿真的降低的计算复杂度。
数字电路设计者可利用已定义的单元库。一个“单元(cell)”可以是一个基本数字电路建构块,例如一个多工器,逻辑门等等。与每次需要都从零开始设计这些建构块不同,电路设计者可从库内选择恰当特征的合适单元,这些特征可以是例如输出驱动能力,功耗,占用面积,等等。为了恰当地测试数字电路,可在库内为每个单元生成一个错误模型。一个错误模型是单元的表示,并考虑了在单元内多个位置的各种错误的可能性。考虑的错误类型的例子可包含卡在逻辑0或1的输入或输出。例如,如果多工器包含三个输入与一个输出,多工器的门级模型可考虑一个或多个输入或输出卡在逻辑0或1的可能性。基于这样的模型,自动测试样式生成可生成一序列的测试信号来测试是否一个多工器的例子是否有这些错误。可是,需要理解这样的门级模型并没有考虑单元内可能发生的所有错误,特别是当晶体管尺寸越来越小而模拟电路效应越来越显著。因此,需要一个更精准模型。
图1显示基于模拟电路仿真的产生自动测试样式生成的模型的流程图。可执行单元布线(Cell layout)及抽取(extraction)。基于抽取的布线,可确定寄生(例如寄生电阻,电容及/或电感)。基于寄生,可产生电路表示(circuit representation)。例如,可生成网表(netlist,例如SPICE网表)。接着电路表示被更新来纳入一或多个要测试的错误。对于每个错误,对输入与模拟输入水平的各种组合运行一个模拟电路仿真来确定该错误对每个组合的效果(例如在模拟电路仿真工具中,例如是HSPI CE)。基于仿真结果,生成一个可用于自动测试样式生成的单元的模型。
发明人已经意识并了解到执行模拟电路仿真是一个瓶颈,且需要数周或数月来运行库中所有的单元。“测试平台生成器(Testbench generato r)”块(block)生成所有可能的输入条件。例如,一个4-输入单元可导致产生32个2-周期样式。一个单元库,具有3种操作条件,200个单元,平均每个单元32样式,每个单元200缺陷,每个缺陷3个参数会导致有11,520,000次SPICE运行。假如每个SPICE要2秒,这就需要267.7天来处理库。为了在7天内处理库,需要38个SPICE许可来在计算工厂(computing farm)内并行运行38个任务。
图2显示一个改进的方法,其能显著降低或消除模拟电路仿真的需求。在步骤S1,可产生一个包含一或多个缺陷的开关级电路表示。开关级电路表示可覆盖多数(如果不能覆盖所有)的缺陷,使得模拟电路仿真的数量得到降低或消除。在步骤S2,开关级电路表示可接着用于自动测试样式生成。在一些实施例中,图2中的方法需要不到图1中的方法的0.25%的计算。
图3显示图2的方法可执行方式的范例示意图。在图3的例子中,包含寄生与错误的电路表示转换为开关级电路表示。寄生与错误是以它们的模拟电路表示方法所表示,例如电容及电阻,被转换成具有合适门驱动信号(gate drive signals)的开关。例如,如图4所示,电阻可转换为一个NMOS开关,其包含施加到栅极上的逻辑1,且电容可转换为一个NMOS开关,其包含施加到栅极上的逻辑0。可选的,一个PMOS开关也可包含相反的逻辑值施加到栅极来使用。图4显示缺陷可被建模为开关卡在断开或关闭状态。一个短路电路错误可建模为一个NMOS开关,其栅极绑定到逻辑1。一个开路电路错误可建模为一个NMOS开关,其栅极绑定到逻辑0。可选的,PMOS开关也可用反向值施加到栅极。
图5A及5B显示可用于对4-输入AOI22标准单元的开路错误建模的开关级模型(图5A)以及短路电路错误建模的(图5B)示意图。需要理解的是,这里描述的技术并不限于这样的一个单元,其也可应用于任何可用单元、单元的部分或单元的组合。图5A显示开路电路错误(例如开关卡在断开)的开关级可被插入的位置来代表单元中的开路电路错误。图5B显示短路电路错误(例如开关卡在闭合)的开关级可插入的位置,来代表单元中的短路电路错误。
电路表示的一个例子是网表。网表包含电路的文字表示(textualrepresentation),例如包含的电路组件以及它们的内部连接。网表可由模拟电路仿真工具使用,例如SPICE,用于执行各种输入参数的仿真。模拟电路表示可以是网表,其描述了例如电容,电阻与晶体管等各电路元件之间的内部连接。在一些实施例中,转换模拟电路表示可包含用前述的开关来替换模拟电路表示中的电容与电阻。如果一个模拟电路表示包含网表,转换网表为开关级表示可通过用开关替换网表的电阻与电容。举例来说,网表中代表电阻与电容的文字可被代表开关的文字所替换,这些开关的输入绑定合适的逻辑水平。在一些实施例中,转换可由包含指令的软件自动执行,这些指令执行时会将网表中代表电阻与电容的文字替换成输入绑定到预定逻辑水平的输入的开关的文字。类似的转换也可对表示为电阻或电容的错误执行。关于将模拟电路表示转换为开关级电路表示的更具体例子会在下面描述。
TABLE 1表1:NAND2单元的SPICE网表
如上所述,网表可代表通过网互相连接端子的电气设备。对于标准数字单元,模拟电路网表可包含晶体管,电阻与电容。晶体管包含3个功能性端子(漏极、栅极与源极)与绑定到供电轨道的第4非功能性端子(bulk)。布线中的连线寄生(Wiring parasitics)被抽取为2端子的电阻及电容。每个设备具有额外的参数,这些参数控制它们的电气行为,其用于标准单元的准确模拟电路仿真。
图5C显示NAND2单元的模拟电路表示的示意图。SPICE网表重现于表1中。模拟参数在SPICE网表中不显示,因为它们在创建开关级网表中被忽略。单元具有2个功能性输入{A1,A2}及1个输出{ZN},与供电轨道{VDD,VSS}。有4个晶体管{M*},其中2个NMOS,2个PMOS。14个寄生电阻{R*}与12个寄生电容{C*}。每个位于文字网表中的设备端子会由一个网名(net name)所占用。分享同个网名的端子互相连接。排除单元外部的端口{A1,A2,ZN,VDD,VSS},范例单元中有14个网。
SPICE网表可转换为下面简化的开关级网表。每个晶体管都转换为同样类型的逻辑开关(忽略块端子,bulk terminal)。每个电阻转换为栅极绑定到逻辑1的NMOS开关。每个电容转换为栅极绑定到逻辑0的NMOS开关。网的映射保持不变且连接到开关级网表中的开关端子。
表2显示NAND2单元从SPICE到开关级的网表转换。虽然SPICE模拟参数被忽略,开关具有的离散导电性以及网具有的离散电容强度值决定标准单元的开关级仿真的数字行为。强度值(Strength values)根据设计风格的工作原理来分配。八个强度值就足够捕捉大多数数字设计类型的行为。在由布莱恩特(Bryant)定义的开关级代数中,最强的输入强度被分配给供电轨道,而最弱的强度是代数的空(NULL)元素。对于数字CMOS电路,NMOS及PMOS开关具有同样的导电强度2。电阻与电容开关具有导电强度3(对于缺陷建模)。所有网具有电容强度2,除了单元输出是分配了3。单元输入分配为。八个强度值从最强到最弱排列如下:
缺陷的各种类型都与SPICE中的电气设备相关。一个“卡在断开(stuck-open)”的晶体管无法在正常情况下完全开启。一个“卡在关闭”的晶体管无法在正常情况下完全关闭。一个布线图中的“断开”线段意味着在对应寄生电阻时具有高于一般的阻抗。布线图中两个不同线段间的一个“短路”意味着对应寄生电容的端子间的阻性桥(resistivebridge)。
可如下获取等效的开关级缺陷。一个“卡在断开(stuck-open)”晶体管映射为一个没法在漏极与源极之间传导信号的开关。上面这样就代表一个开关的卡在断开的错误。一个“卡在关闭(stuck-closed)”的晶体管映射成一个没法关闭漏极与源极信号传导的开关。上面这样就代表一个开关卡在闭合的错误。一个“断开(open)”的寄生电阻映射到栅极绑定到逻辑-1的对应NMOS开关的卡在断开的错误。一个寄生电容的“短路”映射到栅极绑定到逻辑0的对应NMOS开关的卡在闭合的错误。请注意,模拟缺陷可具有一定范围的参数值(例如,一个阻性短路缺陷的参数值{1欧姆,1K-欧姆,1M-欧姆})。对应的开关级缺陷并不需要这样的参数值,这是因为它们的目的是要作为开关级测试生成的种子目标(seed objectivesfor switch-level test generation,SL-ATPG)。
请再次参考图2,一旦生成了一个开关级电路模型,可用于自动测试样式的生成。在传统的单元感知错误建模流程(cell-aware fault mode ling flow)中,施加给单元输入的候选样式是在SPICE中仿真的(慢速模拟仿真器,slow analog simulator),一次是在进入无缺陷情况(defect-free case)下,另一次是在每个缺陷及相关缺陷参数值。比较没有缺陷(defect-free)与加入缺陷(defect-injected)情况的单元输出响应的差别来确定候选样式是否能探测该缺陷以及相关的参数值,例如是输出卡住(stuck-at)或变换延迟(transition delay)错误。确定的一个缺陷探测样式就成为单元感知错误模型的一部分。在缺陷矩阵中,每个条目(entry)都包含单元输入样式,输入错误类型(卡住或变换延迟),以及对应的探测的缺陷。SL-ATPG通过针对等效开关级缺陷而直接获取有用的输入样式,而不需要经过传统的“试错(trial-an-error)”的流程。SL-ATPG使用熟知及有效的测试技术(例如PODEM的技术)来指导寻找有用输入样式的搜寻。这些搜寻的流程涉及到使用开关级仿真(强度的量级要比模拟仿真快,orders of magnitude faster than analogsimulation)来引导如何分配单元输入,就是那个输入应该分配什么逻辑值。如果没有找到有用的输入样式,SL-ATPG指定该缺陷为不可探测。使用与设计风格相关的电路性能知识,很多类型的缺陷的输出错误模型可直接推导。在很多情况下,一个高明的选择的缺陷参数值的模拟错误仿真(基于电路理论)可用于确认/生效单元感知错误模型。
表2
附录
本申请描述了一种技术,其能够显著降低现存的昂贵的模拟错误仿真来创建单元感知错误模型。通过开发一般CMOS设计的低功耗属性,晶体管级的网表大多数缺陷包含可由两种规范(canonical)的错误类别代表的寄生。使用电路分析,我们显示错误行为完全是可预测的,因为缺陷阻抗值从零到无穷,这样就排除了需要在多个参数值处的电路仿真。这两个规范的错误类别可用卡在断开与卡在闭合错误的晶体管开关来建模。与模拟错误仿真枚举全部的单元输入样式来搜寻缺陷探测条件不同,开关级测试生成可直接获取那些输入条件,因此显著降低了模拟仿真的地位,仅仅是用于探测有效性方面对条件排序(rankingconditions)。
第一部分
介绍
当今的复杂芯片上系统的数字部分大多由使用自动的RTL-to-GDS的工具链流程从预定的标准单元中建立得到。每个单元使用多个输出驱动配置所提供的一个逻辑功能。单元功能从简单到复杂且覆盖组合性与顺序性的行为。逻辑合成工具将设计的RTL描述映射为互连的标准单元的网表。额外的工具然后对网表执行进一步优化来达到面积,时间,功率,以及测试目标,同时设计实施被转换为生产的实体的遮罩层(physical mask layers)。
对于测试来说,扫描(scan)测试设计(design-for-test,DFT)方法使能自动测试样式生成(ATPG)来针对在单元I/O引脚及互连表上的错误。一般的错误模型包含卡住(stuck-at,SAF),变换延迟(transition delay,TDF),以及互连桥(interconnectbridges)。致力于达到更高质量,近来引进单元感知测试(cell-aware testing,CAT)来提高标准单元内的发生的缺陷的覆盖率。虽然每个标准单元用晶体管实施,之前的ATPG工具只能与该同个单元的一个功能上等效的布尔(Boolean)门级表示运行。因此,对于CAT,在晶体管级发生的缺陷需要映射到门级。这样的任务被描述为基于技术的CAT视觉生成(technology-dependent CAT view generation)。
在CAT视觉生成中,每个缺陷都被注入(injected)进单元的SPICE网表,且执行模拟仿真来寻找能在一个或多个单元输出上产生SAF或TDF效果的所有单元输入条件。输入条件与输出错误效果组(set of input conditions and output fault effects)接着成为所谓的用户定义错误模型(user-defined fault model,UDFM),这发到门级ATPG来进行全芯片处理。在门级中,UDFM通过对额外单元输入引脚引入逻辑约束(logic constraints)来扩展现有的SAF与TDF模型,以更好反应关于晶体管实施的每个内部缺陷如何影响单元外部行为的理解。
虽然技术库的CAT视觉生成是个一次性的描述工作,其仍涉及大量模拟错误仿真运行,这需要几周来完成;或者需要过多的SPICE仿真器许可来并行处理,而这会占用可用于其他设计任务的珍贵的计算资源。而且,UDFM是一种模拟错误效果的数字抽象,意味着模拟仿真的很多精准细节无法传达,因为让门级ATPG工具来完全考虑百万级门的设计尺寸是不实际的。可是,一些模拟信息可对提高生成的样式的有效性有帮助。最后,对于特定类型的缺陷,单独(stand-alone)单元描述可能不准确,因为模拟仿真未能考虑单元个体引脚(cell instance pins)处的设计内容依赖(design context dependency)。最后一点会在后面的第II-B部分中具体说明。
本发明解决了上面提到的CAT视觉生成的不足。依靠CMOS标准单元设计的两个基本属性,可以看出,晶体管通道连接(channel-connected)的网络可以归类为两个广泛的类别。同一个类别中所有缺陷都具有共同的测试策略,以及可通过在单个电阻的整个值范围内变化电阻参数来使用同一个电路模型描述缺陷行为。而且,在一个极限电阻值的最多一个模拟仿真就足够确定在特定输入条件下缺陷的最大影响。通过比较最大影响,输入条件可以它们的探测有效性(detection effectiveness)来排序。这样的排序能够在门级ATPG时指导决策。
在一些实施例中,使用开关级ATPG(SL-ATPG)来推导(reason)下面的切换逻辑并快速锁定所有缺陷探测的输入条件。在门级设计中,ATPG替换了单独(stand-alone)的试错(trial-and-error)错误仿真,因为ATPG算法使用逻辑结构的知识,以高效地搜寻有用的输入样式。类似地,运行在一个晶体管简化的模型上的SL-ATPG比模拟错误仿真高效几个数量级,因为模拟错误仿真的检查缺陷探测要进行所有枚举的输入条件以及瞬态分析(transient analysis)。在搜寻有用的输入条件时,一个类别的缺陷可以用卡在断开/关闭或卡在闭合/开启的开关来表示。在生成CAT视觉的整个流程中,SL-ATPG可不完全替换模拟错误仿真,但可以接手那些不需要模拟电路级细节的任务。例如,SL-ATPG能在因重汇聚扇出(reconvergent fanout)而几乎逻辑上不可能感测缺陷的条件时快速确定(大多数单元输入端口扇出到NMOS与PMOS晶体管,这些晶体管汇聚到同个通道连接的CMOS开关网络)。模拟错误仿真会需要在达到同样结论前尝试所有枚举条件。
在这个附录中,我们使用一个16-nm FinFET技术库中的AOI22标准单元来传达主要思想,后续会用从SL-ATPG与模拟仿真中获取的试验结果来进一步展现。第二部分介绍了技术并对开关级建模与测试的关键概念做详细说明。第三部分与第四部分分别分析了规范类别(canonical classes)的“断开”与“短路”错误,引领能使CAT视觉生成的思考更高效。
第二部分
术语及概念
A.通道连接的网络
在CMOS电路中使用的基本晶体管是三端设备。栅极(g)端控制源极(s)端与漏极(d)端之间的通道流经的电流。逻辑上,晶体管建模为一个理想开关,其中对于NMOS(PMOS),g=1(0)使能通道内的双向信号流,且g=0(1)截断信号流。后续的讨论在图6中使用AOI22CMOS单元的开关级原理。结构上,通道连接网络(channel-connected network,CCN)由开关(从号码1到8)组成,它们由通道及节点(标号为C,D,E,Y)连接通道端口s与d。CCN(阴影部分)由电源节点Vdd及Gnd所包围。通常,电源节点连接很多CCN,但是CCN中的活动并不通过电源节点耦接。CCN开关端是由单向输入(A0,A1,B0,B1)驱动,且它们决定CCN节点的状态。一些CCN节点被分配为输出(Y),其一般送g输入给其他CCN。
在仿真设计行为时,CCN组成一个自然分区(natural partitioning),其中信号通过严格的单向开关g输入从一个CCN流到下一个CCN。在一个CCN中,流经双向通道的信号是由g输入控制,且一个迭代算法用来同时解决多个节点的状态。当一个CCN通过开关g输入送给另一个CCN时,一个关键方面是下游CCN的行为并不影响上游CCN的行为,除非在设计网表中有清楚的反馈信号路径。
B.设计上下文依赖(Design Context Dependency)
图6中的单个CCN例子正好匹配了库单元。但是这也并不总是如此。更大单元可能包含多个CCN,例如一个完全加法单元(full-adder cell)。更有趣的是,单个CCN也可覆盖(span)多个库单元。使用CMOS传输门实施的传输开关逻辑(pass-switch logic)的单元中发生该情况。这样的一个单元可具有直接馈入通道端的输入端口。在设计中,这样的单元个体引脚(cell instance pins)会被其他单元个体引脚驱动。因此,驱动与接收CCN汇聚而形成设计中的一个单独的CCN。
设计依赖的CCN的形成对特定缺陷类型的CAT视觉生成具有很重要的含义。考虑到PortBridge缺陷的情况。在图6中,假设输入端口A1与B0用阻性桥(resistive bridge)缺陷互相短接。在一个单独CAT视觉生成中,模拟仿真环境用电压源驱动A1与B0。这非常不准确,因为在设计中A0与B0都是由其他单元个体的输出所驱动。通过该桥,这些驱动的具体个体(instance-specific)的CCN汇聚成一个并需要一起被仿真来确定连接到A1与B0的节点上的正确电压。正确电压然后用于正确仿真缺陷是如何影响接收CCN的行为。
开关g-to-s/d桥缺陷也会面临同样问题。如果g用单元的一个输入端口所驱动,桥汇聚了CCN驱动g与包含s-d通道的CCN。设计中的每个缺陷个体会潜在地产生独特的汇聚CCN配置。单独的标准缺陷描述可能无法精准捕捉到该独特的设计上下文依赖行为。
严格在同个CCN内部的缺陷具有与CCN输出节点相关的最小或可控的设计上下文依赖。这些可包含:Open,Bridge,Tleak,以及Tdrive。本附录的剩余部分会聚焦在这些缺陷类型上。
C.开关级模型,错误与ATPG
从连续域抽象到离散域,开关级模型允许的数字MOS电路在晶体管级操作的快速分析,而不需要承受模拟仿真的全部花费。该模型捕捉到一些重要方面,例如双向信号流,相关导电/电容强度,充电存储/分享,以及强健时序行为(robust timing behavior)。通过既扩展正式的开关级算法来处理决定选择又改写PODEM ATPG的高效分支-及-边界(branch-and-bound)搜寻策略与启发法(heuristics),开发了SL-ATPG算法来针对开关卡在断开及卡在闭合的错误。对于卡在断开错误,SL-ATPG工具能生成横跨多个时间帧(最大到由用户定义的最大值)的样式,这些样式可以抵抗时序错误(timing hazards)及充电共享的消耗。
CAT的最新发展又唤起通过更有效测试生成机制来探测单元内部缺陷的兴趣。这些发展的一个共同的策略是使用转换法来将晶体管级转换为门级域并对门级域电路采用布尔算法来进行测试,并保留要测试的缺陷行为的必要方面。可是,这些转换假设CMOS实施的完全互补的NMOS与PMOS的开关网络,这会碰到实际的限制,当单元采用不同的结构,例如是传输开关逻辑(pass-switch logic)。影响测试品质的更细微的CCN行为也可能在转换中丢失。SL-ATPG是一种更普通且可用的替代品,其能处理更广范围的设计情况且具有更高的实施保真度。借助过去三十年来计算能力的指数级增长,SL-ATPG能轻松应付库单元或几个汇聚CCN的电路复杂度。
虽然原始设计是针对功能性开关,SL-ATPG也能对付与无源互连及寄生R/C元件相关的错误。例如,对一个断开的连线建模,用一个虚拟NMOS开关替换该连线,NMOS开关的通道s/d端子匹配两个连线的端子,且绑定该g端子到逻辑-l(总是导电)。断开的连线就等效于开关的卡在断开错误。类似地,对两个节点间的桥进行建模,插入一个虚拟NMOS开关,其通道连接该两个节点且绑定该g端子到逻辑-0(总是断开)。该桥则等效于开关卡在闭合错误。
在图5A中,显示AOI22的原理图中在17个可能的CCN连线分段(号码从9到25)处的断开错误(open faults)。(请注意因为节点的分裂有新的节点标号)。针对存在单个错误假设以及充电共享的优化处理下的上述错误以及8个开关卡在断开错误(stuck-openfaults)(号码从1到8),SL-ATPG生成强健的2-周期样式来达到对25个错误的100%覆盖。
开关及模型分配离散与排序的电容性强度水平κ3>κ2>κ1,给每个非供电节点。当两个节点储存不同的逻辑值由一个开关连接,具有更高强度的节点会占据主动并把它的值传播给另一节点。在之前SL-ATPG试验中,所有非供电节点都被分配κ2。分配κ3给节点Y会防止在输入Y的充电共享的破坏。为了评估充电共享的最差情形,Y被降低到κ2来进行另一轮的SL-ATPG运行,其周期数增加为3,来允许内部结点的额外的“非冲突”初始化。结果显示4个错误(位置是9,10,24,25)是不可测试的,11个错误(位置是1,2,7,8,11,13,14,15,20,22,23)需要强健的3-周期样式,10个错误(位置是3,4,5,6,12,16,17,18,19,21)保持在2-周期样式是强健可测试的(robustly testable)。这些试验展示了SL-ATPG的优点是快速评估充电共享的可靠度。在模拟仿真下做同样的事会以一个等于所有可能节点初始化组合的因子来增加运行的数量,这使得该方式无法接受。
图5B显示涉及CCN节点组{C,D,E,Y}的14个可能的节点对桥接错误(node-pairbridging fault)位置(号码从9到22)。增加8个开关卡在闭合错误(号码从1到8)会使总数到到22。排序的电容性强度为开关导电强度水平,γ3>γ2>γ1>κ's。串联的开关的路径导电性是整组中最小的导电性,这些开关的位置在供电节点。当两个由不同供电节点值驱动的两条路径汇聚到非供电节点,更高强度路径占据主导,驱动其值到节点上。一般地,NMOS与PMOS功能年性开关都分配γ2,因为CMOS设计通常不依赖导电率。可是一个桥接错误会导致同等强度的Vdd与Gnd导电路径之间的驱动冲突,后果是在输出Y的未知值X(好/错误=0/X或1/X,最好是软探测)。为了生成样式来达到在Y的硬探测(好/错误=0/1或1/0),我们进行了两轮SL-ATPG运行,第一轮中所有PMOS开关被弱化而在第二轮中所有NMOS开关被弱化。所有非功能性桥接错误的虚拟开关被分配为γ3来感受它们的影响。
在第一轮中,PMOS开关(号码1–4)弱化为γ1,16个错误(号码5–8,10,12–22)被探测到。在第二轮中,NMOS开关(号码5–8)弱化为γ1,12个错误(号码1–4,9–11,13–15,19–20)被探测到。所有生成的样式都是1-周期且整理过的错误覆盖率是100%,在两轮中都有6个错误(号码10,13,14,15,19,20)能被探测到。因为没有已知布尔基础的方式来测试所有CCN节点间随意的桥接错误(arbitrary bridging faults),SL-ATPG提供了一种有效实际的解决方案。
D.关键CMOS设计属性
低功耗的数字CMOS设计的两个关键属性使能在一个CCN中的缺陷分组为两个规范的类别来做一般处理。属性对于任何实施组合性功能的CCN都是真的。
P1-在稳定状态,所有CCN输出总是被从Vdd或Gnd驱动;从不被两者驱动;从不悬浮(floating)。
P2-在稳定状态,在CCN中Vdd与Gnd之间绝无导通路径。
显然,完全互补的NMOS与PMOS开关网络实施满足这些属性。可是这些属性对于包含使用传输开关逻辑的所有静态CMOS设计也为真。下面的部分分析这两个规范化错误类别,两个错误分别被称作“CCN-断开”与“CCN-短路”。
第三部分.
CCN-断开分析(CCN-Open Analysis)
在定义好的2-周期方案来测试一个CMOS晶体管卡在断开错误中,周期-1绕开(bypasses)错误开关来初始化CCN输出为一个已知值,接着周期-2驱动相反的值到输出上,专门通过卡在断开的开关。错误在周期-2中被探测为SAF,因为在错误电路中,输出电容被能被充电或放电,所以保持在初始值。如果在输出的TDF探测被允许,我们就会扩展该方案,对延迟的输出转换时间(delayed output transition time)进行检查,就是错误电路中较慢的电容充电/放电速率。因为充电/放电速率与路径的RC时间常数成正比,所有路径上可潜在提升阻抗的缺陷也可被探测到。这些CCN-断开缺陷包含Tdrive与Open,这些分别与晶体管及互连的寄生电阻物理相关。
CCN-断开测试可通过图7中简单的RC电路模型来描述,其显示了CCN-断开电路模型。电路在周期-2中反映测试条件,其中Vo(t)是从初始化结束开始时的输出电压。R是充电/放电路径阻抗。C是输出电容。Vi是在周期-1的结束时的初始化电压。Vf是周期-2的驱动电压。最后,τ控制输出变化的速率。
嵌入在R中的是缺陷阻抗(defect resistance)ρ,从最小值(无缺陷)到无穷(完全断开)。通过CMOS设计属性P1,有两种可能情况:
C1-该缺陷由对输出充电到Vdd的路径所感知。因此,2-周期的测试样式必须使Vo=01,就是Vi=0(Gnd)以及Vf=1(Vdd)。
C2-该缺陷由对输出充电到Gnd的路径所感知。因此,2-周期测试样式必须使Vo=10,就是Vi=1(Vdd)以及Vf=0(Gnd)。
两个情况的Vo(t)的波形图显示在图8中,其中R从最小值到无穷变化展现了不同程度的缺陷影响,从最小的小延迟TDF到最坏的悬浮SAF。基于我们的CCN-断开分析,可以得到下面的几个关键点:
K1-TDF是所有CCN-断开缺陷的UDFM,因为需要转换且悬浮SAF只是TDF的一个特殊情况,其中延迟是“永远”。
K2-CCN-断开缺陷可用针对代理开关卡在断开错误(proxy switch stuck-openfaults)的转换样式来探测。
K3-不需要模拟仿真,如果K2中的SL-ATPG能找到所有强健多周期转换样式(robust multi-cycle transition patterns)。
对于关键点K3,模拟仿真可扮演角色来更好地对从SL-ATPG获取的样式进行排序。因为缺陷的阻抗实际值并不知道,可以选择一个比较大的ρ值用来仿真每个样式。通过比较延迟大小的影响,样式可进行排序让门级ATPG来选择,最好选具有最大影响的以增强测试效果。
最后,在CCN-断开电路模型中,输出电容C确实依赖针对个体的外部扇出连接(instance-specific external fanout connections)的设计上下文。可是,从CCN-断开的分析得到的关键总结并不依赖C的实际值。
在CCN-断开类别内,与互连寄生电阻相关的缺陷值得特别关注。在AOI22单元的抽取的SPICE网表中,互连相关的电容与电阻的号码分别为478与29。所有都是缺陷候选,占据了单元的模拟错误仿真时间的很大部分。
考虑到图5A中的互连断开错误(interconnect open fault)#13。一个可能的2-周期测试样式为A0-A1-B0-B1=10-11-11-00。预期的输出Y=01。图9显示与具有ρ组件值(component values)的该互连相关的电阻网络。在周期-2,Vdd通过B1:p-通道,ρ网络对Y充电:以及A0:p-通道如虚线所指示。关于充电路径,ρ网络阻抗是210Ω,其中ρ2与ρ1+ρ3平行得到。当任何一个电阻有一个断开缺陷时,网络的阻抗最多增加到635Ω。输出Y电容为1E-18法拉第,对充电路径的时间常数τ是一个0.425飞秒的增加。
因为有开启的电阻,充电延迟确实增加了,CCN-断开测试的理论仍然有效。但是在模拟错误仿真下,在实际上难以区分的差别会导致错误的测试驳回。错误是因为任何在电阻网络的进口或出口的断开会造成可探测的延迟差别。开启错误#13是一个需要重点探测的“跨线断开(cross-wire open)”的例子。这个例子要注意的真正问题是使用寄生元件当缺陷候选的风险。假如经常发生的平行电阻结构,会产生许多浪费的模拟仿真。有人会认为减少寄生(将所有电阻短路,将所有电容开路)且使用SL-ATPG会导致更高效的样式,而且完成得更快捷。
第四部分
CCN-短路分析(CCN-Short Analysis)
CCN-短路缺陷包含Tleak与Bridge,它们分别物理上与晶体管与互连的寄生电容相关。对于CCN中桥接两个节点的缺陷,有一个必要的测试条件是两个节点处于相反状态;否则缺陷的存在可能不明显。假定相反的节点状态,缺陷的存在会在Vdd与Gnd之间创建一个导电路径。沿着由电阻组成的路径,节点会具有分压值。对于CCN输出的缺陷的电压探测,需要从Vdd-Gnd路径上一节点到那个输出存在一可观测的信号路径。
图10中的RC电路模型显示了CCN-短路缺陷测试条件。Ru(Rd)是节点Vr的上拉(下拉)电阻网络,可观测信号路径是从Vr穿过Ro到输出Vo。总的来说,测试条件采用2-周期样式来允许TDF探测。Vo(t)是从周期-1开始的输出瞬态(output transient)。Vi是输出电容C的初始电压。Vf是到达周期-2的末尾的稳定状态电压。其值是根据Ru与Rd的电阻分压关系得到。最后,τ确定输出变化的速率。
通过CMOS设计属性P2,缺陷无法存在于Ro中;否则Ru与Rd组成一个非错误的Vdd到Gnd路径。通过CMOS设计属性P1,缺陷或存在于Ru中或Rd中来使能到Vdd或Gnd的路径,这一般应该是非导电的。需要考虑以下两种情况:
C3-Rd内的缺陷。2-周期的测试样式必须使Vo=01,就是周期-1中的放电输出电容C,使得Vi=0(Gnd)。在周期-2中,充电C给Vdd,同时缺陷产生一个偷偷的放电路径到Gnd。
C4-Ru中的缺陷。2-周期的测试样式必须使Vo=10,就是周期-1中的充电输出电容C,使得Vi=1(Vdd)。在周期-2,放电C给Gnd,同时缺陷从Vdd产生一个偷偷的充电路径。
图11中显示两个情况的Vo(t)的波形图,桥接阻抗ρ从无穷(无缺陷)到零(最坏情况),展现了影响的不同程度。基于CCN-短路分析,我们可作出如下的关键点:
K4-2-周期TDF是所有CCN-短路缺陷的UDFM,这些CCN-短路缺陷覆盖从零开始的ρ的整个范围。1-周期的SAF UDFM的覆盖的ρ范围更小。
K5-CCN-短路缺陷可被转换样式所探测,转换样式(transition patterns)是针对代理开关卡在闭合错误(proxy switch stuck-closed faults)。因为SL-ATPG产生这些错误的1-周期样式,需要增加一个前置初始化周期(prior initialization cycle),来创建一转换样式。强健转换(Robust transition)是不必要的,因为输出在两个周期内都被驱动。
K6-只需要一个ρ=0的模拟仿真,来确定SAF UDFM是可能的。对于SA0(SA1),Vf必须下落(升起)超过0-阈值(1-阈值)。Vf与阈值之间的间隔可以是一个样式排序的数值—越大越好。
对于CCN-短路,除了在输出电容C的设计上下文依赖(design contextdependency),接收门对于在0-与1-的阈值的Vf有不同的数字翻译。这仅对于1-周期SAFUDFM是个问题,但是对于2-周期的TDF并不是问题,因为后者,任何要达到预期的1或0的显著的延迟都足够用来错误探测。图12显示图5B中节点C与D之间的AOI22桥接错误#12的测试2-周期变换样式的模拟仿真结果。用三个ρ欧姆值来尝试:无缺陷的12T,4K,与零(最坏情况)。对于4K,Vf超过了0.6V的1-阈值,其映射到具有13ps的额外延迟的TDF。对于最坏情形,Vf最终达到了0.39V。因此,对任何ρ值,SA0都被取消资格,可是缺陷可仍被探测为TDF。
第五部分
结论
通过电路分析,我们显示了CCN缺陷如何能被SL-ATPG轻易描述且探测到,而不需要引入昂贵的模拟错误仿真。为了部署CAT视觉生成的SL-ATPG,其需要被修改来搜寻所有有用的输入条件,而非普通操作的“在第一次探测到时停止(stop on first detect)”。PODEM搜寻的早期修整(early pruning)意味着生成的UDFM能包含更多的不需要关心的事项,这会帮助降低门级水平的CAT样式数量。最后,更有效的SL-ATPG有机会来考虑多个单元-内部缺陷及基于设计上下文的针对个体的CAT视觉(instance-specific CAT viewsbased on design context)。
其他方面
在一些实施例中,这里描述的技术可用一个或多个计算设备来实施。实施例并不限于用任何特定类型的计算设备来操作。
图13显示计算设备1000的结构图。计算设备1000可包含一个或多个处理器1001以及一个或多个有形的,非暂态的计算机可读存储介质(例如存储器1003)。存储器1003可在一个有形的、非暂态的计算机可读存储介质中,储存计算机程序指令,当执行这些指令时,实施上述的任何功能。处理器1001可耦接到存储器1003,且可执行任何计算机程序指令来使得功能实现或运行。
计算设备1000也可包含网络输入/输出(I/O)界面1005,通过该界面计算设备可与其他计算设备通信(例如通过网络),也可包含一个或多个用户I/O界面1007,通过该界面计算设备可提供输出给用户或从用户接收输入。用户I/O界面可包含其他设备,例如键盘,鼠标,麦克风,显示设备(例如显示器或触控屏),扬声器,摄像头,以及/或各种其他类型的I/O设备。
上述的实施例可用各种方式实施。例如,实施例可用硬件,软件或两者组合实施。当用软件实施时,软件码可在任何合适的处理器上运行(例如微处理器)或一组处理器,或者以单个计算设备中提供或以多个离散的多个计算设备中提供。需要理解的是,任何执行上述功能的组件或一组组件可以总体上被认做是一个或多个控制上述功能的控制器。该一个或多个控制器能用各种方式实施,例如是用专门的硬件,或用通用的硬件(例如一或多个处理器),其被用微代码或编程来运行上述的功能。
在此方面,需要理解的是此处描述的实施例的一个实施包含至少一个计算机可读存储介质(例如RAM,ROM,EEPROM,闪存,或其他存储技术,CD-ROM,DVD或其他光碟存储,磁碟,磁带,磁盘存储或其他磁性存储设备,或其他有形,非暂态的计算机可读存储介质),其用计算机程序编码(即多个可执行指令),使得当在一个或多个处理器上执行时,执行一个或多个实施例的上述功能。计算机可读介质可被运输,使得储存的程序可被载入到任何计算设备中来实施上述的技术的各个方面。另外,应理解所指的计算机程序,当其被运行时,执行上述的任何功能的计算机程序并不限定为在一个主机上运行的应用程序。相反,这里所指的计算机程序及软件是非常宽泛的意思,是指可用来对一个或多个处理器编程来实施上述技术的各个方面的任何类型的计算机代码(例如应用软件,固件,微代码,或计算机指令的其他任何形式)。
本发明的各个方面可单独使用,或组合使用或以并未在本发明中实施例一中介绍的各种方式安排,因此也并不限定于本发明中描述的或附图中显示的细节与组件的安排。例如,一个实施例中的各个方面可以任何方式与另一实施例的各方面组合。
而且,本发明可实施为一方法,已提供一个方法的实施例。于是,实施例可以用不同于前述的顺序来执行操作,可包含同时执行一些操作,即便在前述的实施例中是顺序的操作。
权利要求中使用的顺序性术语例如“第一”,“第二”,“第三”等等,其本身并不代表任何优先级,偏好,或一个权利要求元素高于另一个权利要求元素,或是执行方法的时间上有先后顺序,只是用来区别一个权利要求元素与另一个具有相同名称的权利要求元素(除了序数词)来区别权利要求元素。
而且,权利要求中的用语或术语只是为了说明并不作为限定。其中使用的“包含”,“含有”或“具有”,“涉及”等等不同的词语,是用于包含后面的项目及其等同物与其他额外项目。
本领域的技术人员将注意到,在获得本发明的指导之后,可对所述装置和方法进行大量的修改和变换。相应地,上述公开内容应该理解为,仅通过所附加的权利要求的界限来限定。
Claims (20)
1.一种自动测试样式生成的电路建模方法,该电路建模方法包含:
接收一电路的模拟电路表示;以及
通过用开关替换该模拟电路表示的模拟电路元件并将该电路中的错误建模为开关,产生该电路的开关级表示。
2.如权利要求1所述自动测试样式生成的的电路建模方法,其特征在于,该模拟电路表示包含一网表,其用电阻与电容表示该电路中的寄生。
3.如权利要求2所述自动测试样式生成的的电路建模方法,其特征在于,用开关替换该模拟电路表示的模拟电路元件的步骤包含:
用关闭的开关替换至少一电阻及用一断开的开关替换至少一电容。
4.如权利要求3所述的自动测试样式生成的电路建模方法,其特征在于,将该电路中的错误建模为开关的步骤包含:
对短路电路建模为关闭的开关而对断开电路建模为断开的开关。
5.如权利要求1所述的自动测试样式生成的电路建模方法,其特征在于,将该电路中的错误建模为开关的步骤包含:对短路电路建模为关闭的开关而对断开电路建模为断开的开关。
6.如权利要求1所述的自动测试样式生成的电路建模方法,其特征在于,该自动测试样式生成是用该电路的该开关级表示来执行的。
7.如权利要求1所述的自动测试样式生成的电路建模方法,其特征在于,该电路包含来自数字电路单元库的数字电路单元。
8.一种非暂态计算机可读存储介质,其上包含储存的指令,该些指令在由处理器运行时,执行自动测试样式生成的电路建模方法,该电路建模方法包含:
接收一电路的模拟电路表示;以及
通过用开关替换该模拟电路表示的模拟电路元件并将该电路中的错误建模为开关,产生该电路的开关级表示。
9.如权利要求8所述的非暂态计算机可读存储介质,其特征在于,该模拟电路表示包含一网表,其用电阻与电容表示该电路中的寄生。
10.如权利要求9所述的非暂态计算机可读存储介质,其特征在于,用开关替换该模拟电路表示的模拟电路元件的步骤包含:
用关闭开关替换至少一电阻及用一开启开关替换至少一电容。
11.如权利要求10所述的非暂态计算机可读存储介质,其特征在于,将该电路中的错误建模为开关的步骤包含:
对短路电路建模为关闭的开关而对断开电路建模为断开的开关。
12.如权利要求8所述的非暂态计算机可读存储介质,其特征在于,将该电路中的错误建模为开关的步骤包含:
对短路电路建模为关闭的开关而对断开电路建模为断开的开关。
13.如权利要求8所述的非暂态计算机可读存储介质,其特征在于,自动测试样式生成是用该电路的该开关级表示来执行。
14.一种自动测试样式生成电路,包含:
处理器;以及
非暂态计算机可读存储介质,其上包含储存的指令,该些指令在由处理器运行时,执行自动测试样式生成的电路建模方法,该电路建模方法包含:
接收一电路的模拟电路表示;以及
通过用开关替换该模拟电路表示的模拟电路元件并将该电路中的错误建模为开关,产生该电路的开关级表示。
15.如权利要求14所述的自动测试样式生成电路,其特征在于,该模拟电路表示包含一网表,其用电阻与电容表示该电路中的寄生。
16.如权利要求15所述的自动测试样式生成电路,其特征在于,用开关替换该模拟电路表示的模拟电路元件的步骤包含:
用关闭的开关替换至少一电阻及用一断开的开关替换至少一电容。
17.如权利要求16所述的自动测试样式生成电路,其特征在于,将该电路中的错误建模为开关的步骤包含:
对短路电路建模为关闭的开关而对断开的电路建模为断开的开关。
18.如权利要求14所述的自动测试样式生成电路,其特征在于,将该电路中的错误建模为开关的步骤包含:
对短路电路建模为关闭的开关而对断开的电路建模为断开的开关。
19.如权利要求14所述的自动测试样式生成电路,其特征在于,自动测试样式生成是用该电路的该开关级表示来执行。
20.如权利要求14所述的自动测试样式生成电路,其特征在于,该电路包含来自数字电路单元库的数字电路单元。
Applications Claiming Priority (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US201662381040P | 2016-08-30 | 2016-08-30 | |
US62/381,040 | 2016-08-30 | ||
US15/685,034 | 2017-08-24 | ||
US15/685,034 US20180060472A1 (en) | 2016-08-30 | 2017-08-24 | Efficient cell-aware fault modeling by switch-level test generation |
Publications (1)
Publication Number | Publication Date |
---|---|
CN107797051A true CN107797051A (zh) | 2018-03-13 |
Family
ID=61242813
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201710761584.8A Withdrawn CN107797051A (zh) | 2016-08-30 | 2017-08-30 | 自动测试样式生成的电路建模方法以及自动测试样式生成电路 |
Country Status (3)
Country | Link |
---|---|
US (1) | US20180060472A1 (zh) |
CN (1) | CN107797051A (zh) |
TW (1) | TW201807424A (zh) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110873837A (zh) * | 2018-08-31 | 2020-03-10 | 台湾积体电路制造股份有限公司 | 用于决定电路单元中缺陷的方法、设备及计算机可读媒体 |
TWI689835B (zh) * | 2018-06-13 | 2020-04-01 | 瑞昱半導體股份有限公司 | 用於適應性電壓縮放以消除整體設計之延遲變異的方法與裝置 |
Families Citing this family (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2020223955A1 (en) * | 2019-05-09 | 2020-11-12 | Yangtze Memory Technologies Co., Ltd. | Simulation method for use in functional equivalence check |
NL2023751B1 (en) * | 2019-09-03 | 2021-05-12 | Univ Delft Tech | Device Aware Test for Memory Units |
KR20230002617A (ko) * | 2020-04-16 | 2023-01-05 | 시놉시스, 인크. | 아날로그 결함 검출성 분석을 위한 빠르고 스케일러블한 방법론 |
US11763056B2 (en) * | 2020-04-20 | 2023-09-19 | Synopsys, Inc. | Method and system for custom model definition of analog defects in an integrated circuit |
US11295831B2 (en) | 2020-06-25 | 2022-04-05 | Taiwan Semiconductor Manufacturing Company Limited | Systems and methods to detect cell-internal defects |
US11182525B1 (en) * | 2020-07-07 | 2021-11-23 | Infineon Technologies Ag | Fault aware analog model (FAAM) |
US11635462B2 (en) * | 2020-08-27 | 2023-04-25 | Siemens Industry Software Inc. | Library cell modeling for transistor-level test pattern generation |
TWI768536B (zh) * | 2020-11-06 | 2022-06-21 | 瑞昱半導體股份有限公司 | 積體電路模擬及設計方法與系統 |
US20220237353A1 (en) * | 2021-01-27 | 2022-07-28 | Taiwan Semiconductor Manufacturing Company Limited | Fault detection of circuit based on virtual defects |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1539113A (zh) * | 2001-06-08 | 2004-10-20 | �������Զ�������ƹ�˾ | 层次集成电路设计和分析系统中对子模块设计的表达 |
US20050262454A1 (en) * | 1999-09-27 | 2005-11-24 | International Business Machines Corporation | Method for VLSI system debug and timing analysis |
CN102870119A (zh) * | 2010-03-16 | 2013-01-09 | 新思科技有限公司 | 用于电子设计自动化的单元延迟改变的建模 |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5278769A (en) * | 1991-04-12 | 1994-01-11 | Lsi Logic Corporation | Automatic logic model generation from schematic data base |
US5629858A (en) * | 1994-10-31 | 1997-05-13 | International Business Machines Corporation | CMOS transistor network to gate level model extractor for simulation, verification and test generation |
-
2017
- 2017-08-24 US US15/685,034 patent/US20180060472A1/en not_active Abandoned
- 2017-08-30 TW TW106129444A patent/TW201807424A/zh unknown
- 2017-08-30 CN CN201710761584.8A patent/CN107797051A/zh not_active Withdrawn
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20050262454A1 (en) * | 1999-09-27 | 2005-11-24 | International Business Machines Corporation | Method for VLSI system debug and timing analysis |
CN1539113A (zh) * | 2001-06-08 | 2004-10-20 | �������Զ�������ƹ�˾ | 层次集成电路设计和分析系统中对子模块设计的表达 |
CN102870119A (zh) * | 2010-03-16 | 2013-01-09 | 新思科技有限公司 | 用于电子设计自动化的单元延迟改变的建模 |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
TWI689835B (zh) * | 2018-06-13 | 2020-04-01 | 瑞昱半導體股份有限公司 | 用於適應性電壓縮放以消除整體設計之延遲變異的方法與裝置 |
CN110873837A (zh) * | 2018-08-31 | 2020-03-10 | 台湾积体电路制造股份有限公司 | 用于决定电路单元中缺陷的方法、设备及计算机可读媒体 |
US11663387B2 (en) | 2018-08-31 | 2023-05-30 | Taiwan Semiconductor Manufacturing Company, Ltd. | Fault diagnostics |
Also Published As
Publication number | Publication date |
---|---|
US20180060472A1 (en) | 2018-03-01 |
TW201807424A (zh) | 2018-03-01 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN107797051A (zh) | 自动测试样式生成的电路建模方法以及自动测试样式生成电路 | |
CN109542711A (zh) | 自动模拟故障注入 | |
US9372946B2 (en) | Defect injection for transistor-level fault simulation | |
US20100229061A1 (en) | Cell-Aware Fault Model Creation And Pattern Generation | |
US10353789B1 (en) | Analog fault simulation control with multiple circuit representations | |
Bernardeschi et al. | Accurate simulation of SEUs in the configuration memory of SRAM-based FPGAs | |
KR20180112725A (ko) | 장애 지점을 검출하기 위한 장치 및 방법 | |
Gao et al. | Defect-location identification for cell-aware test | |
US9626468B2 (en) | Assertion extraction from design and its signal traces | |
CN107688694A (zh) | 使用多个选通点的单元感知缺陷表征和波形分析 | |
Liu et al. | Incremental diagnosis of multiple open-interconnects | |
Perelroyzen | Digital integrated circuits: design-for-test using Simulink and Stateflow | |
Chuang et al. | Cell-aware test generation time reduction by using switch-level ATPG | |
CN104133931B (zh) | 用于检测组合等效电路设计中的相应路径的方法和系统 | |
Ladhar et al. | Efficient and accurate method for intra-gate defect diagnoses in nanometer technology and volume data | |
Hamad et al. | Efficient and accurate analysis of single event transients propagation using smt-based techniques | |
Chen et al. | Efficient cell-aware fault modeling by switch-level test generation | |
Fritscher et al. | Simulating memristive systems in mixed-signal mode using commercial design tools | |
Dehbashi et al. | Debug automation for logic circuits under timing variations | |
Gosling | Simulation in the design of digital electronic systems | |
Fummi et al. | Logic-level mapping of high-level faults | |
CN110377924A (zh) | 硬错误模拟及其使用 | |
Breuer et al. | Digital system simulation: Current status and future trends or darwin's theory of simulation | |
Ladhar et al. | Extraction and simulation of potential bridging faults and open defects affecting standard cell libraries | |
Khatri et al. | Validation of selecting SP-values for fault models under proposed RASP-FIT tool |
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 | ||
WW01 | Invention patent application withdrawn after publication |
Application publication date: 20180313 |
|
WW01 | Invention patent application withdrawn after publication |