ATPG; SAT; Test patterns compression; testing;
机译:基于SAT的ATPG的增量求解技术
机译:基于SAT的ATPG超越了固定故障测试:对容错的应用
机译:基于SAT的受限测试模式生成技术
机译:基于专用SAT的ATPG的测试模式压缩技术
机译:降低制造测试成本的技术:测试模式选择,测试压缩和测试计划
机译:基于环形计数器的ATPG用于低转换测试模式生成
机译:基于专用saT的aTpG测试模式压缩技术
机译:基于VHDL故障仿真可行性的故障仿真,故障分级和测试模式生成技术综述。