Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10546084 | System, method, and computer program product for ranking and displaying violations in an electronic design | Nizar Hanna, Maayan Ziv, Kanwar Pal Singh, Rabin Shahav | 2020-01-28 |
| 10452798 | System, method, and computer program product for filtering one or more failures in a formal verification | Nizar Hanna, Habeeb Farah, Doron Bustan | 2019-10-22 |