Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Implementation of boolean satisfiability with non-chronological backtracking in reconfigurable hardware

Implementation of boolean satisfiability with non-chronological backtracking in reconfigurable hardware

US Patent 6038392 · Granted Mar 14, 2000

Estimated economic value: $47,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Methods and systems for efficient identification of glitch failures in integrate2020
Methods and systems for correcting X-pessimism in gate-level simulation or emula2018
Independent power collapse methodology2017
Inter-core cooperative TLB prefetchers2016
Low latency two-level interrupt controller interface to multi-threaded processor2015
Inter-core cooperative TLB prefetchers2014
Method and apparatus for monitoring interrupts during a power down event at a pr2014
Software verification using range analysis2012
Iterative abstraction using SAT-based BMC with proof analysis2010
Efficient approaches for bounded model checking2010
Method and apparatus for reducing leakage power in a cache memory using adaptive2008
Method and system for efficient implementation of boolean satisfiability2008