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

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42561" target="_blank" >RIV/00216305:26230/03:PU42561 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Representation of Datapath Structure in Predicate Logic and its Implementation in Prolog
Original language description
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 thhe 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.
Czech name
—
Czech description
—

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2003
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of International Carpathian Control Conference
ISBN
80-7099-509-2
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
727-730
Publisher name
The University of Technology Košice
Place of publication
Košice
Event location
Vysoké Tatry
Event date
May 26, 2003
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—

Similar results(10)