Jiazhao Xu

Person

Mount Kisco, NY, US

People

Patents Grantslast 30 patents

Information Patent Grant
Verification techniques for liveness checking of logic designs
- Patent number 8,352,894
- Issue date Jan 8, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for dynamic automated hint generation for enhance...
- Patent number 8,201,118
- Issue date Jun 12, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Using constraints in design verification
- Patent number 7,856,609
- Issue date Dec 21, 2010
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System for building binary decision diagrams efficiently in a struc...
- Patent number 7,853,917
- Issue date Dec 14, 2010
- International Business Machines Corporation
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Building binary decision diagrams efficiently in a structural netwo...
- Patent number 7,836,413
- Issue date Nov 16, 2010
- International Business Machines Corporation
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Computer program product for verification using reachability overap...
- Patent number 7,788,615
- Issue date Aug 31, 2010
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Conjunctive BDD building and variable quantification using case-spl...
- Patent number 7,739,635
- Issue date Jun 15, 2010
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System for verification using reachability overapproximation
- Patent number 7,475,370
- Issue date Jan 6, 2009
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Using constraints in design verification
- Patent number 7,421,669
- Issue date Sep 2, 2008
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for building binary decision diagrams efficiently...
- Patent number 7,340,473
- Issue date Mar 4, 2008
- International Business Machines Corporation
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for verification using reachability overapproximation
- Patent number 7,322,017
- Issue date Jan 22, 2008
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for retiming in the presence of verification constraints
- Patent number 7,203,915
- Issue date Apr 10, 2007
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
VERIFICATION TECHNIQUES FOR LIVENESS CHECKING OF LOGIC DESIGNS
- Publication number 20120216159
- Publication date Aug 23, 2012
- International Buisness Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR DYNAMIC AUTOMATED HINT GENERATION FOR ENHANCE...
- Publication number 20110016441
- Publication date Jan 20, 2011
- International Business Machines Corporation
- JASON R. BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Logic Design Verification Techniques for Liveness Checking
- Publication number 20100218150
- Publication date Aug 26, 2010
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Building Binary Decision Diagrams Efficiently...
- Publication number 20100146474
- Publication date Jun 10, 2010
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Building Binary Decision Diagrams Efficiently...
- Publication number 20100138805
- Publication date Jun 3, 2010
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Building Binary Decision Diagrams Efficiently...
- Publication number 20090164965
- Publication date Jun 25, 2009
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Building Binary Decision Diagrams Efficiently...
- Publication number 20090164966
- Publication date Jun 25, 2009
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Conjunctive BDD Building and Variable Quantif...
- Publication number 20080282207
- Publication date Nov 13, 2008
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USING CONSTRAINTS IN DESIGN VERIFICATION
- Publication number 20080256499
- Publication date Oct 16, 2008
- International Business Machines Corp.
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method For Verification Using Reachability Overapproximation
- Publication number 20080066031
- Publication date Mar 13, 2008
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for Verification Using Reachability Overapproximation
- Publication number 20080052650
- Publication date Feb 28, 2008
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Using constraints in design verification
- Publication number 20070074136
- Publication date Mar 29, 2007
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for retiming in the presence of verification constraints
- Publication number 20060206842
- Publication date Sep 14, 2006
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for verification using reachability overapproximation
- Publication number 20060129958
- Publication date Jun 15, 2006
- Jason Raymond
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for building binary decision diagrams efficiently...
- Publication number 20060047680
- Publication date Mar 2, 2006
- International Business Machines Corp.
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Verification techniques for liveness checking of logic designs

Method and system for dynamic automated hint generation for enhance...

Using constraints in design verification

System for building binary decision diagrams efficiently in a struc...

Building binary decision diagrams efficiently in a structural netwo...

Computer program product for verification using reachability overap...

Conjunctive BDD building and variable quantification using case-spl...

System for verification using reachability overapproximation

Using constraints in design verification

Method and system for building binary decision diagrams efficiently...

Method for verification using reachability overapproximation

Method for retiming in the presence of verification constraints

Patents Applicationslast 30 patents

VERIFICATION TECHNIQUES FOR LIVENESS CHECKING OF LOGIC DESIGNS

METHOD AND SYSTEM FOR DYNAMIC AUTOMATED HINT GENERATION FOR ENHANCE...

Logic Design Verification Techniques for Liveness Checking

Method and System for Building Binary Decision Diagrams Efficiently...

Method and System for Building Binary Decision Diagrams Efficiently...

Method and System for Building Binary Decision Diagrams Efficiently...

Method and System for Building Binary Decision Diagrams Efficiently...

Method and System for Conjunctive BDD Building and Variable Quantif...

USING CONSTRAINTS IN DESIGN VERIFICATION

Method For Verification Using Reachability Overapproximation

Method for Verification Using Reachability Overapproximation

Using constraints in design verification

Method for retiming in the presence of verification constraints

Method for verification using reachability overapproximation

Method and system for building binary decision diagrams efficiently...