Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and system for sequential equivalence checking

Method and system for sequential equivalence checking

US Patent 11151295 · Granted Oct 19, 2021

Estimated economic value: $297,870,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

System and method for formal verification of a multi-cycle path circuit2025
System and method for formal verification of a multi-cycle path circuit2025
Method and system for formal bug hunting2021
Method and system for sequential equivalence checking2021
Method and system for sequential equivalence checking2021
Method and system for sequential equivalence checking2020
Method and system for sequential equivalence checking2020
System, method, and computer program product for clock gating in a formal verifi2020
System, method, and computer program product for clock gating in a formal verifi2020
System, method, and computer program product for filtering one or more failures 2019