Detail publikace

Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability

ZACHARIÁŠOVÁ Marcela, BOLCHINI Cristiana a KOTÁSEK Zdeněk. Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability. In: Proceedings of The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale. Avignon: COST, European Cooperation in Science and Technology, 2013, s. 35-38. ISBN 978-2-11-129175-1.
Název česky
Analýza a porovnání funkční verifikace a ATPG pro testování spolehlivosti
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Zachariášová Marcela, Ing., Ph.D. (UPSY FIT VUT)
Bolchini Cristiana (Polimi)
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT)
Klíčová slova

ATPG, funkční verifikace.

Abstrakt

Složitost současných hardwarových systémů roste a je ťežké je zabezpečit proti poruchám a provést jejich verifikaci. Příčinou je, že verifikace a testování zaberají hodně času a s rastoucí složitostí obvodu roste i počet návrhových chyb a výrobních poruch. Navíc, když navrhujeme systém odolný proti poruchám, proces testování a verifikace se ještě více komplikuje. V tomto článku jsou představeny dva přístupy pro verifikaci spolehlivosti, především pro přípravu vstupních vektorů. První z nich je ATPG a druhým Generování testů pomocí omezujícich podmínek. V článku jsou vyhodnoceny jejich kvality i nedostatky a představeny nové techniky jak tyto dva přístupy zkombinovat pro dosáhnutí ještě lepších výsledků.

Rok
2013
Strany
35-38
Sborník
Proceedings of The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale
Konference
MEDIAN 2013, Avignon, FR
ISBN
978-2-11-129175-1
Vydavatel
COST, European Cooperation in Science and Technology
Místo
Avignon, FR
BibTeX 
@INPROCEEDINGS{FITPUB10388,
   author = "Marcela Zachari\'{a}\v{s}ov\'{a} and Cristiana Bolchini and Zden\v{e}k Kot\'{a}sek",
   title = "Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability",
   pages = "35--38",
   booktitle = "Proceedings of The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale",
   year = 2013,
   location = "Avignon, FR",
   publisher = "COST, European Cooperation in Science and Technology",
   ISBN = "978-2-11-129175-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10388"
}
Nahoru