Issued Patents 2021
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11120185 | Hardware incremental model checking verification | Yan Heng Lu, Chen QIAN, Zhen Peng Zuo, Heng Liu, Yang Liu | 2021-09-14 |
| 11068397 | Accelerator sharing | Yang Liu, Yong Lu | 2021-07-20 |
| 11048630 | Symmetrical multi-processing node | Zhen Peng Zuo, Yang Liu, Hua Xin Yao | 2021-06-29 |