Counterexample-guided diagnosis.
IVSW（2016）
关键词
counterexample-guided diagnosis,faults identification,circuit designs,gate-level,faulty net-list,logic specification,systematic counterexample generation,over-approximation,fault candidate,counterexample reduction algorithm,QSAT oracle,QSAT-based diagnosis algorithm,quantified satisfiability
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要