ZHEN PENG ZUO

Person

Shanghai, CN

People

Patents Grantslast 30 patents

Information Patent Grant
Real-time eye diagram optimization in a high speed IO receiver
- Patent number 11,228,418
- Issue date Jan 18, 2022
- International Business Machines Corporation
- Xiao Di Xing
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hardware incremental model checking verification
- Patent number 11,120,185
- Issue date Sep 14, 2021
- International Business Machines Corporation
- Yan Heng Lu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symmetrical multi-processing node
- Patent number 11,048,630
- Issue date Jun 29, 2021
- International Business Machines Corporation
- Zhen Peng Zuo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification algorithm engine selection
- Patent number 10,769,331
- Issue date Sep 8, 2020
- International Business Machines Corporation
- Peng Fei Gou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Integrated circuit design model splitting for formal verification
- Patent number 10,699,044
- Issue date Jun 30, 2020
- International Business Machines Corporation
- Chen Qian
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Common high speed IO calibration engines
- Patent number 10,585,841
- Issue date Mar 10, 2020
- International Business Machines Corporation
- Xu Guang Sun
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
REAL-TIME EYE DIAGRAM OPTIMIZATION IN A HIGH SPEED IO RECEIVER
- Publication number 20200175299
- Publication date Jun 4, 2020
- International Business Machines Corporation
- Xiao Di XING
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HARDWARE INCREMENTAL MODEL CHECKING VERIFICATION
- Publication number 20200175128
- Publication date Jun 4, 2020
- International Business Machines Corporation
- YAN HENG LU
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYMMETRICAL MULTI-PROCESSING NODE
- Publication number 20200167283
- Publication date May 28, 2020
- International Business Machines Corporation
- Zhen Peng Zuo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMMON HIGH SPEED IO CALIBRATION ENGINES
- Publication number 20200034328
- Publication date Jan 30, 2020
- International Business Machines Corporation
- Xu Guang SUN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTEGRATED CIRCUIT DESIGN MODEL SPLITTING FOR FORMAL VERIFICATION
- Publication number 20200019652
- Publication date Jan 16, 2020
- International Business Machines Corporation
- CHEN QIAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION ALGORITHM ENGINE SELECTION
- Publication number 20200019654
- Publication date Jan 16, 2020
- International Business Machines Corporation
- PENG FEI GOU
- G06 - COMPUTING CALCULATING COUNTING

ZHEN PENG ZUO

Person

Patents Grantslast 30 patents

Real-time eye diagram optimization in a high speed IO receiver

Hardware incremental model checking verification

Symmetrical multi-processing node

Verification algorithm engine selection

Integrated circuit design model splitting for formal verification

Common high speed IO calibration engines

Patents Applicationslast 30 patents

REAL-TIME EYE DIAGRAM OPTIMIZATION IN A HIGH SPEED IO RECEIVER

HARDWARE INCREMENTAL MODEL CHECKING VERIFICATION

SYMMETRICAL MULTI-PROCESSING NODE

COMMON HIGH SPEED IO CALIBRATION ENGINES

INTEGRATED CIRCUIT DESIGN MODEL SPLITTING FOR FORMAL VERIFICATION

VERIFICATION ALGORITHM ENGINE SELECTION