Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9117044 | Hierarchical verification of clock domain crossings | Ka Kei Kwok, Priya Viswanathan, Ramesh Sathianathan | 2015-08-25 |
| 8819599 | Hierarchical verification of clock domain crossings | Ka Kei Kwok, Priya Viswanathan, Ramesh Sathianathan | 2014-08-26 |
| 8271918 | Formal verification of clock domain crossings | Ka Kei Kwok, Bing Li, Tai A. Ly | 2012-09-18 |