Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Detecting of model errors through simplification of model via state reachability analysis

Detecting of model errors through simplification of model via state reachability analysis

US Patent 6311293 · Granted Oct 30, 2001

Estimated economic value: $27,443,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
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
Verification coverage method2004
Method for identifying cyclicity in circuit designs2003
Static partial order reduction2001
Verifying hardware in its software context and vice-versa2001