Detail publikace

The Implementation of RTL Testability Analysis Algorithms trough the Discrete Mathematics Concepts

KOTÁSEK Zdeněk a RŮŽIČKA Richard. The Implementation of RTL Testability Analysis Algorithms trough the Discrete Mathematics Concepts. In: Proc. of the Fourth International Scientific Conference on Electronic Computers and Informatics. Košice-Herľany: neznámá, 2000, s. 177-182. ISBN 80-88922-25-9.
Název česky
Implementace analýzy testovatelnosti obvodu na úrovni RT s využitím diskrétní matematiky
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt

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.

Anotace

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.

Rok
2000
Strany
177-182
Sborník
Proc. of the Fourth International Scientific Conference on Electronic Computers and Informatics
ISBN
80-88922-25-9
Vydavatel
neznámá
Místo
Košice-Herľany, SK
BibTeX
@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"
}
Nahoru