Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Optimizing a netlist circuit representation by leveraging binary decision diagrams to perform rewriting

Optimizing a netlist circuit representation by leveraging binary decision diagrams to perform rewriting

US Patent 8799837 · Granted Aug 5, 2014

Estimated economic value: $3,332,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Equivalence checking of synthesized logic designs using generated synthesis hist2025
Equivalence checking of synthesized logic designs using generated synthesis hist2025
Logical clock connection in an integrated circuit design2025
Signal pre-routing in an integrated circuit design2024
Optimization of arithmetic expressions2024
Detection of unintended dependencies in hardware designs with pseudo-random numb2023
Detection of unintended dependencies in hardware designs with pseudo-random numb2023
Methods and systems for identifying flaws and bugs in integrated circuits, for e2023
Converting formal verification testbench drivers with nondeterministic inputs to2023
Clock mapping in an integrated circuit design2023
Scalable model checking in functional verification by integrating user-guided ab2021
Converting formal verification testbench drivers with nondeterministic inputs to2021