Christian Pichler
PersonChristian Pichler is identified in the provided evidence as a co-author of the technical paper "Generating an Efficient Instruction Set Simulator from a Complete Property Suite" and as associated with OneSpin Solutions GmbH.
First seen 5/26/2026
Last seen 5/29/2026
Evidence 1 chunks
Wiki v1
WIKI
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
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
2 connections Generating an Efficient Instruction Set Simulator from a Complete Property Suite ← authored by 100% 2e
Christian Pichler is listed as an author of the paper.
Christian Pichler is affiliated with OneSpin Solutions GmbH.
LINKED ENTITIES
3 linksOneSpin Solutions GmbH affiliated_with The paper header places Christian Pichler's email under the OneSpin Solutions GmbH address block.
Sven Beyer co_author Sven Beyer and Christian Pichler are both listed as authors of the same paper.
Ulrich Kühne co_author Ulrich Kühne and Christian Pichler are both listed as authors of the same paper.
CITATIONS
4 sources4 citations — click to collapse
[1] Christian Pichler is listed as a co-author of "Generating an Efficient Instruction Set Simulator from a Complete Property Suite" and is associated in the paper header with OneSpin Solutions GmbH. Generating an Efficient Instruction Set Simulator from a Complete Property Suite
[2] Instruction set simulators are described as useful for early software development and testing before processor manufacture, while gate-level simulation is described as too slow for in-depth software testing and unavailable early when only the ISA is present. Generating an Efficient Instruction Set Simulator from a Complete Property Suite
[3] The paper presents an approach to automatically generate an instruction set simulator from a complete property suite used for formal verification, aiming to reduce discrepancies between the ISS, design, and ISA. Generating an Efficient Instruction Set Simulator from a Complete Property Suite
[4] The paper reports feasibility on an industrial design and performance comparable to custom state-of-the-art simulators. Generating an Efficient Instruction Set Simulator from a Complete Property Suite