Matthias Pflanz

发表

2. Fault Models and Fault-Behavior of Processor Structures

Matthias Pflanz, 2002 .

Generating reliable embedded processors

Heinrich Theodor Vierhaus, Matthias Pflanz, 1998, IEEE Micro.

4. On-line Check Technology for Processor Control Signals

Matthias Pflanz, 2002 .

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors

Matthias Pflanz, 2002, Lecture Notes in Computer Science.

A new method for on-line state machine observation for embedded microprocessors

Heinrich Theodor Vierhaus, Matthias Pflanz, Christian Galke, 2000, Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786).

A register-transfer-level fault simulator for permanent and transient faults in embedded processors

Heinrich Theodor Vierhaus, Matthias Pflanz, C. Rousselle, 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.

Control signal protection: a new challenge for high performance processors

Heinrich Theodor Vierhaus, Matthias Pflanz, 2003, 9th IEEE On-Line Testing Symposium, 2003. IOLTS 2003..

An efficient on-line-test and back-up scheme for embedded processors

Heinrich Theodor Vierhaus, Matthias Pflanz, F. Pompsch, 1999, International Test Conference 1999. Proceedings (IEEE Cat. No.99CH37034).

6. Conclusion and Outlook

Matthias Pflanz, 2002 .

3. On-line Check Technology for Processor Components

Matthias Pflanz, 2002 .

On-line fehler-erkennung und schnelle wiederherstellungs-techniken für zuverlässige eingebettete prozessoren

Matthias Pflanz, 2001, Ausgezeichnete Informatikdissertationen.

Online Check and Recovery Techniques for Dependable Embedded Processors

Heinrich Theodor Vierhaus, Matthias Pflanz, H. Vierhaus, 2001, IEEE Micro.

On-line detection and compensation of transient errors in processor pipeline-structures

Heinrich Theodor Vierhaus, Matthias Pflanz, Christian Galke, 2002, Proceedings of the Eighth IEEE International On-Line Testing Workshop (IOLTW 2002).

Evaluating Coverage of Error Detection Logic for Soft Errors using Formal Methods

Heinrich Theodor Vierhaus, Matthias Pflanz, Christian Jacobi, 2006, Proceedings of the Design Automation & Test in Europe Conference.

Online Fehler-Erkennung und schnelle Wiederherstellungs-Techniken für zuverlässige eingebettete Prozessoren (Online Error Detection and Fast Recover Techniques for Dependable Embedded Processors)

Matthias Pflanz, 2004, it Inf. Technol..

5. Fast Processor Recover Techniques with Micro Rollback

Matthias Pflanz, 2002 .

A test processor concept for systems-on-a-chip

Heinrich Theodor Vierhaus, Matthias Pflanz, Christian Galke, 2002, Proceedings. IEEE International Conference on Computer Design: VLSI in Computers and Processors.

On-line error detection and correction in storage elements with cross-parity check

Heinrich Theodor Vierhaus, Matthias Pflanz, Christian Galke, 2002, Proceedings of the Eighth IEEE International On-Line Testing Workshop (IOLTW 2002).

Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof

Markus Wedler, Wolfgang Kunz, Matthias Pflanz, 2008, 2008 Asia and South Pacific Design Automation Conference.

Energy Efficiency Boost in the AI-Infused POWER10 Processor

Pradip Bose, José E. Moreira, Balaram Sinharoy, 2021, 2021 ACM/IEEE 48th Annual International Symposium on Computer Architecture (ISCA).

SERMiner : A Framework for Early-stage Reliability Estimation for IBM Processors

Pradip Bose, Matthias Pflanz, Karthik Swaminathan, 2021, 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S).