Detail publikace
Testability Analysis Based on Discrete Mathematics Concepts
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY)
design-for-testability, testability analysis, i paths, scan
Mnoho dosud publikovaných metodik pro analýzu testovatelnosti je založeno na analýze struktury obvodu a heuristickém přístupu. Jedna z možností je analyzovat popis obvodu ve VHDL. Podle našeho názoru, implemetnace metodiky analýzy testovatelnosti vyžaduje získat strukturu obvodu z interní reprezentace obvodu v návrhovém systému a transformovat ji na databázi prvků a spojů. Algoritmus analýzy testovatelnosti pak operuje nad databází spíše než nad strukturou interní reprezentace. Náž výzkum se zabývá obvody na úrovni RT a analýzou jejich testovatelnosti. Naše metodika je založena na vyhodnocení role registrů při procesu aplikace testu. Z tohoto pohledu jsou prvky obvodu rozčleněny do množin, je zohledněna struktura obvodu a vlastnosti prvků. Když jsou ustaveny množiny prvků, lze mezi nimi hledat určité relace. Takový přístup umožní identifikovat různé obvodové situace a popsat jejich vlastnosti nástroji diskrétní matematiky.
@inproceedings{BUT191621,
author="Zdeněk {Kotásek} and Richard {Růžička}",
title="Testability Analysis Based on Discrete Mathematics Concepts",
booktitle="Proc. of the 9-th International Colloquium on Numerical Analysis and Computer Science with Applications",
year="2000",
pages="113",
publisher="unknown",
address="Plovdiv"
}