| 11890650 |
Automatic baggage-packing device for urban terminals based on artificial intelligence |
Jinyan Shao, Yingjie Li, Hewu Lu |
2024-02-06 |
| 11798309 |
Fingerprint identification method for panel, electronic device, and control circuit |
Wei-Lun Shih, Ting-Hsuan Hung, Jia-Lin Chen |
2023-10-24 |
| 11694473 |
Electronic circuit having display driving function, touch sensing function and fingerprint sensing function |
Huan-Teng Cheng |
2023-07-04 |
| 11423688 |
Fingerprint sensing module |
Tsung-Chan Lee |
2022-08-23 |
| 11403534 |
Acquiring entity webpage link based on topological relationship graph |
Bai Su, Chao Ma, Changhai Zhou, Shujun Hua, Ning Wen |
2022-08-02 |
| 11106887 |
Electronic circuit and a method for generating a fingerprint image |
Huan-Teng Cheng |
2021-08-31 |
| 10073933 |
Automatic generation of properties to assist hardware emulation |
Lawrence Vivolo, Nitin Mhaske |
2018-09-11 |
| 10025587 |
Method of bootup and installation, and computer system thereof |
— |
2018-07-17 |
| 9760663 |
Automatic generation of properties to assist hardware emulation |
Lawrence Vivolo, Nitin Mhaske |
2017-09-12 |
| 9210260 |
Controlling communications between a mobile device and a base station |
— |
2015-12-08 |
| 9135382 |
Systems, methods, and media for assertion-based verification of devices |
Nitin Mhaske, Yunshan Zhu |
2015-09-15 |
| 8881075 |
Method for measuring assertion density in a system of verifying integrated circuit design |
Yong Liu, Nitin Mhaske |
2014-11-04 |
| 7562322 |
Design verification for a switching network logic using formal techniques |
— |
2009-07-14 |
| 6389374 |
OBDD variable ordering using sampling based schemes |
Jawahar Jain |
2002-05-14 |
