Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › System, method, and computer program product for automatically inferring case-split hints in equivalence checking of an electronic design

System, method, and computer program product for automatically inferring case-split hints in equivalence checking of an electronic design

US Patent 10983758 · Granted Apr 20, 2021

Estimated economic value: $88,375,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

User interface for formal verification of computer instructions for compatibilit2025
Corrugated radomes2025
Air cooling system for electronic spinning assembly2024
Food packaging body and a combination packaging body including the same2024
Hierarchical clustering for coding practice discovery2024
Example-based synthesis of rules for detecting violations of software coding pra2024
Sensor housing assembly2024
Air cooling system for electronic spinning assembly2023
Data flow tracking in program verification2023
Plated, injection molded, automotive radar waveguide antenna2023
Method and system for assertion-based formal verification using unique signature2022
System and method for assertion-based formal verification using cached metadata2022