

|
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]
|
|
 |
|
|