| 12114107 |
Projector keystone correction method, apparatus and system, and readable storage medium |
Bo Zhong, Shi Xiao, Xin Wang |
2024-10-08 |
| 10860376 |
Communication apparatus and base station |
Wei Zhang, Fan Wang, Minchao LIANG, He Zhang |
2020-12-08 |
| 10521536 |
RTL verification using computational complexity-based property ranking and scheduling |
Manish Pandey, Ming-Ying Chung, Arunava Saha |
2019-12-31 |
| 10366330 |
Formal verification result prediction |
— |
2019-07-30 |
| 10140403 |
Managing model checks of sequential designs |
Manish Pandey |
2018-11-27 |
| 9705809 |
Method and device for adjusting rate of data transmission in Ethernet |
Wei Zhang, Dandan Guo, Xiong Tang, Hui Tu |
2017-07-11 |
| 9548934 |
Data stream and data packet transmission method and device |
Feng Wang, Xiaobo Kuang |
2017-01-17 |
| 9430595 |
Managing model checks of sequential designs |
Manish Pandey |
2016-08-30 |
| 9372715 |
Priority level arbitration method and device |
Lisheng Xiao, Dewei Chen |
2016-06-21 |