Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Niels Thole


BÜCHER


BUCHBEITRÄGE


ZEITSCHRIFTEN


KONFERENZEN


» A Hybrid Algorithm to Conservatively Check the Robustness of Circuits




Autor:

Niels Thole, Lorena Anghel, Görschwin Fey
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Referenz:

Pittsburgh, USA, 2016
Hyperlink:

[Link zur Konferenz]


» Equivalence Checking on ESL Utilizing A Priori Knowledge




Autor:

Niels Thole, Heinz Riener, Görschwin Fey
Konferenz:
Forum on specification & Design Languages (FDL)
Referenz:

Bremen, Germany, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» A Hybrid Algorithm to Conservatively Check the Robustness of Circuits




Autor:

Niels Thole, Lorena Anghel, Görschwin Fey
Konferenz:
IEEE European Test Symposium (ETS)
Referenz:

Amsterdam, Niederlande, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Conservatively Analyzing Transient Faults




Autor:

Niels Thole, Görschwin Fey, Alberto Garcia-Ortiz
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Referenz:

Montpelier, France, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Equivalence Checking on System Level using A Priori Knowledge




Autor:

Niels Thole, Heinz Riener, Görschwin Fey
Konferenz:
IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS'15)
Referenz:

Belgrade, Serbia, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS


» A Hybrid Algorithm to Conservatively Check the Robustness of Circuits




Autor:

Niels Thole, Lorena Anghel, Görschwin Fey
Workshop:
28. GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ)
Referenz:

Siegen, Germany, 2016
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» Analyzing an SET at Gate Level using a Conservative Approach




Autor:

Niels Thole, Görschwin Fey, Alberto Garcia-Ortiz
Workshop:
GI/GMM/ITG-Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ)
Referenz:

Bad Urach, 2015
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» Equivalence Checking on System Level using Stepwise Induction




Autor:

Niels Thole, Görschwin Fey
Workshop:
17. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'14)
Referenz:

Böblingen, Germany, 2014
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]

















Die englische Version ist  
von hier aus nicht erreichbar -  
bitte eine Seite zurück gehen.









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt