Detail výsledku

RT Level Testability Analysis In PROLOG Enviroment

KOTÁSEK, Z.; ZBOŘIL, F. RT Level Testability Analysis In PROLOG Enviroment. Proceedings of the DDECS'97. Ostrava: Marq software s.r.o., 1997. p. 47-52. ISBN: 80-85988-19-4.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kotásek Zdeněk, doc. Ing., CSc.
Zbořil František, doc. Ing., CSc.
Abstrakt

The paper deals with the principles of the RT level testability analysis. The prescription for an RTL circuit transformation to a labelled directed graph and its representation in PROLOG environment are presented. The methodology for the RT level testability analysis and the principles of its implementation are described in detail.

Klíčová slova

RT Level Testability Analysis, RTL Circuit Transformation, PROLOG

Rok
1997
Strany
47–52
Sborník
Proceedings of the DDECS'97
Konference
Int. Conf. on DDECS'97
ISBN
80-85988-19-4
Vydavatel
Marq software s.r.o.
Místo
Ostrava
BibTeX 
@inproceedings{BUT191448,
  author="Zdeněk {Kotásek} and František {Zbořil}",
  title="RT Level Testability Analysis In  PROLOG Enviroment",
  booktitle="Proceedings of the  DDECS'97",
  year="1997",
  pages="47--52",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-85988-19-4"
}
Projekty
Vývoj flexibilních číslicových architektur, GAČR, Standardní projekty, GA102/95/1334, zahájení: 1995-01-01, ukončení: 1997-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina inteligentních systémů (VZ INTSYS)
Výzkumná skupina Superpočítačových technologií SC@FIT (VZ SC@FIT)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru