| 2007 |
|---|
| 6 | EE | Wolfgang Ecker,
Volkan Esen,
Lars Schönberg,
Thomas Steininger,
Michael Velten,
Michael Hull:
Interactive presentation: Impact of description language, abstraction layer, and value representation on simulation performance.
DATE 2007: 767-772 |
| 5 | EE | Wolfgang Ecker,
Volkan Esen,
Thomas Steininger,
Michael Velten,
Michael Hull:
Interactive presentation: Implementation of a transaction level assertion framework in SystemC.
DATE 2007: 894-899 |
| 4 | EE | Wolfgang Ecker,
Volkan Esen,
Thomas Steininger,
Michael Velten:
Requirements and Concepts for Transaction Level Assertion Refinement.
IESS 2007: 1-14 |
| 2006 |
|---|
| 3 | EE | Wolfgang Ecker,
Volkan Esen,
Michael Hull,
Thomas Steininger,
Michael Velten:
Requirements and Concepts for Transaction Level Assertions.
ICCD 2006 |
| 2 | EE | Wolfgang Ecker,
Volkan Esen,
Michael Hull:
Execution semantics and formalisms for multi-abstraction TLM assertions.
MEMOCODE 2006: 93-102 |
| 2004 |
|---|
| 1 | EE | Wolfgang Ecker,
Volkan Esen,
Thomas Steininger,
Martin Zambaldi:
Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking.
ISORC 2004: 129-135 |
