Ingmar Neumann

According to our database, Ingmar Neumann authored at least 18 papers between 1996 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

UVM-SystemC-AMS Framework for System-Level Verification and Validation of Automotive Use Cases.

Martin Barnasconi, Manfred Dietrich, Karsten Einwich, Thilo Vörtler, Jean-Paul Chaput, Marie-Minerve Louërat, François Pêcheux, Zhi Wang, Philippe Cuenot, Ingmar Neumann, Thang Nguyen, Ronan Lucas, Emmanuel Vaumorin

IEEE Des. Test, 2015

2010

An Accelerated Mixed-Signal Simulation Kernel for SystemC.

Daniel Zaum, Stefan Hoelldampf, Markus Olbrich, Erich Barke, Ingmar Neumann

Proceedings of the 2010 Forum on specification & Design Languages, 2010

Using SystemCAMS for Heterogeneous Systems Modelling at TIER-1 Level.

Thomas Arndt, Thomas Uhle, Karsten Einwich, Ingmar Neumann

Proceedings of the 2010 Forum on specification & Design Languages, 2010

2009

The PRAISE approach for accelerated transient analysis applied to wire models.

Daniel Zaum, Stefan Hoelldampf, Markus Olbrich, Erich Barke, Ingmar Neumann, Sebastian Schmidt

Proceedings of the 2009 IEEE International Behavioral Modeling and Simulation Workshop, 2009

2008

Methodologies for High-Level Modelling and Evaluation in the Automotive Domain (invited).

Stefan Hoelldampf, Daniel Zaum, Markus Olbrich, Erich Barke, Ingmar Neumann, Sebastian Schmidt

Proceedings of the Forum on specification and Design Languages, 2008

The AutoSUN Verification Environment.

Christoph Grimm, Klaus Gravogl, Florian Schupfer, Ingmar Neumann

Proceedings of the Forum on specification and Design Languages, 2008

2006

Modelling Synchronous Multi-Clock Circuits for Retiming.

Ingmar Neumann

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

2004

Layout Driven Optimization of Datapath Circuits using Arithmetic Reasoning.

Ingmar Neumann, Dominik Stoffel, Kolja Sulimma, Michel R. C. M. Berkelaar, Wolfgang Kunz

Proceedings of the 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 2004

2003

Layout driven retiming using the coupled edge timing model.

Ingmar Neumann, Wolfgang Kunz

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003

2002

Improving Placement under the Constant Delay Model.

Kolja Sulimma, Ingmar Neumann, Lukas P. P. P. van Ginneken, Wolfgang Kunz

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

Accelerating Retiming Under the Coupled-Edge Timing Model.

Ingmar Neumann, Kolja Sulimma, Wolfgang Kunz

Proceedings of the 2002 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2002), 2002

2001

Performance Optimization during Placement by Retiming.

Ingmar Neumann, Wolfgang Kunz

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2001

Tight coupling of timing-driven placement and retiming.

Ingmar Neumann, Wolfgang Kunz

Proceedings of the 2001 International Symposium on Circuits and Systems, 2001

Cycle time optimization by timing driven placement with simultaneous netlist transformations.

Hendrik Hartje, Ingmar Neumann, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 2001 International Symposium on Circuits and Systems, 2001

Placement Driven Retiming with a Coupled Edge Timing Model.

Ingmar Neumann, Wolfgang Kunz

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

1999

Timing driven cell replication during placement for cycle time optimization.

Ingmar Neumann, Hans-Ulrich Post

Integr., 1999

Cell replication and redundancy elimination during placement for cycle time optimization.

Ingmar Neumann, Dominik Stoffel, Hendrik Hartje, Wolfgang Kunz

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

1996

A Parallel Algorithm for Achieving the Smith Normal Form of an Integer Matrix.

Ingmar Neumann, Wolfgang Wilhelmi

Parallel Comput., 1996