Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9483594 | Reset verification | Ka Kei Kwok, Ping Fai Yeung | 2016-11-01 |
| 9117044 | Hierarchical verification of clock domain crossings | Ka Kei Kwok, Rojer Raji Sabbagh, Ramesh Sathianathan | 2015-08-25 |
| 8819599 | Hierarchical verification of clock domain crossings | Ka Kei Kwok, Rojer Raji Sabbagh, Ramesh Sathianathan | 2014-08-26 |