|
Parallel Automaton:
Basic Model, Properties and Diagnostics
Steinbach, Bernd
Freiberg University of Mining and Technology
steinb@informatik.tu-freiberg.de
Zakrevskij, Arkadij
Institute of Engineering Cybernetics of the NAS of Belarus
zakr@newman.bas-net.by
Abstract
The problem of handling really large systems is closely connected with decomposition
methods widely used during the synthesis process. In this paper the model of parallel automaton
is proposed. This model can be used on each level from the high level of the control algorithm to
the low level of circuit structure for solving design and test tasks. The model of parallel automaton
is very general. The restriction to special parallel automaton which fulfills certain introduced
properties is helpful for practical application and calculation of test sequences.
|
