测试模式生成相关论文
提出了使用电路划分与故障映射技术来加速4值并行故障仿真的方法.这一方法首先把电路划分成无扇出区域和扇出茎区域,之后则把非扇......
提出基于扇出茎区域的4值并行故障仿真方法.把电路划分成无扇出区域和扇出茎区域,之后则把非扇出茎故障映射为扇出茎故障.该方法极......
提出了基于总会聚点的有序二叉决策图(BDD)学习方法,用以提高使用布尔可满足性方法的组合电路测试模式生成系统的性能.它有效地结合了......