Axel Horsch

Title: Innovations by Axel Horsch

Introduction

Axel Horsch is a notable inventor based in Böblingen, Germany. He has made significant contributions to the field of processor testing and program analysis, holding two patents that showcase his innovative approach to technology.

Latest Patents

Horsch's latest patents include a method and system for testing a processor. This method provides a way to verify the correctness of a processor's functional behavior in cooperation with software. It allows for the verification of a CPU that has part of its instruction set implemented with microcode. The process begins with independent testing of the microcode using a functional emulator that mimics the processor hardware according to its functional specification. Following this, the microcode is tested with a hardware emulator that behaves like the processor hardware based on the design of its logic gates. Finally, the microcode undergoes testing against the actual processor hardware. This innovative method enables the functionality of newly designed CPUs to be checked in simulation before actual system integration, helping to identify potential issues early in the design process.

Another patent by Horsch is a system for determining the code coverage of a tested program. This system analyzes programs by measuring the degree of code coverage during specific test phases. It correlates and compares results obtained from both static and dynamic analysis recordings. The introduction of a static and dynamic instruction flow indicator allows for the determination of test coverage results by correlating data from both indicators. This advancement helps identify untested functions during a test phase before the data processing system is deployed in the field.

Career Highlights

Axel Horsch is currently employed at International Business Machines Corporation (IBM), where he continues to innovate in the field of technology. His work focuses on enhancing the reliability and efficiency of processors and software testing.

Collaborations

Horsch has collaborated with notable colleagues such as Harald Boehm and Joachim Von Buttlar, contributing to the advancement of technology through teamwork and shared expertise.

Conclusion

Axel Horsch's contributions to processor testing and program analysis through his patents reflect his commitment to innovation in technology. His work not only enhances the functionality of CPUs but also improves the overall reliability of software systems.