Issued Patents 2019
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10372856 | Optimizing constraint solving by rewriting at least one bit-slice constraint | Qiang Qiang, Guillermo Maturana, Jasvinder Singh, Dhiraj Goswami | 2019-08-06 |
| 10325046 | Formal method for clock tree analysis and optimization | Lingyi Liu, Sitanshu Seth, Leonid Alexander Broukhis, Dhiraj Goswami | 2019-06-18 |