Nitin Mhaske

Follow

Person

Santa Clara, 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

Patents Applicationslast 30 patents

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
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