Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Static partial order reduction

Static partial order reduction

US Patent 6295515 · Granted Sep 25, 2001

Estimated economic value: $30,538,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Method of providing recommendations in an online listing platform2024
Method and system for performing verification of an electronic design2015
Method and system for implementing top down design and verification of an electr2013
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
Coverage metric and coverage computation for verification based on design partit2010
Method and system for verifying circuit designs through propagation of assertion2008
Coverage metric and coverage computation for verification based on design partit2007
Method and system for partitioning an integrated circuit design2006
Power supply2005
Verification coverage method2004
Method for identifying cyclicity in circuit designs2003