Issued Patents 2020
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |