binary decision diagrams; combinational circuits; sequential circuits; ROBDD-graph; combinational circuit; delay testability; fully delay testable sequential circuit; reduced ordered binary decision diagram; sequential circuit design; structural minimization; Benchmark testing; Boolean functions; Data structures; Delays; Logic gates; Minimization; Yttrium; combinational part of sequential circuit; monotonous sum of products (monotonous SoP); path delay fault (PDF); reduced ordered binary decision diagram (ROBDD);
机译:基于模糊延迟模型的故障模拟器,用于异步时序电路中的串扰延迟故障测试生成
机译:基于模糊延迟模型的故障模拟器,用于异步时序电路中的串扰延迟故障测试生成
机译:非扫描顺序电路的生成功能延迟故障测试
机译:完全延迟可测试的顺序电路和结构最小化问题
机译:带时间借用的基于锁存器的高速电路的结构延迟测试。
机译:立即序贯与延迟序贯双侧白内障手术:术后视觉效果的回顾性比较。
机译:基于模型检查器的时序电路延迟故障测试
机译:同步时序电路的延迟测试生成。