Yunshan Zhu

Follow

Person

Cupertino, CA, US

People

Patents Grantslast 30 patents

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
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
Method for modeling an HDL design using symbolic simulation
- Patent number 8,306,802
- Issue date Nov 6, 2012
- Synopsys, Inc.
- Yunshan Zhu
- 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
Method and apparatus for performing generator-based verification
- Patent number 7,149,987
- Issue date Dec 12, 2006
- Synopsys, Inc.
- Yunshan Zhu
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

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
Method for Modeling an HDL Design Using Symbolic Simulation
- Publication number 20080126066
- Publication date May 29, 2008
- Synopsys, Inc.
- Yunshan Zhu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for performing generator-based verification
- Publication number 20050198597
- Publication date Sep 8, 2005
- Yunshan Zhu
- G06 - COMPUTING CALCULATING COUNTING