| 2007 |
|---|
| 5 | EE | Djones Lettnin,
Markus Winterholer,
Axel G. Braun,
Joachim Gerlach,
Jürgen Ruf,
Thomas Kropf,
Wolfgang Rosenstiel:
Coverage Driven Verification applied to Embedded Software.
ISVLSI 2007: 159-164 |
| 2006 |
|---|
| 4 | EE | Markus Winterholer:
Design Structure Analysis and Transaction-based Co-Verification.
FDL 2006: 215-222 |
| 2004 |
|---|
| 3 | EE | C. Schulz-Key,
Markus Winterholer,
Thomas Schweizer,
Tommy Kuhn,
Wolfgang Rosenstiel:
Object-oriented modeling and synthesis of SystemC specifications.
ASP-DAC 2004: 238-243 |
| 2001 |
|---|
| 2 | EE | Tommy Kuhn,
Tobias Oppold,
Markus Winterholer,
Wolfgang Rosenstiel,
Mark Edwards,
Yaron Kashai:
A Framework for Object Oriented Hardware Specification, Verification, and Synthesis.
DAC 2001: 413-418 |
| 1 | | Tommy Kuhn,
Tobias Oppold,
C. Schulz-Key,
Markus Winterholer,
Wolfgang Rosenstiel,
Mark Edwards,
Yaron Kashai:
Object oriented hardware synthesis and verification.
ISSS 2001: 189-194 |
