应用不可满足子式的解码电路综合优化方法 |
| |
作者姓名: | 张建民 黎铁军 马柯帆 肖立权 |
| |
作者单位: | 国防科学技术大学 计算机学院,国防科学技术大学 计算机学院,国防科学技术大学 计算机学院,国防科学技术大学 计算机学院 |
| |
基金项目: | 国家自然科学基金资助项目(61103083,61133007);国家重点研发计划资助项目(2016YFB0200203) |
| |
摘 要: | 解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。
|
关 键 词: | 电路综合 形式化方法 可满足性求解 不可满足子式 |
收稿时间: | 2015-11-17 |
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 |
|
点击此处可从《国防科技大学学报》下载免费的PDF全文 |
|