Virtual logic system for solving satisfiability problems using reconfigurable hardware
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Aug 27, 2002
Grant Date -
N/A
app pub date -
Apr 21, 1999
filing date -
Apr 21, 1999
priority date (Note) -
In Force
status (Latency Note)
Importance
Abstract
A virtual logic system for solving satisfiability problems on reconfigurable hardware, such that the reconfigurable hardware can be used to solve problems much larger than its available capacity. In an illustrative embodiment, a set of reconfigurable hardware including a number of field programmable gate arrays (FPGAs) is configured to solve a satisfiability problem. The satisfiability problem is decomposed into a number of independent and disjoint subproblems, e.g., using a simple decomposition in conjunction with disjoint partitioning, such that each of the subproblems is implementable within a given one of the FPGAs without the need for any inter-FPGA communication. Each FPGA then independently determines a satisfiability indication for one of the subproblems. At least a subset of the FPGAs may each be used to process more than one of the subproblems.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Advertisement
Advertisement
Advertisement
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully