【技术实现步骤摘要】
通过考虑单元间时序进行的单元感知缺陷特性化
[0001]本公开涉及用于验证集成电路设计的操作的系统及方法,且更特定来说,涉及通过考虑单元间时序进行的单元感知缺陷特性化。
技术介绍
[0002]由于在整个设计内存在非常大数目的单元,所以测试复杂集成电路(IC)的操作是很难的。复杂IC的使用一直在增长,且有迹象表明在可预见的未来其将继续增长。当前存在用于协助测试此类IC的许多工具,包含用于确保此类设计满足可靠性及操作要求的工具。用于协助测试复杂IC的一个重要工具是单元感知缺陷模型。单元感知缺陷模型标定标准库单元内部的缺陷以实现更好的缺陷覆盖及更准确的缺陷诊断。行业已针对使用最新制造技术制造的设计广泛采用单元感知缺陷模型。
技术实现思路
[0003]公开一种方法,其中使用多个输入、至少一个输出、及至少一个经建模缺陷对集成电路设计的单元进行建模。基于所述多个输入中的至少一者的逻辑状态的组合与所述输出中的至少一者的状态所基于的强加在所述输入中的至少一者上的第一负载条件确定模型的所述输出中的所述至少一者的所述逻辑状态。基 ...
【技术保护点】
【技术特征摘要】
1.一种方法,其包括:使用多个输入、至少一个输出、及至少一个经建模缺陷对集成电路设计的单元进行建模;基于所述多个输入中的至少一者的逻辑状态的组合与所述输出中的至少一者的状态所基于的强加在所述输入中的至少一者上的第一负载条件确定模型的所述输出中的所述至少一者的所述逻辑状态;基于所述输入中的至少一者的所述逻辑状态与所述输出中的所述至少一者的所述状态所基于的强加在所述输入中的至少一者上的第二负载条件确定所述模型的所述输出中的所述至少一者的所述逻辑状态;及当所述经建模缺陷中的至少一者针对输入逻辑状态的所述组合存在于所述模型中时,由处理器确定所述输出中的所述至少一者的所述逻辑状态在强加所述第一负载条件的情况下是否与在强加所述第二负载条件的情况下不同。2.根据权利要求1所述的方法,其进一步包括:基于逻辑状态的所述组合与强加在所述至少一个输出上的第三负载条件确定所述模型的所述输出中的所述至少一者的所述逻辑状态;基于逻辑状态的所述组合与强加在所述至少一个输出上的第四负载条件确定所述模型的所述输出中的所述至少一者的所述逻辑状态;及当所述经建模缺陷中的至少一者针对输入逻辑状态的所述组合存在于所述模型中时,确定所述输出中的所述至少一者的所述逻辑状态在强加所述第三负载条件的情况下是否与在强加所述第四负载条件的情况下不同。3.根据权利要求1所述的方法,从所述至少一个输出的所述逻辑状态确定所述经建模缺陷是否是可检测的。4.根据权利要求3所述的方法,从所述多个输入的所述逻辑状态、及所述至少输出的所述逻辑状态确定所述经建模缺陷是否是可检测的。5.根据权利要求4所述的方法,其进一步包含:使用所述多个输入及所述至少一个输出且在没有所述至少一个经建模缺陷的情况下对所述单元进行建模;针对具有所述经建模缺陷的所述模型,基于所述多个输入中的至少一者的逻辑状态的所述预定组合确定所述模型的所述输出中的至少一者的所述逻辑状态;针对不具有所述经建模缺陷的所述模型,基于所述多个输入中的至少一者的逻辑状态的所述预定组合确定所述模型的所述输出中的至少一者的所述逻辑状态;及基于针对具有所述经建模缺陷的所述模型的所述至少一个输出的所述逻辑状态是否与针对不具有所述经建模缺陷的所述模型的所述至少一个输出的所述逻辑状态相同,确定所述经建模缺陷是否是可检测的。6.根据权利要求1所述的方法,其进一步包括在缺陷检测表中指示所述经建模缺陷是否:在所有输入负载条件下都可检测;在一些输入负载条件下可检测,但在其它负载条件下不可检测;或在所述输入负载条件中的任一者下都不可检测。
7.根据权利要求6所述的方法,其进一步包括在动态缺陷检测记录中指示所述经建模缺陷是否是可检测的,所述动态缺陷检测记录具有针对输入逻辑状态的每一唯一组合、输入负载条件及输出负载条件的缺陷条目。8.一种系统,其包括:存储器,其用于存储在施加输入逻辑状态的预定组合的情况下是否能够检测到集成电路的单元中的经建模缺陷;处理器,其耦合到所述存储器以:存储关于是否能够检测到所述经建模缺陷的确定;使用多个输入及至少一个输出对集成电路设计的单元进行建模;使用至少一个经建模缺陷对所述单元进行建模;基于所述多个输入中的至少一者的逻辑状态的组合与所述输出的状态所基于的强加在所述输入中的至少一者上的第一负载条件确定模型的所述输出中的至少一者的所述逻辑状态;基于所述输入中的至少一者的所述逻辑状态与所述输出的所述状态所基于的强加在所述输入中的至少一者上的第二负载条件确定所述模型的所述输出中的至少一者的所述逻辑状态;当所述经建模缺陷中的至少一者针对输入逻辑状态的所述组合存在于所述模型中时,确定在强加所述第二负载条件的情况下的所述输出的所述逻辑状态是否与在强加所述第一负载条件的情况下的所述输出的所述逻辑状态不同。9.根据权利要求8所述的系统,其中所述处理器进一步用于:基于逻辑状态的所述组合与强加在所述至少一个输出上的第三负载条件确定所述模型的所述输出中的所述至少一者的所述逻辑状态;基于逻辑状态的所述组合与强加在所述至少一个输出上的第四负载条件确定所述模型的所述输出中的所述至少一者的所述逻辑状态;及当所述经建模缺陷中的所述至少一者针对输入逻辑状态的所述组合存在于所述模型中时,确定所述输出中的所述至少一者的所述逻辑状态在强加所述第三负载条件的情况下是否与在强加所述第四负载条件的情况下不同。10.根据权利要求8所述的系统,其中所述处理器进一步用于从所述至少一个输出...
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。