Resources Contact Us Home
Reconfigurable hardware accelerator for boolean satisfiability solver

Image Number 3 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
Recovering a database to any point-in-time in the past with guaranteed data consistency
Browsing or searching user interfaces and other aspects
Level-shift circuit, electro-optical device, and level shift method
Lead frame array package with flip chip die attach
Acrylic pressure-sensitive adhesive composition, acrylic pressure-sensitive adhesive layer, and acrylic pressure-sensitive adhesive tape
Method and laser receiver for acoustically indicating a laser beam
Structural plasticity in spiking neural networks with symmetric dual of an electronic neuron
  Randomly Featured Patents
Connection between mobile stations using different speech coding rules
Nonvolatile semiconductor memory device and a method of writing data in the same
Flexible pin
Illuminating unit with reflective collimator and image projection system including the same
Navigation system
Apparatus and method for signal transmission and reception using downlink channel information in a sleep mode in a BWA communication system
Handlebar grip storage device
Photosensitive tabular core/shell silver halide emulsion
Method and apparatus for controlling waveguide birefringence by selection of a waveguide core width for a top cladding
Process for fitting a gas-injecting nozzle in a wall and means for carrying out this process