Detail publikace
The Implementation of RTL Testability Analysis Algorithms trough the Discrete Mathematics Concepts
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{FITPUB6384, author = "Zden\v{e}k Kot\'{a}sek and Richard R\r{u}\v{z}i\v{c}ka", title = "The Implementation of RTL Testability Analysis Algorithms trough the Discrete Mathematics Concepts", pages = "177--182", booktitle = "Proc. of the Fourth International Scientific Conference on Electronic Computers and Informatics", year = 2000, location = "Ko\v{s}ice-Her\'{l}any, SK", ISBN = "80-88922-25-9", language = "english", url = "https://www.fit.vut.cz/research/publication/6384" }