dblp.uni-trier.dewww.uni-trier.de

Martin Zambaldi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
9EEP. Jensen, Wolfgang Ecker, T. Kruse, Martin Zambaldi: SystemVerilog: Interface Based Design. FDL 2004: 505-518
8EEMartin Zambaldi, Wolfgang Ecker: Extending the RASSP model for Verification. FDL 2004: 536-544
7EEMartin Zambaldi, Wolfgang Ecker, T. Kruse, W. Müller: The Formal Simulation Semantics of SystemVerilog. FDL 2004: 568-578
6EEWolfgang Ecker, Volkan Esen, Thomas Steininger, Martin Zambaldi: Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking. ISORC 2004: 129-135
5EEMartin Zambaldi, Wolfgang Ecker: How to Bridge the Gap Between Simulationand Test. ITC 2004: 1091-1099
4EEMartin Zambaldi, Wolfgang Ecker, Renate Henftling, Matthias Bauer: A Layered Adaptive Verification Platform for Simulation, Test, and Emulation. IEEE Design & Test of Computers 21(6): 464-471 (2004)
2003
3EERenate Henftling, Andreas Zinn, Matthias Bauer, Martin Zambaldi, Wolfgang Ecker: Re-use-centric architecture for a fully accelerated testbench environment. DAC 2003: 372-375
2EERenate Henftling, Andreas Zinn, Matthias Bauer, Wolfgang Ecker, Martin Zambaldi: Platform-Based Testbench Generation. DATE 2003: 11038-11045
1EERenate Henftling, Wolfgang Ecker, Andreas Zinn, Martin Zambaldi, Matthias Bauer: An Approach for Mixed Coarse-Granular and Fine-Granular Re-Configurable Architectures. IPDPS 2003: 187

Coauthor Index

1Matthias Bauer [1] [2] [3] [4]
2Wolfgang Ecker [1] [2] [3] [4] [5] [6] [7] [8] [9]
3Volkan Esen [6]
4Renate Henftling [1] [2] [3] [4]
5P. Jensen [9]
6T. Kruse [7] [9]
7W. Müller [7]
8Thomas Steininger [6]
9Andreas Zinn [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)