Circuit faults; Delays; Integrated circuit modeling; Logic gates; Encoding; Automatic test pattern generation;
机译:MONSOON:基于SAT的ATPG,用于使用多值逻辑的路径延迟故障
机译:MONSOON:使用多值逻辑的基于SAT的ATPG用于路径延迟故障
机译:基于SAT的ATPG超越了固定故障测试:对容错的应用
机译:一种基于SAT的ATPG过渡延迟故障的新方法
机译:过渡故障和过渡路径延迟故障:测试生成,路径选择以及功能性侧面测试的内置生成。
机译:改善护理过渡:以居民为主导的方法来解决直接入院过程中患者护理的延误
机译:基于saT的aTpG中布尔编码对路径延迟故障的影响*