Jinqing Yu

Follow

Person

Fremont, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
RTL verification using computational complexity-based property rank...
- Patent number 10,521,536
- Issue date Dec 31, 2019
- Synopsys, Inc.
- Jinqing Yu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification result prediction
- Patent number 10,366,330
- Issue date Jul 30, 2019
- Synopsys, Inc.
- Jinqing Yu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Managing model checks of sequential designs
- Patent number 10,140,403
- Issue date Nov 27, 2018
- Synopsys Inc.
- Jinqing Yu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Managing model checks of sequential designs
- Patent number 9,430,595
- Issue date Aug 30, 2016
- Synopsys, Inc.
- Manish Pandey
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
RTL Verification Using Computational Complexity-Based Property Rank...
- Publication number 20180144071
- Publication date May 24, 2018
- Synopsys, Inc.
- Jinqing Yu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MANAGING MODEL CHECKS OF SEQUENTIAL DESIGNS
- Publication number 20160125111
- Publication date May 5, 2016
- Synopsys Inc.
- Jinqing Yu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FORMAL VERIFICATION RESULT PREDICTION
- Publication number 20140330758
- Publication date Nov 6, 2014
- Synopsys, Inc.
- Jinqing Yu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MANAGING MODEL CHECKS OF SEQUENTIAL DESIGNS
- Publication number 20140157216
- Publication date Jun 5, 2014
- Synopsys Inc.
- Manish Pandey
- G06 - COMPUTING CALCULATING COUNTING