Publication result detail

The Test Controller Model Based on The Timed Automaton

MIKA, D.; KOTÁSEK, Z.

Original Title

The Test Controller Model Based on The Timed Automaton

English Title

The Test Controller Model Based on The Timed Automaton

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

In the paper the process of the test controller model design andsynthesis on Register Transfer Level (RTL) is described. The principlesof test application to circuit element by the test controller model isdiscussed. The problem of I-path is explained. The formal tool - thetimed automaton - is used as a suitable tool for test controller model.In the end of paper there is a simple example of timed automaton, whichrepresents a model of particular behavior of the test controller.

English abstract

In the paper the process of the test controller model design andsynthesis on Register Transfer Level (RTL) is described. The principlesof test application to circuit element by the test controller model isdiscussed. The problem of I-path is explained. The formal tool - thetimed automaton - is used as a suitable tool for test controller model.In the end of paper there is a simple example of timed automaton, whichrepresents a model of particular behavior of the test controller.

Keywords

Register Transfer Level (RTL), Circuit Under Test (CUT), Test Controller Model

Key words in English

Register Transfer Level (RTL), Circuit Under Test (CUT), Test Controller Model

Authors

MIKA, D.; KOTÁSEK, Z.

RIV year

2011

Released

28.04.2003

Publisher

Marq software s.r.o.

Location

Ostrava

ISBN

80-85988-86-0

Book

Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems

Pages from

107

Pages to

114

Pages count

8

BibTex

@inproceedings{BUT13967,
  author="Daniel {Mika} and Zdeněk {Kotásek}",
  title="The Test Controller Model Based on The Timed Automaton",
  booktitle="Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems",
  year="2003",
  pages="107--114",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-85988-86-0"
}