Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and apparatus for improving Boolean satisfiability solver generated based on input design with data qualifier signals

Method and apparatus for improving Boolean satisfiability solver generated based on input design with data qualifier signals

US Patent 10635845 · Granted Apr 28, 2020

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Hardware architecture determination based on a neural network and a network comp2025
Methods for automatic engineering change order (ECO) bug fixing in integrated ci2020
Methods for automatic engineering change order (ECO) bug fixing in integrated ci2020
Checking equivalence between changes made in a circuit definition language and c2019
Checking equivalence between changes made in a circuit definition language and c2019
Method and apparatus for finding logic equivalence between register transfer lev2018
Method and apparatus for finding logic equivalence between register transfer lev2018
Formal verification of temporal properties expressed using local variables2016
Methods for calculating a combined impact analysis repository2014
Methods for calculating a combined impact analysis repository2012