| 2008 |
|---|
| 13 | EE | Udo Krautz,
Markus Wedler,
Wolfgang Kunz,
Kai Weber,
Christian Jacobi,
Matthias Pflanz:
Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof.
ASP-DAC 2008: 398-403 |
| 2006 |
|---|
| 12 | EE | Udo Krautz,
Matthias Pflanz,
Christian Jacobi,
Hans-Werner Tast,
Kai Weber,
Heinrich Theodor Vierhaus:
Evaluating coverage of error detection logic for soft errors using formal methods.
DATE 2006: 176-181 |
| 2004 |
|---|
| 11 | EE | Matthias Pflanz:
Online Fehler-Erkennung und schnelle Wiederherstellungs-Techniken für zuverlässige eingebettete Prozessoren (Online Error Detection and Fast Recover Techniques for Dependable Embedded Processors).
it - Information Technology 46(1): 51-53 (2004) |
| 2003 |
|---|
| 10 | EE | Matthias Pflanz,
Heinrich Theodor Vierhaus:
Control Signal Protection For High Performance Processors.
IOLTS 2003: 173- |
| 9 | EE | Matthias Pflanz,
K. Walther,
Christian Galke,
Heinrich Theodor Vierhaus:
On-Line Techniques for Error Detection and Correction in Processor Registers with Cross-Parity Check.
J. Electronic Testing 19(5): 501-510 (2003) |
| 2002 |
|---|
| 8 | | Matthias Pflanz:
On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
Springer 2002 |
| 7 | EE | Christian Galke,
Matthias Pflanz,
Heinrich Theodor Vierhaus:
A Test Processor Concept for Systems-on-a-Chip.
ICCD 2002: 210- |
| 6 | EE | Christian Galke,
Matthias Pflanz,
Heinrich Theodor Vierhaus:
On-line Detection and Compensation of Transient Errors in Processor Pipeline-Structures.
IOLTW 2002: 178 |
| 5 | EE | Matthias Pflanz,
K. Walther,
Christian Galke,
Heinrich Theodor Vierhaus:
On-Line Error Detection and Correction in Storage Elements with Cross-Parity Check.
IOLTW 2002: 69-73 |
| 2001 |
|---|
| 4 | EE | C. Rousselle,
Matthias Pflanz,
A. Behling,
T. Mohaupt,
Heinrich Theodor Vierhaus:
A register-transfer-level fault simulator for permanent and transient faults in embedded processors.
DATE 2001: 811 |
| 3 | EE | Matthias Pflanz,
K. Walther,
Heinrich Theodor Vierhaus:
On-line Error Detection Techniques for Dependable Embedded Processors with High Complexity.
IOLTW 2001: 51-53 |
| 2 | EE | Matthias Pflanz,
Heinrich Theodor Vierhaus:
Online Check and Recovery Techniques for Dependable Embedded Processors.
IEEE Micro 21(5): 24-40 (2001) |
| 1999 |
|---|
| 1 | | Matthias Pflanz,
Heinrich Theodor Vierhaus,
F. Pompsch:
An efficient on-line-test and back-up scheme for embedded processors.
ITC 1999: 964-972 |
