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

发布时间：2017-06-26 20:13

  本文关键词：应用不可满足子式的解码电路综合优化方法，由笔耕文化传播整理发布。

【摘要】：解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。
【作者单位】： 国防科技大学计算机学院;
【关键词】： 电路综合 形式化方法 可满足性求解 不可满足子式
【基金】：国家自然科学基金资助项目(61103083,61133007) 国家重点研发计划资助项目(2016YFB0200203)
【分类号】：TN47
【正文快照】： 在超大规模集成(Very Large ScaleIntegrated,VLSI)电路芯片中,通常都会设计各种各样的编码和解码电路,尤其是在与通信相关的芯片设计过程中,往往会遇到很多非常复杂的编码与解码电路。编码电路通常根据某种规则将原始数据编码或产生校验码,常见的包括循环冗余校验(Cyclic Red

【相似文献】

中国重要会议论文全文数据库 前1条

1 邵明;李光辉;李晓维;;提取极小布尔不可满足子式[A];全国第13届计算机辅助设计与图形学（CAD/CG）学术会议论文集[C];2004年

  本文关键词：应用不可满足子式的解码电路综合优化方法，，由笔耕文化传播整理发布。

本文编号：487466