|
Home « Team « Publications
» Publications of
Niels Thole
|
|
 |
BOOKS |
 |
|
BOOK CONTRIBUTIONS |
|
|
JOURNALS |
|
|
CONFERENCES |
|
» A Hybrid Algorithm to Conservatively Check the
Robustness of Circuits
|
|
|
|
Author:
|
|
Niels Thole, Lorena Anghel, Görschwin Fey |
| Conference: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Reference:
|
| Pittsburgh, USA, 2016
| Hyperlink:
|
| [To the Site of this Conference]
|
» Equivalence Checking on ESL Utilizing A Priori Knowledge
|
|
|
|
Author:
|
|
Niels Thole, Heinz Riener, Görschwin Fey
|
| Conference: |
|
Forum on specification & Design Languages (FDL) |
Reference:
|
| Bremen, Germany, 2016
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» A Hybrid Algorithm to Conservatively Check the Robustness of Circuits
|
|
|
|
Author:
|
|
Niels Thole, Lorena Anghel, Görschwin Fey |
| Conference: |
|
IEEE European Test Symposium (ETS) |
Reference:
|
| Amsterdam, Niederlande, 2016
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Conservatively Analyzing Transient Faults
|
|
|
|
Author:
|
|
Niels Thole,
Görschwin Fey,
Alberto Garcia-Ortiz |
| Conference: |
|
IEEE Computer Society
Annual Symposium
on VLSI (ISVLSI) |
Reference:
|
| Montpelier, France, 2015
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Equivalence Checking on System Level using A Priori Knowledge
|
|
|
|
Author:
|
|
Niels Thole, Heinz Riener, Görschwin Fey |
| Conference: |
|
IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS'15) |
Reference:
|
| Belgrade, Serbia, 2015
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
|
WORKSHOPS |
|
» A Hybrid Algorithm to Conservatively Check the Robustness of Circuits
|
|
|
|
Author:
|
|
Niels Thole, Lorena Anghel, Görschwin Fey |
| Workshop: |
|
28. GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ) |
Reference:
|
| Siegen, Germany, 2016
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Analyzing an SET at Gate Level using a
Conservative Approach
|
|
|
|
Author:
|
|
Niels Thole, Görschwin Fey, Alberto Garcia-Ortiz |
| Workshop: |
|
GI/GMM/ITG-Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ) |
Reference:
|
| Bad Urach, 2015
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Equivalence Checking on System Level
using Stepwise Induction
|
|
|
|
Author:
|
|
Niels Thole, Görschwin Fey |
| Workshop: |
|
17. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen
zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'14) |
Reference:
|
| Böblingen, Germany, 2014
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
|
|
|
|
