在形式验证和ATPG中的布尔可满足性问题

摘要：

介绍布尔可满足性(SAT)求解程序在测试向量自动生成、符号模型检查、组合等价性检查和RTL电路设计验证等电子设计自动化领域中的应用.着重阐述如何在算法中有机地结合电路拓扑结构及其与特定应用相关的信息,以便提高问题求解效率.最后给出下一步可能的研究方向.

关键词：布尔可满足性、形式验证、测试向量自动生成、符号模型检查、等价性检查、RTL设计

所属期刊栏目：15

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金90207016

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

页数：共6页

页码：1207-1212