Homepage Sitemap Contact




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]

















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE