高性能阵列重构的SAT描述模型

摘要：

为了降低容错处理器阵列的能耗开销,提出一种基于可满足性(SAT)的高性能阵列的可满足性模型.该方法通过结合可满足性的思想,将含故障单元的处理器阵列重构问题转换为关于逻辑列的组合优化问题,并使用布尔逻辑表达式将逻辑列的组合优化表示为高性能阵列的 可满足性模型.分析表明,在该可满足性模型的基础上,可通过高效的可满足性求解器快速重构高 性能目标阵列.

关键词：重构、可满足性、超大规模集成处理器阵列、容错

所属期刊栏目：37

分类号：TP301.6(计算技术、计算机技术)

资助基金：国家自然科学基金61562015;广西自然科学基金2015GXNSFDA139038;桂林电子科技大学研究生教育创新计划YJCXS201537

在线出版日期：2017-04-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：40-43