Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and apparatus for performing generator-based verification

Method and apparatus for performing generator-based verification

US Patent 7149987 · Granted Dec 12, 2006

Estimated economic value: $9,074,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Systems, methods, and media for assertion-based verification of devices2015
Systems and methods for generating predicates and assertions2012
Method for modeling an HDL design using symbolic simulation2012
Method for modeling an HDL design using symbolic simulation2012
Methods for automatically generating assertions2011
Integrating a boolean SAT solver into a router2011
Phase abstraction for formal verification2011
Phase abstraction for formal verification2008
Method and apparatus for solving constraints2007
Latch modeling technique for formal verification2007
Method and apparatus for solving constraints2006
Method and apparatus for formally constraining random simulation2006