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 | Ngai Ngai William Hung, Qiang Qiang, Guillermo Maturana, Jasvinder Singh | 2019-08-06 |
| 10325046 | Formal method for clock tree analysis and optimization | Lingyi Liu, Ngai Ngai William Hung, Sitanshu Seth, Leonid Alexander Broukhis | 2019-06-18 |