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
Non-zero rounding and prediction mode selection techniques in video encoding
Non-volatile memory array and device using erase markers
Method and apparatus for providing very high throughput operation and capability signaling for wireless communications
Systems and methods for flow mirroring with network-scoped connection-oriented sink
Pattern data conversion for lithography system
Generating and using checkpoints in a virtual computer system
Method of and apparatus for evaluating an optimal irradiation amount of an electron beam for drawing a pattern onto a sample
  Randomly Featured Patents
Apparatus and method for enhancing electrical conductivity of conductive composites and products thereof
Steam generator
Apparatus for sequencing signals in conjunction with shorting contacts
Method for hypermutagenesis of nucleotides
Programming method for controlling a downhole steering tool
Booster actuator
Magnetic disk device with improved shielding
Apparatuses and methods for production of radioisotopes in nuclear reactor instrumentation tubes
Apparatus for detecting position of faulty light emitting element in large screen display system
Leadframe for enhanced downbond registration during automatic wire bond process