Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Clock model for formal verification of a digital circuit description

Clock model for formal verification of a digital circuit description

US Patent 8060847 · Granted Nov 15, 2011

Estimated economic value: $3,048,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Measure of analysis performed in property checking2017
Measure of analysis performed in property checking2017
Measure of analysis performed in property checking2016
Measure of analysis performed in property checking2016
Measure of analysis performed in property checking2013
Measure of analysis performed in property checking2013
Measure of analysis performed in property checking2011
Measure of analysis performed in property checking2011
Clock model for formal verification of a digital circuit description2009
Clock model for formal verification of a digital circuit description2009
Clock model for formal verification of a digital circuit description2009
Selection of initial states for formal verification2008