logic design; logic testing; sequential circuits; ROBDD; corrected free BDD; delay testability; delay testable sequential circuit; sequential circuit design; Boolean functions; Circuit faults; Data structures; Delays; Logic gates; Robustness; Sequential circuits;
机译:一种新的顺序电路,具有用于路径延迟故障的组合测试生成复杂性
机译:一种新的顺序电路,具有用于路径延迟故障的组合测试生成复杂性
机译:基于模糊延迟模型的故障模拟器,用于异步时序电路中的串扰延迟故障测试生成
机译:组合部分结构完全延迟可测试的顺序电路简化
机译:组合电路和扫描电路的高效和高质量延迟测试。
机译:吉非替尼和阿霉素在靶向联合化疗中的延迟顺序分娩
机译:基于模型检查器的时序电路延迟故障测试
机译:同步时序电路的延迟测试生成。