Inventor
DU XIAOQUN
US8 patents
⚠️ This page may combine multiple inventors who share the name “DU XIAOQUN”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
CADENCE DESIGN SYSTEMS INC
6 patentsUS7596770B1Sep 29, 2009
Temporal decomposition for design and verification
CADENCE DESIGN SYSTEMS INC20 citations91
US7047510B1May 16, 2006
Method and system for partitioning an integrated circuit design
CADENCE DESIGN SYSTEMS INC26 citations91
US7181708B1Feb 20, 2007
Coverage metric and coverage computation for verification based on design partitions
CADENCE DESIGN SYSTEMS INC16 citations90
US7900173B1Mar 1, 2011
Temporal decomposition for design and verification
CADENCE DESIGN SYSTEMS INC7 citations83
US7712059B1May 4, 2010
Coverage metric and coverage computation for verification based on design partitions
CADENCE DESIGN SYSTEMS INC2 citations60
US7444274B1Oct 28, 2008
Method and system for verifying circuit designs through propagation of assertions
CADENCE DESIGN SYSTEMS INC3 citations60