{"@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 determining the functional equivalence between two circuit models in a distributed computing environment", "item": "https://www.patentleaderboard.com/patent/6611947"}]}
Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method for determining the functional equivalence between two circuit models in a distributed computing environment

Method for determining the functional equivalence between two circuit models in a distributed computing environment

US Patent 6611947 · Granted Aug 26, 2003

Assignee

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