Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10325046 | Formal method for clock tree analysis and optimization | Ngai Ngai William Hung, Sitanshu Seth, Leonid Alexander Broukhis, Dhiraj Goswami | 2019-06-18 |
| 9021409 | Integration of data mining and static analysis for hardware design verification | Shobha Vasudevan, David Sheridan | 2015-04-28 |