Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method for speeding up boolean satisfiability

Method for speeding up boolean satisfiability

US Patent 9685959 · Granted Jun 20, 2017

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Fast synthesis of logical circuit design with predictive timing2024
Resistive sensor interface2024
Single event effect mitigation with smart-redundancy2024
Application-specific integrated circuit (ASIC) synthesis based on lookup table (2023
Digital RRAM-based convolutional block2022
System for recursive calibration of a sensor network2022
Satisfiability sweeping for synthesis2021
Scalable boolean methods in a modern synthesis flow2021
Robust exclusive sum-of-product (ESOP) refactoring2020
Integrated circuit (IC) optimization using Boolean resynthesis2020
Majority logic synthesis2019
Majority logic synthesis2019