Detail publikace
The Test Controller Model Based on The Timed Automaton
MIKA, D., KOTÁSEK, Z.
Originální název
The Test Controller Model Based on The Timed Automaton
Anglický název
The Test Controller Model Based on The Timed Automaton
Jazyk
en
Originální abstrakt
In the paper the process of the test controller model design and synthesis on Register Transfer Level (RTL) is described. The principles of test application to circuit element by the test controller model is discussed. The problem of I-path is explained. The formal tool - the timed automaton - is used as a suitable tool for test controller model. In the end of paper there is a simple example of timed automaton, which represents a model of particular behavior of the test controller.
Anglický abstrakt
In the paper the process of the test controller model design and synthesis on Register Transfer Level (RTL) is described. The principles of test application to circuit element by the test controller model is discussed. The problem of I-path is explained. The formal tool - the timed automaton - is used as a suitable tool for test controller model. In the end of paper there is a simple example of timed automaton, which represents a model of particular behavior of the test controller.
Dokumenty
BibTex
@inproceedings{BUT13967,
author="Daniel {Mika} and Zdeněk {Kotásek}",
title="The Test Controller Model Based on The Timed Automaton",
annote="In the paper the process of the test controller model design and
synthesis on Register Transfer Level (RTL) is described. The principles
of test application to circuit element by the test controller model is
discussed. The problem of I-path is explained. The formal tool - the
timed automaton - is used as a suitable tool for test controller model.
In the end of paper there is a simple example of timed automaton, which
represents a model of particular behavior of the test controller.",
booktitle="Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems",
chapter="13967",
year="2003",
month="april",
pages="107--114",
type="conference paper"
}