基于SAT的数字电路测试生成算法研究