Geodesic
Describing progressive solutions to a~parallel FSM equation
Prikladnaâ diskretnaâ matematika, no. 1 (2008), pp. 120-125.

Voir la notice de l'article provenant de la source Math-Net.Ru

We consider the problem of deriving a component $X$ that combined with the known part of system $C$, called the context, conforms to a given overall specification $S$. Many problems of logic synthesis and analysis can be reduced to solving a parallel Finite State Machine (FSM) equation $C\diamond X\simeq S$. However, not each solution to the equation is of practical use. In this paper, we are interested in progressive solutions, i.e. solutions which have no livelocks without exit when composed with the context. We propose a novel algorithm for deriving a largest progressive solution by removing non-progressive strings from the largest solution to the equation. Since, in general, the number of such strings is infinite, we show that a proposed algorithm terminates. 
@article{PDM_2008_1_a19,
     author = {V. G. Bushkov},
     title = {Describing progressive solutions to a~parallel {FSM} equation},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {120--125},
     publisher = {mathdoc},
     number = {1},
     year = {2008},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2008_1_a19/}
}
TY  - JOUR
AU  - V. G. Bushkov
TI  - Describing progressive solutions to a~parallel FSM equation
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2008
SP  - 120
EP  - 125
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2008_1_a19/
LA  - ru
ID  - PDM_2008_1_a19
ER  - 
%0 Journal Article
%A V. G. Bushkov
%T Describing progressive solutions to a~parallel FSM equation
%J Prikladnaâ diskretnaâ matematika
%D 2008
%P 120-125
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2008_1_a19/
%G ru
%F PDM_2008_1_a19
V. G. Bushkov. Describing progressive solutions to a~parallel FSM equation. Prikladnaâ diskretnaâ matematika, no. 1 (2008), pp. 120-125. http://geodesic.mathdoc.fr/item/PDM_2008_1_a19/