Issued Patents 2021
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11010522 | Efficient mechanism for interactive fault analysis in formal verification environment | Xiaolin Chen, Arunava Saha, Pratik Mahajan, Jinnan Huang | 2021-05-18 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11010522 | Efficient mechanism for interactive fault analysis in formal verification environment | Xiaolin Chen, Arunava Saha, Pratik Mahajan, Jinnan Huang | 2021-05-18 |