机译:通过布尔可满足性自动生成测试模式以测试桥接故障
Univ Isfahan Fac Comp Engn Dept Comp Architecture Azadi Sq Esfahan 8174673441 Iran;
Univ Isfahan Fac Comp Engn Dept Artificial Intelligence Azadi Sq Esfahan 8174673441 Iran;
Automatic test pattern generation (ATPG); Boolean satisfiability; bridging faults; combinational circuit testing;
机译:多个卡住故障的自动测试码型生成:当单个故障的测试不足时
机译:多个卡住故障的自动测试码型生成:当单个故障的测试不足时
机译:多个卡住故障的自动测试码型生成:当单个故障的测试不足时
机译:使用虚假布尔函数自动生成用于桥接组合电路中的故障检测的测试向量
机译:过渡故障和过渡路径延迟故障:测试生成,路径选择以及功能性侧面测试的内置生成。
机译:将现代心理测量技术应用于旋律鉴别测试:项目响应理论计算机化自适应测试和自动项目生成
机译:电阻桥接故障的自动测试模式生成
机译:用于计算自动测试模式生成(aTpG)和可满足性的所有解决方案的决策选择和相关学习。