Yuan Lu

Person

Saratoga, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Automatic generation of properties to assist hardware emulation
- Patent number 10,073,933
- Issue date Sep 11, 2018
- Synopsys, Inc.
- Yuan Lu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic generation of properties to assist hardware emulation
- Patent number 9,760,663
- Issue date Sep 12, 2017
- Synopsys, Inc.
- Yuan Lu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems, methods, and media for assertion-based verification of dev...
- Patent number 9,135,382
- Issue date Sep 15, 2015
- Atrenta, Inc.
- Yuan Lu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for measuring assertion density in a system of verifying int...
- Patent number 8,881,075
- Issue date Nov 4, 2014
- Atrenta, Inc.
- Yuan Lu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for generating predicates and assertions
- Patent number 8,326,778
- Issue date Dec 4, 2012
- NextOp Software, Inc.
- Yuan Lu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods for automatically generating assertions
- Patent number 7,926,020
- Issue date Apr 12, 2011
- Yuan Lu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Design verification for a switching network logic using formal tech...
- Patent number 7,562,322
- Issue date Jul 14, 2009
- Broadcom Corporation
- Yuan Lu
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
ARTIFICIAL NEURAL NETWORK ARCHITECTURES FOR RESOURCE-CONSTRAINED AP...
- Publication number 20220114415
- Publication date Apr 14, 2022
- AIZIP, Inc.
- Yubei CHEN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automatic Generation of Properties to Assist Hardware Emulation
- Publication number 20170344681
- Publication date Nov 30, 2017
- Synopsys, Inc.
- Yuan Lu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automatic Generation of Properties to Assist Hardware Emulation
- Publication number 20160125105
- Publication date May 5, 2016
- Synopsys, Inc.
- Yuan Lu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD USING PASS/FAIL TEST RESULTS TO PRIORITIZE ELECTR...
- Publication number 20160063162
- Publication date Mar 3, 2016
- Synopsys, Inc.
- Yuan Lu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR GRADING AND SELECTING SIMULATION TESTS USING...
- Publication number 20150379186
- Publication date Dec 31, 2015
- ATRENTA, INC.
- Yong Liu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR MEASURING ASSERTION DENSITY IN A SYSTEM OF VERIFYING INT...
- Publication number 20140250414
- Publication date Sep 4, 2014
- ATRENTA, INC.
- Yuan Lu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Systems and Methods for Generating Predicates and Assertions
- Publication number 20100088257
- Publication date Apr 8, 2010
- Yuan Lu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DESIGN VERIFICATION USING FORMAL TECHNIQUES
- Publication number 20070186197
- Publication date Aug 9, 2007
- BROADCOM CORPORATION
- Yuan Lu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Cache-based free address pool
- Publication number 20070104187
- Publication date May 10, 2007
- Broadcom Corporation
- Vamsi M. Tatapudi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Design verification using formal techniques
- Publication number 20050114809
- Publication date May 26, 2005
- Yuan Lu
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Automatic generation of properties to assist hardware emulation

Automatic generation of properties to assist hardware emulation

Systems, methods, and media for assertion-based verification of dev...

Method for measuring assertion density in a system of verifying int...

Systems and methods for generating predicates and assertions

Methods for automatically generating assertions

Design verification for a switching network logic using formal tech...

Patents Applicationslast 30 patents

ARTIFICIAL NEURAL NETWORK ARCHITECTURES FOR RESOURCE-CONSTRAINED AP...

Automatic Generation of Properties to Assist Hardware Emulation

Automatic Generation of Properties to Assist Hardware Emulation

SYSTEM AND METHOD USING PASS/FAIL TEST RESULTS TO PRIORITIZE ELECTR...

SYSTEM AND METHOD FOR GRADING AND SELECTING SIMULATION TESTS USING...

METHOD FOR MEASURING ASSERTION DENSITY IN A SYSTEM OF VERIFYING INT...

Systems and Methods for Generating Predicates and Assertions

DESIGN VERIFICATION USING FORMAL TECHNIQUES

Cache-based free address pool

Design verification using formal techniques