| 12017685 |
Autonomous vehicle longitudinal-and-lateral control method for preventing motion sickness |
Zhijun Fu, Guobin Liu, Guangyu Cai, Xiaohuan Liu, Chuansheng Tang +9 more |
2024-06-25 |
| 11520961 |
Heterogeneous-computing based emulator |
Heng Liu, He Wang, Chen QIAN |
2022-12-06 |
| 11120185 |
Hardware incremental model checking verification |
Chen QIAN, Zhen Peng Zuo, Heng Liu, Peng Fei Gou, Yang Liu |
2021-09-14 |
| 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 |
