P

Inventor

ZHU YUNSHAN

US5 patents
⚠️ This page may combine multiple inventors who share the name “ZHU YUNSHAN”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

LU YUAN

3 patents
US8326778B1Dec 4, 2012

Systems and methods for generating predicates and assertions

LU YUAN7 citations82
US7926020B1Apr 12, 2011

Methods for automatically generating assertions

LU YUAN16 citations82
US9135382B1Sep 15, 2015

Systems, methods, and media for assertion-based verification of devices

LU YUAN14 citations80

SYNOPSYS INC

1 patent
US7149987B2Dec 12, 2006

Method and apparatus for performing generator-based verification

SYNOPSYS INC20 citations90

ZHU YUNSHAN

1 patent
US8306802B2Nov 6, 2012

Method for modeling an HDL design using symbolic simulation

ZHU YUNSHAN3 citations52