{"@context": "https://schema.org", "@type": "BreadcrumbList", "itemListElement": [{"@type": "ListItem", "position": 1, "name": "Home", "item": "https://www.patentleaderboard.com/"}, {"@type": "ListItem", "position": 2, "name": "Method for rapidly determining the functional equivalence between two circuit models", "item": "https://www.patentleaderboard.com/patent/6993730"}]}
Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method for rapidly determining the functional equivalence between two circuit models

Method for rapidly determining the functional equivalence between two circuit models

US Patent 6993730 · Granted Jan 31, 2006

Assignee

No assignee recorded.

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Worksite inefficiency identification2025
Variability-aware scheme for high-performance asynchronous circuit voltage regul2013
Extracting, visualizing, and acting on inconsistencies between a circuit design 2011
Variability-aware scheme for asynchronous circuit initialization2010
Managing formal verification complexity of designs with multiple related counter2010
Managing formal verification complexity of designs with counters2008
System and method for measuring progress for formal verification of a design usi2008
System and method for identifying design efficiency and effectiveness parameters2007
Trace based method for design navigation2006
Trace based method for design navigation2006
System and method for guiding and optimizing formal verification for a circuit d2006
System and method for guiding and optimizing formal verification for a circuit d2006