Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Checking equivalence between changes made in a circuit definition language and changes in post-synthesis nets

Checking equivalence between changes made in a circuit definition language and changes in post-synthesis nets

US Patent 10460060 · Granted Oct 29, 2019

Estimated economic value: $7,872,000 ⓘ

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
Method and apparatus for improving Boolean satisfiability solver generated based2020
Method and apparatus for improving Boolean satisfiability solver generated based2020
Methods for automatic engineering change order (ECO) bug fixing in integrated ci2020
Methods for automatic engineering change order (ECO) bug fixing in integrated ci2020
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