Holger Horbach

Person

Stuttgart, DE

People

Patents Grantslast 30 patents

Information Patent Grant
Validating memory access patterns of static program code
- Patent number 11,734,187
- Issue date Aug 22, 2023
- International Business Machines Corporation
- Holger Horbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Controlling an electronic circuit
- Patent number 10,223,226
- Issue date Mar 5, 2019
- International Business Machines Corporation
- Joerg Behrend
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Controlling an electronic circuit
- Patent number 10,146,654
- Issue date Dec 4, 2018
- International Business Machines Corporation
- Joerg Behrend
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated checker generation
- Patent number 10,055,522
- Issue date Aug 21, 2018
- International Business Machines Corporation
- Joerg Behrend
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for JTAG-driven remote scanning
- Patent number 9,110,137
- Issue date Aug 18, 2015
- International Business Machines Corporation
- Martin Doerr
- G01 - MEASURING TESTING
Information Patent Grant
Apparatus for JTAG-driven remote scanning
- Patent number 8,914,693
- Issue date Dec 16, 2014
- International Business Machines Corporation
- Martin Doerr
- G01 - MEASURING TESTING
Information Patent Grant
System for performing a co-simulation and/or emulation of hardware...
- Patent number 8,352,231
- Issue date Jan 8, 2013
- International Business Machines Corporation
- Joern Babinsky
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
PROCESSING TENSORS
- Publication number 20240135158
- Publication date Apr 25, 2024
- International Business Machines Corporation
- Julian Heyne
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PADDING INPUT DATA FOR ARTIFICIAL INTELLIGENCE ACCELERATORS
- Publication number 20230267003
- Publication date Aug 24, 2023
- International Business Machines Corporation
- Cedric Lichtenau
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VALIDATING MEMORY ACCESS PATTERNS OF STATIC PROGRAM CODE
- Publication number 20230185725
- Publication date Jun 15, 2023
- International Business Machines Corporation
- Holger Horbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CORRELATING VERIFICATION SCENARIO COVERAGE WITH HARDWARE COVERAGE E...
- Publication number 20190251219
- Publication date Aug 15, 2019
- International Business Machines Corporation
- JOERG BEHREND
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONTROLLING AN ELECTRONIC CIRCUIT
- Publication number 20180217907
- Publication date Aug 2, 2018
- International Business Machines Corporation
- Joerg Behrend
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONTROLLING AN ELECTRONIC CIRCUIT
- Publication number 20180137023
- Publication date May 17, 2018
- International Business Machines Corporation
- Joerg Behrend
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED CHECKER GENERATION
- Publication number 20170351788
- Publication date Dec 7, 2017
- International Business Machines Corporation
- Joerg Behrend
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
APPARATUS FOR JTAG-DRIVEN REMOTE SCANNING
- Publication number 20140089749
- Publication date Mar 27, 2014
- International Business Machines Corporation
- Martin Doerr
- G01 - MEASURING TESTING
Information Patent Application
APPARATUS FOR JTAG-DRIVEN REMOTE SCANNING
- Publication number 20130212445
- Publication date Aug 15, 2013
- International Business Machines Corporation
- Martin Doerr
- G01 - MEASURING TESTING
Information Patent Application
System for Performing a Co-Simulation and/or Emulation of Hardware...
- Publication number 20090063120
- Publication date Mar 5, 2009
- International Business Machines Corporation
- Joern Babinsky
- G06 - COMPUTING CALCULATING COUNTING

Holger Horbach

Person

Patents Grantslast 30 patents

Validating memory access patterns of static program code

Controlling an electronic circuit

Controlling an electronic circuit

Automated checker generation

Method for JTAG-driven remote scanning

Apparatus for JTAG-driven remote scanning

System for performing a co-simulation and/or emulation of hardware...

Patents Applicationslast 30 patents

PROCESSING TENSORS

PADDING INPUT DATA FOR ARTIFICIAL INTELLIGENCE ACCELERATORS

VALIDATING MEMORY ACCESS PATTERNS OF STATIC PROGRAM CODE

CORRELATING VERIFICATION SCENARIO COVERAGE WITH HARDWARE COVERAGE E...

CONTROLLING AN ELECTRONIC CIRCUIT

CONTROLLING AN ELECTRONIC CIRCUIT

AUTOMATED CHECKER GENERATION

APPARATUS FOR JTAG-DRIVEN REMOTE SCANNING

APPARATUS FOR JTAG-DRIVEN REMOTE SCANNING

System for Performing a Co-Simulation and/or Emulation of Hardware...