Christian Sporrer

ASDeX: a formal specification for analog circuit enabling a full automated design validation

Lars Hedrich, Mingyu Ma, Christian Sporrer, 2014, Des. Autom. Embed. Syst..

Reducing Rollback Overhead In Time-warp Based Distributed Simulation With Optimized Incremental State Saving

Herbert Bauer, Christian Sporrer, 1993, [1993] Proceedings 26th Annual Simulation Symposium.

A machine-readable specification of analog circuits for integration into a validation flow

Lars Hedrich, Mingyu Ma, Christian Sporrer, 2011, FDL 2011 Proceedings.

Corolla partitioning for distributed logic simulation of VLSI-circuits

Herbert Bauer, Christian Sporrer, C. Sporrer, 1993, PADS '93.

On Distributed Logic Simulation Using Time Warp

Herbert Bauer, Thomas H. Krodel, Christian Sporrer, 1991, Conference on Advanced Research in VLSI.

Verfahren zur Schaltungspartitionierung für die parallele Logiksimulation

Christian Sporrer, 1995 .

Dynamic load balancing of a multi-cluster simulator on a network of workstations

Herbert Bauer, Rolf Schlagenhaft, Christian Sporrer, 1995, PADS.