Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Methods, systems, and computer program product for verifying electronic designs with clock domain crossing paths

Methods, systems, and computer program product for verifying electronic designs with clock domain crossing paths

US Patent 9633151 · Granted Apr 25, 2017

Estimated economic value: $7,436,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Camera apparatus, SMA driving device and manufacturing method, driving method an2025
Adaptive model interface for a plurality of EDA programs2020
Systems and methods for automatic formal metastability fault analysis in an elec2020
Systems and methods for automatic formal metastability fault analysis in an elec2020
System, method, and computer program product for handling combinational loops as2020
Driving route matching method and apparatus, and storage medium2019
Methods, systems, and articles of manufacture for verifying an electronic design2019
Methods, systems, and articles of manufacture for verifying an electronic design2019
Methods, systems, and articles of manufacture for verifying an electronic design2019
Method and system for implementing selective transformation for low power verifi2018
Methods, systems, and articles of manufacture for graph-driven verification and 2018
Data propagation analysis for debugging a circuit design2018