Detail publikace
Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability
ATPG, funkční verifikace.
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ů.
@inproceedings{BUT103529,
author="Marcela {Zachariášová} and Cristiana {Bolchini} and Zdeněk {Kotásek}",
title="Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability",
booktitle="Proceedings of The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale",
year="2013",
pages="35--38",
publisher="COST, European Cooperation in Science and Technology",
address="Avignon",
isbn="978-2-11-129175-1"
}