Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9177089 | Formal verification coverage metrics for circuit design properties | Ziyad Hanna, Ross M. Weber, Habeeb Farah, Rajeev Ranjan | 2015-11-03 |
| 8826201 | Formal verification coverage metrics for circuit design properties | Ziyad Hanna, Ross M. Weber, Habeeb Farah, Rajeev Ranjan | 2014-09-02 |