Detail publikace

Representation of Datapath Structure in Predicate Logic and its Implementation in Prolog

RŮŽIČKA Richard a ZBOŘIL František. Representation of Datapath Structure in Predicate Logic and its Implementation in Prolog. In: Proceedings of International Carpathian Control Conference. Košice: Technická univerzita v Košiciach, 2003, s. 727-730. ISBN 80-7099-509-2.
Název česky
Reprezentace struktury datových cest obvodu v predikátové logice a její implementace v Prologu
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt

Cílem našeho výzkumu je vytvořit metodiku pro analýzu testovatelnosti číslicových obvodů. Toho lze dosáhnout prostřednictvím analýzy datových cest, které vznikly v obvodě jako výsledek návrhu. Tyto cesty lze následně využít pro přenos diagnostických informací při testu (tzv. i cesty). Formální přístup umožňuje vytvořit formální model obvodu a popsat formálně diagnostické vlastnosti a algoritmy pro analýzu testovatelnosti. Protože všechny objekty ve struktuře datových cest a jejich vlastnosti z hlediska testovatelnosti byly popsány jazykem predikátové logiky, byl pro implementaci vybrán jazyk Prolog. K tomu přísluší také nástroje pro konverzi popisu obvodu v jazyce VHDL a jeho vlastností na fakta a klauzule, které tvoří databázi faktů. Na základě této databáze byl implementován algoritmus analýzy i cest.

Rok
2003
Strany
727-730
Sborník
Proceedings of International Carpathian Control Conference
Konference
International Carpathian Control Conference, Vysoké Tatry, SK
ISBN
80-7099-509-2
Vydavatel
Technická univerzita v Košiciach
Místo
Košice, SK
BibTeX
@INPROCEEDINGS{FITPUB7215,
   author = "Richard R\r{u}\v{z}i\v{c}ka and Franti\v{s}ek Zbo\v{r}il",
   title = "Representation of Datapath Structure in Predicate Logic and its Implementation in Prolog",
   pages = "727--730",
   booktitle = "Proceedings of International Carpathian Control Conference",
   year = 2003,
   location = "Ko\v{s}ice, SK",
   publisher = "The University of Technology Ko\v{s}ice",
   ISBN = "80-7099-509-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7215"
}
Nahoru