Detail publikace
Representation of Datapath Structure in Predicate Logic and its Implementation in Prolog
Prolog, predicate logic, testability analysis, datapath
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.
@inproceedings{BUT14164,
author="Richard {Růžička} and František {Zbořil}",
title="Representation of Datapath Structure in Predicate Logic and its Implementation in Prolog",
booktitle="Proceedings of International Carpathian Control Conference",
year="2003",
pages="727--730",
publisher="The University of Technology Košice",
address="Košice",
isbn="80-7099-509-2"
}