Issued Patents 2020
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10831751 | Query parallelism method | Xiao Xiao Chen, Shuo Li, Liu Di Wang, Hong Mei Zhang | 2020-11-10 |
| 10769331 | Verification algorithm engine selection | Peng Fei Gou, Yang Liu, Yan Heng Lu, Chen QIAN, Zhen Peng Zuo | 2020-09-08 |
| 10699044 | Integrated circuit design model splitting for formal verification | Chen QIAN, Peng Fei Gou, Yang Liu, Yan Heng Lu, Zhen Peng Zuo | 2020-06-30 |
| 10572480 | Adaptive intersect query processing | Shuo Li, Ke Wei Wei, Xin Ying Yang | 2020-02-25 |
| 10528562 | Adaptive intersect query processing | Shuo Li, Ke Wei Wei, Xin Ying Yang | 2020-01-07 |