Issued Patents All Time
Showing 1–11 of 11 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11693955 | Method for remotely monitoring host based on chip-level privacy-preserving computation (PPC) | Lei Zhang, Hao Liu, Panpan Tang, Feng Sha, Jiachun Liao | 2023-07-04 |
| 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 |
| 10769331 | Verification algorithm engine selection | Heng Liu, Yang Liu, Yan Heng Lu, Chen QIAN, Zhen Peng Zuo | 2020-09-08 |
| 10699044 | Integrated circuit design model splitting for formal verification | Chen QIAN, Heng Liu, Yang Liu, Yan Heng Lu, Zhen Peng Zuo | 2020-06-30 |
| 10614192 | Ranking combinations of mutants, test cases and random seeds in mutation testing | Bodo Hoppe, Yang Li, Dan Liu, Yang Liu | 2020-04-07 |
| 10289553 | Accelerator sharing | Yang Liu, Yong Lu | 2019-05-14 |
| 9965580 | Ranking combinations of mutants, test cases and random seeds in mutation testing | Bodo Hoppe, Yang Li, Dan Liu, Yang Liu | 2018-05-08 |
| 9928884 | Elastic memory expansion chip architecture | Jin Jiang, Yufei Li, Heng Liu, ZeQiang Xiao | 2018-03-27 |
| 9443044 | Determining a quality parameter for a verification environment | Bodo Hoppe, Dan Liu, Yong Pan | 2016-09-13 |