Rozšířený stroj v konečném stavu - Extended finite-state machine

V konvenčním konečný stavový stroj, přechod je spojen se sadou vstupu Booleovský podmínky a sadu výstupních booleovských funkcí. V model EFSM (extended finite state machine), přechod lze vyjádřit „pokud prohlášení “Skládající se ze sady spouštěcí podmínky. Pokud jsou splněny všechny podmínky spouštění, přechod se aktivuje, přenese stroj z aktuálního stavu do dalšího stavu a provede zadaný datové operace.

Definice

Je definován EFSM^[1] jako n-tice ${displaystyle M = (I, O, S, D, F, U, T)}$ kde

S je sada symbolických stavů,
I je sada vstupních symbolů,
O je sada výstupních symbolů,
D je n-dimenzionální lineární prostor ${displaystyle D_ {1} jsou ldots jsou D_ {n}}$ ,
F je sada aktivační funkce ${displaystyle f_ {i}: Dightarrow {0,1}}$ ,
U je sada aktualizační funkce ${displaystyle u_ {i}: Dightarrow D}$ ,
T je přechodový vztah, ${displaystyle T: S imes F imes Iightarrow S imes U imes O}$

Struktura

Architektura EFSM: Model EFSM se skládá z následujících tří hlavních kombinačních bloků (a několika registrů).

FSM blok: Konvenční stroj s konečným stavem realizující grafy přechodu stavu modelu EFSM.
Blok A: aritmetický blok pro provádění datové operace spojené s každým přechodem. Provoz tohoto bloku je regulován výstupními signály bloku FSM.
E-blok: Blok pro vyhodnocení podmínek spouštění spojených s každým přechodem. Vstupními signály do tohoto bloku jsou datové proměnné, zatímco výstupem je sada binární signály přijaté pro vstup do bloku FSM. Informace o redundantním výpočtu se získávají analýzou interakcí mezi třemi základními bloky. Pomocí těchto informací určité vstupní operandy aritmetický blok a hodnocení blok může být zmrazen vstupním hradlem za specifických podmínek doby běhu, aby se snížilo zbytečné přepínání v návrhu. Na úrovni architektury, pokud je každé vyhodnocení spouštěče a datová operace považována za atomovou akci, pak EFSM implikuje implementaci téměř s nejnižší spotřebou.

Chování cyklu EFSM lze rozdělit do tří kroků:

V E-bloku vyhodnoťte všechny podmínky spouštění.
V bloku FSM vypočítejte další stav a signály ovládající blok A.
V bloku A proveďte nezbytné datové operace a pohyby dat.

Viz také

Abstraktní stavový automat Rozšířené konečné stavové automaty

Reference

^ Cheng, K-T; Krishnakumar, A.S. (1993). Msgstr "Automatické generování funkčních testů pomocí modelu rozšířeného modelu konečných stavů". Mezinárodní konference automatizace designu (DAC). ACM. str. 86–91.

[1] Cheng, K-T; Krishnakumar, A.S. (1993). Msgstr "Automatické generování funkčních testů pomocí modelu rozšířeného modelu konečných stavů". Mezinárodní konference automatizace designu (DAC). ACM. str. 86–91.

[1]