自动化计算机 >> 计算机学报 >> 2007年30卷12期 >> 摘要

一种基于SAT的运算电路查错方法

评论推荐

在线阅读下载全文

陈云霁[1] 张健[2] 沈海华[1] 胡伟武[1]

[1]中国科学院计算技术研究所计算机系统结构重点实验室,北京100080 [2]中国科学院软件研究所计算机科学国家重点实验室,北京100080

《计算机学报》

2007年第30卷第12期

摘　　要:

基于SAT的运算电路查错方法将被验证系统中系统规范成立与否的问题转换为布尔公式和数学公式的混合形式E-CNF，通过采用了标志子句技术的E-SAT求解器进行求解．实验表明该方法自动化程度高，能处理大规模的运算电路，有较强的查找错误能力． (共8页)

关键词:

形式验证模型检验 SAT E—CNF 标志子句

学科分类:

TP301[工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 一般性问题 > 理论、方法]

主题相关参考文献(16篇)　耦合文献(1篇)　

参考文献`+更多`

关注本文的人:

看过本文的人还看过:

一种基于SAT的运算电路查错方法

陈云霁[1] 张健[2] 沈海华[1] 胡伟武[1]

[1]中国科学院计算技术研究所计算机系统结构重点实验室,北京100080 [2]中国科学院软件研究所计算机科学国家重点实验室,北京100080

摘　　要:

关键词:

学科分类:

相关文章:

参考文献`+更多`

相关期刊`+更多`

关注本文的人:

看过本文的人还看过:

征稿启事

社区热帖`+更多`

服务简介

产品简介

帮助中心

阅读咨询

广告咨询

一种基于SAT的运算电路查错方法

陈云霁[1] 张健[2] 沈海华[1] 胡伟武[1]

[1]中国科学院计算技术研究所计算机系统结构重点实验室,北京100080 [2]中国科学院软件研究所计算机科学国家重点实验室,北京100080

摘 要:

关 键 词:

学科分类:

相关文章:

参考文献+更多

相关期刊+更多

关注本文的人:

看过本文的人还看过:

征稿启事

社区热帖+更多

服务简介

产品简介

帮助中心

阅读咨询

广告咨询

摘　　要:

关键词:

参考文献`+更多`

相关期刊`+更多`

社区热帖`+更多`