首页> 中文会议>湖北省机械工程学会机械设计与传动专业委员会第十五届学术年会 >用布尔可满足性验证逻辑电路的等价性

用布尔可满足性验证逻辑电路的等价性

页面导航

摘要
著录项
相似文献
相关主题

摘要

提出了使用布尔可满足性来验证数字电路的等价性验证方法.这一验证方法把每个电路抽象成一个有限状态机,为两个待验证的电路构造积机,把等价性验证问题转换成了积机的断言问题.改进了Tseitin变换方法,用于把电路约束问题变换成合取范式公式.用先进的布尔可满足性求解器zChaff判定积机所生成的布尔公式的可满足性.事例电路验证说明了该方法的有效性.

著录项

来源
《湖北省机械工程学会机械设计与传动专业委员会第十五届学术年会》|2007年|1-4|共4页
会议地点武汉
作者
刘歆; 颜萍;
展开▼
作者单位

湖北省机械工程学会;

中国机械工程学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类理论;
关键词
数字电路; 等价性验证; 布尔可满足性; 合取范式;

相似文献

中文文献
外文文献
专利

1. 用布尔可满足性验证逻辑电路的等价性 [J] . 刘歆 ,颜萍 . 湖北工业大学学报 . 2007,第002期
2. 基于布尔可满足性的逻辑电路等价性验证方法 [J] . 刘歆 ,熊有伦 . 微电子学与计算机 . 2007,第11期
3. 使用布尔可满足性的组合电路等价性验证算法 [J] . 郑飞君 ,严晓浪 ,葛海通 . 电子与信息学报 . 2005,第004期
4. 结合二叉判决图和布尔可满足性的等价性验证算法 [J] . 严晓浪 ,郑飞君 ,葛海通 . 电子学报 . 2004,第008期
5. 基于多项式良性基的组合逻辑电路的等价性验证 [J] . 范德会 . 黑龙江工程学院学报（自然科学版） . 2017,第003期
6. 布尔函数满足平衡相关免疫性的条件 [C] . 张串绒 ,刘卫江 ,肖国镇 . 第七届中国密码学学术会议 . 2002
7. 基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究 [A] . 郑飞君 . 2008

用布尔可满足性验证逻辑电路的等价性

摘要

著录项

相似文献

相关主题

期刊订阅