Issued Patents 2020
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10769331 | Verification algorithm engine selection | Peng Fei Gou, Heng Liu, Yang Liu, Chen QIAN, Zhen Peng Zuo | 2020-09-08 |
| 10699044 | Integrated circuit design model splitting for formal verification | Chen QIAN, Heng Liu, Peng Fei Gou, Yang Liu, Zhen Peng Zuo | 2020-06-30 |