Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and system to verify a circuit design by verifying consistency between two different language representations of a circuit design

Method and system to verify a circuit design by verifying consistency between two different language representations of a circuit design

US Patent 7225417 · Granted May 29, 2007

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Inferring cloud network connectivity as a minimal list of firewall rules2025
Analysis of role reachability with transitive tags2024
Analysis of role reachability using policy complements2023
Systems and methods for automatic test generation2022
Enforceable contract generation2022
Model-driven and automated system for shared resource solution design2021
System level test generation using DNN translation from unit level test2021
Verification of UML state machines2016
Dominant-state-based coverage metric2014
Software equivalence checking2014
Automatic parity checking identification2013
Reducing observability of memory elements in circuits2013