Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Hierarchical verification of clock domain crossings

Hierarchical verification of clock domain crossings

US Patent 8819599 · Granted Aug 26, 2014

Estimated economic value: $10,961,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Measure of analysis performed in property checking2017
Reset verification2016
Reset verification2016
Measure of analysis performed in property checking2016
Hierarchical verification of clock domain crossings2015
Hierarchical verification of clock domain crossings2015
Hierarchical verification of clock domain crossings2015
Hierarchical verification of clock domain crossings2015
Metastability effects simulation for a circuit description2014
Metastability effects simulation for a circuit description2013
Measure of analysis performed in property checking2013
Formal verification of clock domain crossings2012