Inventor · disambiguated record
Jiazhao Xu
Also filed as: XU JIAZHAO
12 granted patents·1 pending application·81 citations·filing 2004–2012
90Inventor score
Technology areasG06F
Top patents by PatentIndex Score
13 records- 0184US7421669B2Using constraints in design verificationIBM·Filed 2005·Granted Sep 2, 2008·12 cites·5 claims
- 0283US7203915B2Method for retiming in the presence of verification constraintsIBM·Filed 2005·Granted Apr 10, 2007·13 cites·20 claims
- 0379US7475370B2System for verification using reachability overapproximationIBM·Filed 2007·Granted Jan 6, 2009·7 cites·7 claims
- 0477US8352894B2Verification techniques for liveness checking of logic designsIBM·Filed 2012·Granted Jan 8, 2013·4 cites·20 claims
- 0576US7856609B2Using constraints in design verificationIBM·Filed 2008·Granted Dec 21, 2010·6 cites·8 claims
- 0675US7322017B2Method for verification using reachability overapproximationIBM·Filed 2004·Granted Jan 22, 2008·16 cites·7 claims
- 0772US7788615B2Computer program product for verification using reachability overapproximationIBM·Filed 2007·Granted Aug 31, 2010·4 cites·6 claims
- 0870US7739635B2Conjunctive BDD building and variable quantification using case-splittingIBM·Filed 2007·Granted Jun 15, 2010·5 cites·17 claims
- 0970US7340473B2Method and system for building binary decision diagrams efficiently in a structural network representation of a digital circuitIBM·Filed 2004·Granted Mar 4, 2008·12 cites·8 claims
- 1061US8201118B2Method and system for dynamic automated hint generation for enhanced reachability analysisBAUMGARTNER JASON R·Filed 2009·Granted Jun 12, 2012·2 cites·15 claims
- 1153US7853917B2System for building binary decision diagrams efficiently in a structural network representation of a digital circuitIBM·Filed 2007·Granted Dec 14, 2010·0 cites·8 claims
- 1253US2010218150A1Logic Design Verification Techniques for Liveness CheckingIBM·Filed 2009·Application pending·0 cites
- 1352US7836413B2Building binary decision diagrams efficiently in a structural network representation of a digital circuitIBM·Filed 2007·Granted Nov 16, 2010·0 cites·8 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →