Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Coverage metric and coverage computation for verification based on design partitions

Coverage metric and coverage computation for verification based on design partitions

US Patent 7712059 · Granted May 4, 2010

Estimated economic value: $2,521,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Method and system for performing verification of an electronic design2015
Method and system for implementing top down design and verification of an electr2013
Temporal decomposition for design and verification2013
Temporal decomposition for design and verification2013
Method and system for implementing top down design and verification of an electr2012
Method and system for implementing top down design and verification of an electr2011
Temporal decomposition for design and verification2011
Temporal decomposition for design and verification2009
Method and system for verifying circuit designs through propagation of assertion2008
Method and system for verifying circuit designs through propagation of assertion2008
Method and system for verifying circuit designs through propagation of assertion2008
Design optimization using approximate reachability analysis2008