限定检索结果

检索条件"作者=谌知学"
1 条 记 录,以下是1-10 订阅
视图:
排序:
基于硬件模拟的SAT求解框架
收藏 引用
《微电子与计算机》2016年 第9期33卷 124-127页
作者:何安平 毛乐乐 谌知学 吴尽昭广西民族大学混杂计算与集成电路设计分析重点实验室广西南宁530006 
使用硬件方法求解SAT问题,采用现场可编程门阵列(FPGA)技术,针对大规模实际系统的CNF公式实例,定制化编译和转换为FPGA芯片,并完全依据FPGA硬件完成SAT满足性求解过程.
来源:详细信息评论
聚类工具 回到顶部