在今天的文章cell-aware断层建模,我们描述了如何具体layout-dependent错误可以在测试套件中,增加测试覆盖率超出还停留在建模提供和保持向量计算下面gate-exhaustive建模需要什么。
但必须有一些定义这些具体的方法“用户定义”的缺点,这样测试生成程序可以在测试套件包含它们。
导师设计了他们所谓的“用户定义的故障模式”,或UDFM语言来处理这个问题。这是一个人类可读和可写的格式,你可以使用它来定义静态和过渡的缺点。这允许您手动来描述特定的自定义错误,如果你愿意,尽管,如本文所述,它会自动写入的工具。
作为一个例子,以下将定义四种可能的替代测试静态故障造成的低阻桥在本文例子:
断层“Bridge-R4”{
测试{StaticFault“Z”= 0;条件“S0”= 0,“S1”= 0,“D0”= 0 = -“D1”,“D2”= 1}
测试{StaticFault“Z”= 0;条件“S0”= 1,“S1”= 0 = -“D0”,“D1”= 0,“D2”= 1}
测试{StaticFault“Z”= 0;条件“S0”= 0,“S1”= 1,“D0”= 1,“D1”= -,“D2”= 0}
测试{StaticFault“Z”= 0;条件“S0”= 1,“S1”= 1,“D0”= -,“D1”= 1,“D2”= 0}
}