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 7181708 · Granted Feb 20, 2007

Estimated economic value: $8,189,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
Coverage metric and coverage computation for verification based on design partit2010
Coverage metric and coverage computation for verification based on design partit2010
Coverage metric and coverage computation for verification based on design partit2010
Temporal decomposition for design and verification2009
Method and system for verifying circuit designs through propagation of assertion2008