Peng Fei Gou

Person

Shanghai, CN

People

Patents Grantslast 30 patents

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
Accelerator sharing
- Patent number 11,068,397
- Issue date Jul 20, 2021
- International Business Machines Corporation
- Peng Fei Bg Gou
- 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
Ranking combinations of mutants, test cases and random seeds in mut...
- Patent number 10,614,192
- Issue date Apr 7, 2020
- International Business Machines Corporation
- Peng Fei Gou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Accelerator sharing
- Patent number 10,289,553
- Issue date May 14, 2019
- International Business Machines Corporation
- Peng Fei Bg Gou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Ranking combinations of mutants, test cases and random seeds in mut...
- Patent number 9,965,580
- Issue date May 8, 2018
- nternational Business Machines Corporation
- Peng Fei Gou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Elastic memory expansion chip architecture
- Patent number 9,928,884
- Issue date Mar 27, 2018
- International Business Machines Corporation
- Peng Fei Gou
- G11 - INFORMATION STORAGE
Information Patent Grant
Determining a quality parameter for a verification environment
- Patent number 9,443,044
- Issue date Sep 13, 2016
- International Business Machines Corporation
- Peng Fei Gou
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
POWER-PERFORMANCE BASED SYSTEM MANAGEMENT
- Publication number 20210397476
- Publication date Dec 23, 2021
- International Business Machines Corporation
- Yang Liu
- 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
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
Information Patent Application
ACCELERATOR SHARING
- Publication number 20190227933
- Publication date Jul 25, 2019
- International Business Machines Corporation
- Peng Fei BG Gou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RANKING COMBINATIONS OF MUTANTS, TEST CASES AND RANDOM SEEDS IN MUT...
- Publication number 20180144090
- Publication date May 24, 2018
- International Business Machines Corporation
- Peng Fei GOU
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ACCELERATOR SHARING
- Publication number 20180121357
- Publication date May 3, 2018
- International Business Machines Corporation
- Peng Fei BG Gou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND DEVICE FOR SIMULATING A CIRCUIT DESIGN
- Publication number 20160063158
- Publication date Mar 3, 2016
- International Business Machines Corporation
- Peng Fei Gou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Ranking Combinations of Mutants, Test Cases and Random Seeds in Mut...
- Publication number 20150379187
- Publication date Dec 31, 2015
- International Business Machines Corporation
- Peng Fei GOU
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINING A QUALITY PARAMETER FOR A VERIFICATION ENVIRONMENT
- Publication number 20150121323
- Publication date Apr 30, 2015
- International Business Machines Corporation
- Peng Fei Gou
- G06 - COMPUTING CALCULATING COUNTING

Peng Fei Gou

Person

Patents Grantslast 30 patents

Hardware incremental model checking verification

Accelerator sharing

Symmetrical multi-processing node

Verification algorithm engine selection

Integrated circuit design model splitting for formal verification

Ranking combinations of mutants, test cases and random seeds in mut...

Accelerator sharing

Ranking combinations of mutants, test cases and random seeds in mut...

Elastic memory expansion chip architecture

Determining a quality parameter for a verification environment

Patents Applicationslast 30 patents

POWER-PERFORMANCE BASED SYSTEM MANAGEMENT

HARDWARE INCREMENTAL MODEL CHECKING VERIFICATION

SYMMETRICAL MULTI-PROCESSING NODE

INTEGRATED CIRCUIT DESIGN MODEL SPLITTING FOR FORMAL VERIFICATION

VERIFICATION ALGORITHM ENGINE SELECTION

ACCELERATOR SHARING

RANKING COMBINATIONS OF MUTANTS, TEST CASES AND RANDOM SEEDS IN MUT...

ACCELERATOR SHARING

METHOD AND DEVICE FOR SIMULATING A CIRCUIT DESIGN

Ranking Combinations of Mutants, Test Cases and Random Seeds in Mut...

DETERMINING A QUALITY PARAMETER FOR A VERIFICATION ENVIRONMENT