Membership
Tour
Register
Log in
Kai O. Weber
Follow
Person
Boeblingen, DE
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Load register on condition immediate instruction
Patent number
11,010,160
Issue date
May 18, 2021
International Business Machines Corporation
Wolfgang Gellerich
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Load register on condition immediate or immediate instruction
Patent number
10,235,168
Issue date
Mar 19, 2019
International Business Machines Corporation
Wolfgang Gellerich
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Data processing in a multiple processor system to maintain multiple...
Patent number
9,594,683
Issue date
Mar 14, 2017
International Business Machines Corporation
Jens Dittrich
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Load register on condition with zero or immediate instruction
Patent number
9,329,863
Issue date
May 3, 2016
International Business Machines Corporation
Wolfgang Gellerich
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Firmware and hardware verification using Opcode comparison
Patent number
9,218,442
Issue date
Dec 22, 2015
International Business Machines Corporation
Christopher A. Krygowski
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Verifying a processor design using a processor simulation model
Patent number
8,600,724
Issue date
Dec 3, 2013
International Business Machines Corporation
Stefan Letz
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Verifying a register-transfer level design of an execution unit
Patent number
8,402,403
Issue date
Mar 19, 2013
International Business Machines Corporation
Stefan Letz
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Verifying a processor design using a processor simulation model
Patent number
8,249,848
Issue date
Aug 21, 2012
International Business Machines Corporation
Stefan Letz
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for building binary decision diagrams optimally f...
Patent number
7,949,968
Issue date
May 24, 2011
International Business Machines Corporation
Christian Jacobi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for formal verification of an electronic circuit...
Patent number
7,890,903
Issue date
Feb 15, 2011
International Business Machines Corporation
Kai Weber
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Test case generation with backward propagation of predefined result...
Patent number
7,865,793
Issue date
Jan 4, 2011
International Business Machines Corporation
Stefan Letz
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
System for verification of digital designs using case-splitting via...
Patent number
7,752,583
Issue date
Jul 6, 2010
International Business Machines Corporation
Jason Raymond Baumgartner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and apparatus for performing equivalence checking on circuit...
Patent number
7,624,363
Issue date
Nov 24, 2009
International Business Machines Corporation
Jason R. Baumgartner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for case-splitting on nodes in a symbolic simulat...
Patent number
7,506,290
Issue date
Mar 17, 2009
International Business Machines Corporation
Christian Jacobi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for case-splitting on nodes in a symbolic simulat...
Patent number
7,475,371
Issue date
Jan 6, 2009
International Business Machines Corporation
Christian Jacobi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Computer program product for verification of digital designs using...
Patent number
7,458,048
Issue date
Nov 25, 2008
International Business Machines Corporation
Jason Raymond Baumgartner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method, system and computer program product for verification of dig...
Patent number
7,367,001
Issue date
Apr 29, 2008
International Business Machines Corporation
Jason Raymond Baumgartner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for case-splitting on nodes in a symbolic simulat...
Patent number
7,363,603
Issue date
Apr 22, 2008
International Business Machines Corporation
Christian Jacobi
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 and system for optimized automated case-splitting via constr...
Patent number
7,340,704
Issue date
Mar 4, 2008
International Business Machines Corporation
Jason Raymond Baumgartner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for performing functional verification of logic c...
Patent number
7,302,656
Issue date
Nov 27, 2007
International Business Machines Corporation
Kai Weber
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for optimized handling of constraints during symb...
Patent number
7,290,229
Issue date
Oct 30, 2007
International Business Machines Corporation
Jason Raymond Baumgartner
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
LOAD REGISTER ON CONDITION IMMEDIATE INSTRUCTION
Publication number
20190187989
Publication date
Jun 20, 2019
International Business Machines Corporation
Wolfgang Gellerich
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
LOAD REGISTER ON CONDITION IMMEDIATE OR IMMEDIATE INSTRUCTION
Publication number
20160139923
Publication date
May 19, 2016
International Business Machines Corporation
Wolfgang Gellerich
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
DATA PROCESSING IN A MULTIPLE PROCESSOR SYSTEM
Publication number
20150154116
Publication date
Jun 4, 2015
International Business Machines Corporation
Jens Dittrich
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
CONDITIONAL IMMEDIATE VALUE LOADING INSTRUCTIONS
Publication number
20130246760
Publication date
Sep 19, 2013
International Business Machines Corporation
Wolfgang Gellerich
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Verifying Simulation Design Modifications
Publication number
20130096901
Publication date
Apr 18, 2013
International Business Machines Corporation
Wolfgang Gellerich
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
VERIFYING A PROCESSOR DESIGN USING A PROCESSOR SIMULATION MODEL
Publication number
20120284007
Publication date
Nov 8, 2012
International Business Machines Corporation
Stefan Letz
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
VERIFICATION USING OPCODE COMPARE
Publication number
20110320783
Publication date
Dec 29, 2011
International Business Machines Corporation
Christopher A. Krygowski
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Verifying a Register-Transfer Level Design of an Execution Unit
Publication number
20110154110
Publication date
Jun 23, 2011
International Business Machines Corporation
Stefan Letz
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 FORMAL VERIFICATION OF AN ELECTRONIC CIRCUIT...
Publication number
20090300560
Publication date
Dec 3, 2009
International Business Machines Corporation
Kai Weber
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, System, computer program product and data processing progra...
Publication number
20090063829
Publication date
Mar 5, 2009
International Business Machines Corporation
Stefan Letz
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and System for Building Binary Decision Diagrams Optimally f...
Publication number
20080222590
Publication date
Sep 11, 2008
Christian Jacobi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and Apparatus for Performing Equivalence Checking on Circuit...
Publication number
20080209287
Publication date
Aug 28, 2008
Jason R. Baumgartner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND SYSTEM FOR OPTIMIZED AUTOMATED CASE-SPLITTING VIA CONSTR...
Publication number
20080092096
Publication date
Apr 17, 2008
JASON Raymond BAUMGARTNER
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND SYSTEM FOR CASE-SPLITTING ON NODES IN A SYMBOLIC SIMULAT...
Publication number
20080092097
Publication date
Apr 17, 2008
Christian Jacobi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND SYSTEM FOR CASE-SPLITTING ON NODES IN A SYMBOLIC SIMULAT...
Publication number
20080092098
Publication date
Apr 17, 2008
Christian Jacobi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
System for Verification of Digital Designs Using Case-Splitting via...
Publication number
20080077381
Publication date
Mar 27, 2008
Jason Raymond Baumgartner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Computer Program Product for Verification of Digital Designs Using...
Publication number
20080077379
Publication date
Mar 27, 2008
Jason Raymond Baumgartner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and system for case-splitting on nodes in a symbolic simulat...
Publication number
20070061765
Publication date
Mar 15, 2007
Christian Jacobi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and System for Performing Functional Formal Verification of...
Publication number
20070050740
Publication date
Mar 1, 2007
Christian Jacobi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Leading-Zero Counter and Method to Count Leading Zeros
Publication number
20070050435
Publication date
Mar 1, 2007
Christian Jacobi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and system for performing functional verification of logic c...
Publication number
20070011633
Publication date
Jan 11, 2007
Kai Weber
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and system for optimized automated case-splitting via constr...
Publication number
20060294481
Publication date
Dec 28, 2006
International Business Machines Corporation
Jason Raymond Baumgartner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and system for optimized handling of constraints during symb...
Publication number
20060190868
Publication date
Aug 24, 2006
International Business Machines Corporation
Jason Raymond Baumgartner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method, system and computer program product for verification of dig...
Publication number
20060122817
Publication date
Jun 8, 2006
International Business Machines Corp.
Jason Raymond Baumgartner
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