Detail publikace
The Implementation of RTL Testability Analysis Algorithms trough the Discrete Mathematics Concepts
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY)
i path, design-for-testability, testability analysis
V článku je popsán formální přístup k analýze testovatelnosti obvodu na úrovni RT. Je ukázáno, jak může být diskrétní matematiky využito k analýze testovatelnosti. Obvodové prvky jsou roztříděny do množin podle jejich role v obvodě a role při aplikaci testu. Pak jsou z těchto množin vytvořeny množiny, relace a zobrazení reflektující role registrů a struktury i cest v obvodě. Formální prostředky jsou také využity k důkazu testovatelnosti obvodu.
V článku je popsán formální přístup k analýze testovatelnosti obvodu na úrovni RT. Je ukázáno, jak může být diskrétní matematiky využito k analýze testovatelnosti. Obvodové prvky jsou roztříděny do množin podle jejich role v obvodě a role při aplikaci testu. Pak jsou z těchto množin vytvořeny množiny, relace a zobrazení reflektující role registrů a struktury i cest v obvodě. Formální prostředky jsou také využity k důkazu testovatelnosti obvodu.
@inproceedings{BUT191623,
author="Zdeněk {Kotásek} and Richard {Růžička}",
title="The Implementation of RTL Testability Analysis Algorithms trough the Discrete Mathematics Concepts",
booktitle="Proc. of the Fourth International Scientific Conference on Electronic Computers and Informatics",
year="2000",
pages="177--182",
publisher="unknown",
address="Košice-Herľany",
isbn="80-88922-25-9"
}