使用输出分组和电路可满足性的等价性验证算法

郑飞君; 严晓浪; 葛海通; 杨军; 卢永江

首页> 中文期刊> 《计算机辅助设计与图形学学报》 >使用输出分组和电路可满足性的等价性验证算法

使用输出分组和电路可满足性的等价性验证算法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

介绍了一种使用电路可满足性解算器的组合电路等价性验证算法 .对包含多输出的复杂验证问题,首先对联接电路作输出分组,将等价性验证问题转化为包含若干个组的电路可满足性问题,继而使用电路解算器解决问题 .同时,注意各个子问题间的有用隐含信息的共享,减小了SAT推理的搜索空间 .实验结果表明,该算法是实用有效的 .

著录项

来源
《计算机辅助设计与图形学学报》 |2005年第11期|2484-2488|共5页
作者
郑飞君; 严晓浪; 葛海通; 杨军; 卢永江;
展开▼
作者单位

浙江大学超大规模集成电路设计研究所,杭州,310027;

浙江大学超大规模集成电路设计研究所,杭州,310027;

浙江大学超大规模集成电路设计研究所,杭州,310027;

浙江大学超大规模集成电路设计研究所,杭州,310027;

浙江大学超大规模集成电路设计研究所,杭州,310027;

展开▼
原文格式 PDF
正文语种 chi
中图分类设计与性能分析;
关键词
等价性验证; 输出分组; 电路可满足性;

相似文献

中文文献
外文文献
专利

1. 使用布尔可满足性的组合电路等价性验证算法 [J] . 郑飞君 ,严晓浪 ,葛海通 . 电子与信息学报 . 2005,第004期
2. 结合二叉判决图和布尔可满足性的等价性验证算法 [J] . 严晓浪 ,郑飞君 ,葛海通 . 电子学报 . 2004,第008期
3. 用布尔可满足性验证逻辑电路的等价性 [J] . 刘歆 ,颜萍 . 湖北工业大学学报 . 2007,第002期
4. 基于布尔可满足性的逻辑电路等价性验证方法 [J] . 刘歆 ,熊有伦 . 微电子学与计算机 . 2007,第11期
5. 使用逻辑锥分割的组合电路等价性验证 [J] . 岳园 ,何安平 . 计算机工程与应用 . 2013,第002期
6. 用布尔可满足性验证逻辑电路的等价性 [C] . 刘歆 ,颜萍 . 湖北省机械工程学会机械设计与传动专业委员会第十五届学术年会 . 2007
7. 基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究 [A] . 郑飞君 . 2008

使用输出分组和电路可满足性的等价性验证算法

摘要

著录项

相似文献

相关主题

期刊订阅