| 2007 |
|---|
| 4 | EE | Thuyen Le,
Tilman Glökler,
Jason Baumgartner:
Formal verification of a pervasive interconnect bus system in a high-performance microprocessor.
DATE 2007: 219-224 |
| 2006 |
|---|
| 3 | EE | Tilman Glökler,
Jason Baumgartner,
Devi Shanmugam,
A. E. (Rick) Seigler,
Gary A. Van Huben,
Barinjato Ramanandray,
Hari Mony,
Paul Roessler:
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning.
FMCAD 2006: 3-10 |
| 2003 |
|---|
| 2 | EE | Tilman Glökler,
Andreas Hoffmann,
Heinrich Meyr:
Methodical Low-Power ASIP Design Space Exploration.
VLSI Signal Processing 33(3): 229-246 (2003) |
| 2002 |
|---|
| 1 | EE | Oliver Wahlen,
Tilman Glökler,
Achim Nohl,
Andreas Hoffmann,
Rainer Leupers,
Heinrich Meyr:
Application specific compiler/architecture codesign: a case study.
LCTES-SCOPES 2002: 185-193 |
