Publication Details

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

RŮŽIČKA Richard and 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: The University of Technology Košice, 2003, pp. 727-730. ISBN 80-7099-509-2.
Czech title
Reprezentace struktury datových cest obvodu v predikátové logice a její implementace v Prologu
Type
conference paper
Language
english
Authors
Keywords

Prolog, predicate logic, testability analysis, datapath

Abstract

The goal of our research is to develop a methodology for a digital circuit testability analysis. It is reached through the analysis of data paths which exist in the circuit as result of the design process to utilize them for diagnostic data transfers, the i path concept is used. A formal approach allows create a formal model of a circuit, describe its diagnostic properties and describe testability analysis algorithms, all of them formally. Due to the fact that all objects in the datapath structure of the circuit and its properties from the testability analysis point of view are described in language of predicate logic, the Prolog language was chosen. It includes tools converting VHDL description of the circuit structure and its properties into facts and clauses which establish facts database. On base of such a database i path search algorithm is implemented.

Published
2003
Pages
727-730
Proceedings
Proceedings of International Carpathian Control Conference
Conference
International Carpathian Control Conference, Vysoké Tatry, SK
ISBN
80-7099-509-2
Publisher
The University of Technology Košice
Place
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"
}
Back to top