数字电路SAT可满足性算法研究

摘要：

现代数字集成电路技术的飞速发展,对计算机辅助测试提出更多更高的要求,可满足性方法(SAT-Satisfiability)作为一种有效的完备测试生成方法,近年来在集成电路测试领域引起广泛的研究兴趣,并取得了一些应用上的成功.对电子数字电路的SAT可满足性算法进行研究,希望能够有助于提升我们对相关问题的认识,以有助于数字电路测试的不断发展和进步.

关键词：数字电路、SAT可满足性测试、公式可满足性、可满足性搜索问题

分类号：TN7(基本电子电路)

在线出版日期：2008-05-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共1页

页码：17