automatic test pattern generation; C++ language; circuit analysis computing; computability; coprocessors; fault diagnosis; graphics processing units; parallel architectures; VLSI;
机译:基于SAT的高效故障诊断ATPG流
机译:基于SAT的ATPG的高效数据结构和方法,可在工业应用中提供较高的故障覆盖率
机译:通过自动测试模式生成,基于增量式SAT的顺序电路精确自动校正
机译:基于SAT的数字电路ATPG的最小校正子计算的有效计算
机译:一种新的ATPG算法,可生成紧凑的测试集,以检测VLSI电路中的静态和动态缺陷。
机译:用于细胞计算和存储的合成模拟和数字电路
机译:使用BDD改善基于saT的工业电路aTpG中的CNF表示
机译:组合混合定制可编程电路逆向工程的aTpG攻击。