Inventor · disambiguated record
Xiaoqun Du
Also filed as: DU XIAOQUN
8 granted patents·1 pending application·81 citations·filing 2003–2011
87Inventor score
Technology areasG06F
Top patents by PatentIndex Score
9 records- 0190US7596770B1Temporal decomposition for design and verificationCADENCE DESIGN SYSTEMS INC·Filed 2005·Granted Sep 29, 2009·20 cites·11 claims
- 0283US8418101B1Temporal decomposition for design and verificationKUEHLMANN ANDREAS·Filed 2011·Granted Apr 9, 2013·6 cites·19 claims
- 0379US7900173B1Temporal decomposition for design and verificationCADENCE DESIGN SYSTEMS INC·Filed 2008·Granted Mar 1, 2011·7 cites·14 claims
- 0477US7047510B1Method and system for partitioning an integrated circuit designCADENCE DESIGN SYSTEMS INC·Filed 2003·Granted May 16, 2006·26 cites·26 claims
- 0572US7181708B1Coverage metric and coverage computation for verification based on design partitionsCADENCE DESIGN SYSTEMS INC·Filed 2004·Granted Feb 20, 2007·16 cites·42 claims
- 0665US8413090B1Temporal decomposition for design and verificationKUEHLMANN ANDREAS·Filed 2011·Granted Apr 2, 2013·1 cites·16 claims
- 0762US7712059B1Coverage metric and coverage computation for verification based on design partitionsCADENCE DESIGN SYSTEMS INC·Filed 2007·Granted May 4, 2010·2 cites·27 claims
- 0850US7444274B1Method and system for verifying circuit designs through propagation of assertionsCADENCE DESIGN SYSTEMS INC·Filed 2003·Granted Oct 28, 2008·3 cites·53 claims
- 0938US2014358971A1Techniques for identifying chain businesses and queriesAMINZADE DANIEL·Filed 2010·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Xiaoqun Du files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →