Inventor
XU JIAZHAO
US12 patents
⚠️ This page may combine multiple inventors who share the name “XU JIAZHAO”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
IBM
11 patentsUS7322017B2Jan 22, 2008
Method for verification using reachability overapproximation
IBM16 citations92
US7421669B2Sep 2, 2008
Using constraints in design verification
IBM12 citations84
US7203915B2Apr 10, 2007
Method for retiming in the presence of verification constraints
IBM13 citations84
US7340473B2Mar 4, 2008
Method and system for building binary decision diagrams efficiently in a structural network representation of a digital circuit
IBM12 citations83
US7856609B2Dec 21, 2010
Using constraints in design verification
IBM6 citations74
US7475370B2Jan 6, 2009
System for verification using reachability overapproximation
IBM7 citations74
US7788615B2Aug 31, 2010
Computer program product for verification using reachability overapproximation
IBM4 citations63
US7739635B2Jun 15, 2010
Conjunctive BDD building and variable quantification using case-splitting
IBM5 citations63
US8352894B2Jan 8, 2013
Verification techniques for liveness checking of logic designs
IBM4 citations61
US7853917B2Dec 14, 2010
System for building binary decision diagrams efficiently in a structural network representation of a digital circuit
IBM0 citations51
US7836413B2Nov 16, 2010
Building binary decision diagrams efficiently in a structural network representation of a digital circuit
IBM0 citations51