Christian Pichler

Christian Pichler is listed as a co-author of the paper "Generating an Efficient Instruction Set Simulator from a Complete Property Suite", together with Ulrich Kühne and Sven Beyer. The paper header associates Pichler with OneSpin Solutions GmbH in Munich, Germany, using the email address pattern {Sven.Beyer, Christian.Pichler}@onespin-solutions.com. [C1]

Technical context

The cited paper addresses the generation of instruction set simulators (ISS) for processor development and verification. Its abstract states that ISS tools support early software development and testing before a processor is manufactured, while gate-level simulation is typically too slow for in-depth software testing and may not be available early in the design process. [C2]

The paper presents an approach for automatically generating an efficient instruction set simulator from a complete property suite used in formal processor verification. The stated goal is to obtain a simulator that corresponds to the instruction set architecture used for verification, reducing the risk that a separately implemented simulator diverges from the design or ISA. [C3]

The abstract reports that the approach was shown feasible for an industrial design and that the resulting simulator's performance was comparable to custom state-of-the-art simulators. [C4]