Martin Zambaldi

14 papers A* 1A 3C 5Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2013 C conf
Time-of-Arrival Estimation in Mobile Tour Guides.
ENTER
Arthur Pitman, Josef Bernhart, Christian Posch, Martin Zambaldi, Markus Zanker
2008 — —
Concepts for the development of a generic multi-level testbench covering different areas of application.
Martin Zambaldi
2004 J jnl
A Layered Adaptive Verification Platform for Simulation, Test, and Emulation.
IEEE Des. Test Comput.
Martin Zambaldi, Wolfgang Ecker, Renate Henftling, Matthias Bauer
2004 — conf
Ein orthogonales Schema für die Klassifikation der Modellierungsabstraktion von digitalen Systemen.
MBMV
Martin Zambaldi, Wolfgang Ecker
2004 C conf
Extending the RASSP model for Verification.
FDL
Martin Zambaldi, Wolfgang Ecker
2004 A conf
How to Bridge the Gap Between Simulationand Test.
ITC
Martin Zambaldi, Wolfgang Ecker
2004 C conf
Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking.
ISORC
Wolfgang Ecker, Volkan Esen, Thomas Steininger, Martin Zambaldi
2004 C conf
SystemVerilog: Interface Based Design.
FDL
Peter Jensen, Wolfgang Ecker, Thomas Kruse, Martin Zambaldi
2004 C conf
The Formal Simulation Semantics of SystemVerilog.
FDL
Martin Zambaldi, Wolfgang Ecker, Thomas Kruse, Wolfgang Müller
2003 A conf
An Approach for Mixed Coarse-Granular and Fine-Granular Re-Configurable Architectures.
IPDPS
Renate Henftling, Wolfgang Ecker, Andreas Zinn, Martin Zambaldi, Matthias Bauer
2003 — conf
An Enhanced Environment for Multi-Level Simulation.
MBMV
Martin Zambaldi, Matthias Bauer, Wolfgang Ecker, Renate Henftling, Andreas Zinn
2003 A conf
Platform-Based Testbench Generation.
DATE
Renate Henftling, Andreas Zinn, Matthias Bauer, Wolfgang Ecker, Martin Zambaldi
2003 A* conf
Re-use-centric architecture for a fully accelerated testbench environment.
DAC
Renate Henftling, Andreas Zinn, Matthias Bauer, Martin Zambaldi, Wolfgang Ecker
2002 J jnl
Verifikation und Wiederverwendung (Verification and Re-Use).
Informationstechnik Tech. Inform.
Matthias Bauer, Wolfgang Ecker, Renate Henftling, Martin Zambaldi, Andreas Zinn