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

高性能阵列重构的SAT描述模型
胡佳;钱俊彦;周志德
【期刊名称】《桂林电子科技大学学报》
【年(卷),期】2017(037)001
【摘要】为了降低容错处理器阵列的能耗开销,提出一种基于可满足性(SAT)的高性能阵列的可满足性模型.该方法通过结合可满足性的思想,将含故障单元的处理器阵列重构问题转换为关于逻辑列的组合优化问题,并使用布尔逻辑表达式将逻辑列的组合优化表示为高性能阵列的可满足性模型.分析表明,在该可满足性模型的基础上,可通过高效的可满足性求解器快速重构高性能目标阵列.
【总页数】4页(P40-43)
【作者】胡佳;钱俊彦;周志德
【作者单位】桂林电子科技大学计算机与信息安全学院,广西桂林 541004;桂林电子科技大学计算机与信息安全学院,广西桂林 541004;桂林电子科技大学计算机与信息安全学院,广西桂林 541004
【正文语种】中文
【中图分类】TP301.6
【相关文献】
1.MGR-SAT:一种基于流模板的多粒度可重构数字信号处理器 [J], 杨乾明;文梅;伍楠;苏华友;全巍;张春元
2.基于模块智能的自重构机器人描述模型 [J], 徐威;邵萌;王石刚
3.结合扩展规则重构的#SAT问题增量求解方法 [J], 贾凤雨;欧阳丹彤;张立明;刘思光
4.Cu3P纳米板阵列@泡沫铜三维骨架的原位构筑及其作为高性能锂金属负极 [J], 吴鹿鹿;李晓敏;孙福根;周浪;江伟伟;丁国彧;李亚辉;朱振;景鑫国;严奉乾;徐国军;岳之浩
5.一种高性能硬件加密引擎阵列架构 [J], 骆建军;沈一凡;周迪;冯春阳;邓江峡
因版权原因，仅展示原文概要，查看原文内容请购买。