Resources Contact Us Home
Browse by: INVENTOR PATENT HOLDER PATENT NUMBER DATE
 
 
Reconfigurable hardware accelerator for boolean satisfiability solver










Image Number 7 for United States Patent #8131660.

A hardware accelerator is provided for Boolean constraint propagation (BCP) using field-programmable gate arrays (FPGAs) for use in solving the Boolean satisfiability problem (SAT). An inference engine may perform implications. Block RAM (BRAM) may be used to store SAT instance information. Computation may be co-located with the BRAM memory, taking advantage of the high on-chip bandwidth and low latency of an FPGA. SAT instances may be partitioned into multiple groups that can be processed by multiple inference engines in parallel. New SAT instances can be inserted into FPGA without invoking the time-consuming FPGA re-synthesizing process.








 
 
  Recently Added Patents
Power storage device and method for manufacturing the same
Metal-doped oxide, method of preparing the same, and solid oxide electrolyte using the metal-doped oxide
Recording medium, playback device, integrated circuit
Memory device program window adjustment
System and method for producing statistically valid assay means and ranges for quality control materials
Method for generating codewords
Memory circuit and method of forming the same using reduced mask steps
  Randomly Featured Patents
Method and apparatus for on-line determination of the thickness of a multilayer film using a partially reflecting roller and low coherence reflectometry
Electrical connector for passing very high currents
Method and apparatus for output voltage regulation in primary control switched mode power supplies
Crib endboard frame
Disposable diaper
Lens-forming silicone resin composition and silicone lens
METHOD OF SPECKLE-NOISE PATTERN REDUCTION AND APPARATUS THEREFOR BASED ON REDUCING THE TEMPORAL COHERENCE OF THE PLANAR LASER ILLUMINATION BEAM BEFORE IT ILLUMINATES THE TARGET OBJECT BY APPLY
Optical head devices for use in disc players
Device for implementing chemical reactions and processes in high frequency fields
Belt construction and method of making the same