Issued Patents All Time
Showing 26–30 of 30 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7418678 | Managing formal verification complexity of designs with counters | Lawrence Loh, Vigyan Singhal, Howard Wong-Toi | 2008-08-26 |
| 7237208 | Managing formal verification complexity of designs with datapaths | Lawrence Loh, Howard Wong-Toi, Harry D. Foster | 2007-06-26 |
| 7159198 | System and method for identifying design efficiency and effectiveness parameters for verifying properties of a circuit model | Lawrence Loh, Vigyan Singhal, Howard Wong-Toi, Soe Myint | 2007-01-02 |
| 7065726 | System and method for guiding and optimizing formal verification for a circuit design | Vigyan Singhal, Joseph E. Higgins, Howard Wong-Toi | 2006-06-20 |
| 6915248 | Method and apparatus for transforming test stimulus | — | 2005-07-05 |