Research on Testing Pattern Generation for Digital Circuits using Satisfiability Approach

• 数字电路测试生成的可满足性方法研究