Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and apparatus for finding logic equivalence between register transfer level and post synthesis nets

Method and apparatus for finding logic equivalence between register transfer level and post synthesis nets

US Patent 10140405 · Granted Nov 27, 2018

Estimated economic value: $37,089,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
Checking equivalence between changes made in a circuit definition language and c2019
Checking equivalence between changes made in a circuit definition language and c2019
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