机译:关于使用ZBDD隐式和紧凑型关键路径延迟故障测试生成
Department of Electrical and Computer Engineering University of Cyprus Nicosia Cyprus;
Department of Electrical and Computer Engineering University of Cyprus Nicosia Cyprus;
Department of Electrical and Computer Engineering Southern Illinois University at Carbondale Carbondale USA;
Zero-suppressed binary decision diagram; Path delay faults; Irredundant sum-of-products; Delay testing; Critical path delay faults; Compact test generation;
机译:使用ZBDD进行隐式和紧凑型关键路径延迟故障测试生成
机译:基于功能的紧凑测试模式生成,用于路径延迟故障
机译:基于卡死故障的测试集,生成路径延迟故障的测试
机译:使用BDD和ZBDD有效识别可测试路径延迟故障
机译:过渡故障和过渡路径延迟故障:测试生成,路径选择以及功能性侧面测试的内置生成。
机译:无精子症和胚胎的形态动力学:睾丸精子来源的胚胎在早期细胞周期事件中表现出延迟并在压紧之前增加停滞
机译:基于ZBDD的非数字路径时延故障覆盖率计算