应用不可满足子式的解码电路综合优化方法

• 作者: 张建民 肖立权 马柯帆 黎铁军
• 来源期刊: 国防科技大学学报
• 学科: 工学
• 关键词: 电路综合 形式化方法 可满足性求解 不可满足子式
• 年，卷（期）: 2016,（5）
• 所属期刊栏目: 专题:微处理器设计与工艺
• 页码范围: 1-6
• 页数: 6页
• 分类号: TP391
• 字数: 5864字
• 语种: 中文
• DOI: 10.11887/j.cn.201605001

摘要

解释布尔公式不可满足的原因在很多领域都具有实际的应用需求，而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此，将两种能够高效求解最小不可满足子式的算法———分支－限界算法与贪心遗传算法，集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集，将两种算法进行对比。实验结果表明，在运行时间与每秒剔除的短句数方面，贪心遗传算法优于分支－限界算法；不可满足子式在解码电路的自动综合过程中发挥重要作用。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖立权	国防科技大学计算机学院	17	79	4.0	8.0
2	张建民	国防科技大学计算机学院	11	15	2.0	3.0
3	黎铁军	国防科技大学计算机学院	13	39	4.0	6.0
4	马柯帆	国防科技大学计算机学院	3	0	0.0	0.0