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