Issued Patents 2020
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10769331 | Verification algorithm engine selection | Peng Fei Gou, Heng Liu, Yang Liu, Yan Heng Lu, Chen QIAN | 2020-09-08 |
| 10699044 | Integrated circuit design model splitting for formal verification | Chen QIAN, Heng Liu, Peng Fei Gou, Yang Liu, Yan Heng Lu | 2020-06-30 |
| 10585841 | Common high speed IO calibration engines | Xu Sun, Yang Xiao, Xiao Di Xing | 2020-03-10 |