首页> 中国专利> 一种多线程并行执行的硬件SAT求解器

一种多线程并行执行的硬件SAT求解器

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明提供了一种多线程并行执行的硬件SAT求解器，包括第一寄存器模块、第一评估模块组、缓存器模块组、计数器模块、变元翻转模块、概率映射表、FIFO树组、第二寄存器模块组、第二评估模块和第三寄存器模块。本发明提供的一种多线程并行执行的硬件SAT求解器，所有的数据都存储在FPGA的片上存储器中，避免了因为读取片外数据带来的时间开销，同时利用多线程策略，不同线程均对同一地址映射表和子句映射表进行交互，大幅度的减少片上存储器的资源开销，并且由于使用多线程策略，每秒总翻转量将会成倍的增加，更可能在规定的时间内找到问题的解，能够更加高效、便捷地求解相对较大规模的SAT问题。

著录项

公开/公告号CN111159628A

专利类型发明专利
公开/公告日2020-05-15

原文格式PDF
申请/专利权人中国人民解放军国防科技大学;
展开▼

申请/专利号CN201911408984.6
发明设计人黎铁军;马柯帆;张建民;常俊胜;孙岩;翦杰;王强;熊泽宇;肖灿文;徐佳庆;
展开▼

申请日2019-12-31
分类号
代理机构北京丰浩知识产权代理事务所(普通合伙);
代理人李学康
地址 410073 湖南省长沙市开福区德雅路109号
入库时间 2023-12-17 08:51:25

法律信息

法律状态公告日

法律状态信息

法律状态
2020-06-09

实质审查的生效 IPC(主分类):G06F17/10 申请日:20191231

实质审查的生效
2020-05-15

公开

公开

相似文献

专利
中文文献
外文文献

1. 一种多线程并行执行的硬件SAT求解器 [P] . 中国专利： CN111159628A . 2020-05-15
2. 一种基于流水线执行策略的硬件SAT求解器 [P] . 中国专利： CN111142944A . 2020-05-12
3. MULTITHREADED PARALLEL EXECUTION DEVICE, BROADCAST STREAM PLAYBACK DEVICE, BROADCAST STREAM STORAGE DEVICE, STORED STREAM PLAYBACK DEVICE, STORED STREAM RE-ENCODING DEVICE, INTEGRATED CIRCUIT, MULTITHREADED PARALLEL EXECUTION METHOD, AND MULTITHREADED COMPILER [P] . 美国专利： US2012239914A1 . 2012-09-20

机译：多线程并行执行设备，广播流重放设备，广播流存储设备，存储流重放设备，存储流重编码设备，集成电路，多线程并行执行方法和多线程并行执行方法以及
4. Multi-threaded parallel execution device, broadcast stream playback device, a broadcast stream storage device, storage stream playback device, the accumulation stream re-encoding devices, integrated circuits, multi-threaded parallel execution method, multi-threaded compiler [P] . 日本专利： JP5945779B2 . 2016-07-05

机译：多线程并行执行设备，广播流回放设备，广播流存储设备，存储流回放设备，累积流重编码设备，集成电路，多线程并行执行方法，多线程编译器
5. Multithreaded parallel execution device, broadcast stream playback device, broadcast stream storage device, stored stream playback device, stored stream re-encoding device, integrated circuit, multithreaded parallel execution method, and multithreaded compiler [P] . 美国专利： US8850171B2 . 2014-09-30

机译：多线程并行执行设备，广播流回放设备，广播流存储设备，存储流回放设备，存储流重编码设备，集成电路，多线程并行执行方法和多线程编译器