| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 一种基于SAT的运算电路查错方法 |
| 作者 | 陈云霁1) 张健2) 沈海华1) 胡伟武1) |
| 作者单位 | 1)(中国科学院计算技术研究所计算机系统结构重点实验室 北京 100080) 2)(中国科学院软件研究所计算机科学国家重点实验室 北京 100080) |
| 发表年份 | 2007 |
| 发表月份 | 12期(2082—2089) |
| 文章摘要 | 摘要 基于SAT的运算电路查错方法将被验证系统中系统规范成立与否的问题转换为布尔公式和数学公式的混合形式E-CNF，通过采用了标志子句技术的E-SAT求解器进行求解.实验表明该方法自动化程度高，能处理大规模的运算电路，有较强的查找错误能力. 关键词：形式验证；模型检验；SAT；E-CNF；标志子句 |