Boolean functions; automatic test pattern generation; computability; fault simulation; sequential circuits; Boolean satisfiability; automatic sequential test generation; automatic test pattern generation; gate-level sequential test generator; hard-to-test faults;
机译:多个卡住故障的自动测试码型生成:当单个故障的测试不足时
机译:多个卡住故障的自动测试码型生成:当单个故障的测试不足时
机译:多个卡住故障的自动测试码型生成:当单个故障的测试不足时
机译:通过针对难以测试的故障提高自动顺序试验生成的性能
机译:时序电路的自动测试生成技术。
机译:在多个对照临床研究中使用微阵列或下一代测序(NGS)在母体血浆中使用靶向无细胞DNA分析进行非侵入性产前检测(NIPT)的临床表现是一致的
机译:产生最短的测试序列,用于检测顺序电路的单个故障
机译:顺序电路的动态故障折叠和诊断测试模式生成