Information Technology Reference
In-Depth Information
control input
data input
Gezel-component
Datapath
FSM
command
status
control output
data output
computation
control
Fig. 1.
The FSMD model
(Datapath:
dp
Name
0
(
port list
)
{
local
register
and
signal
declarations
sfg
name
1
{
(non-branching)
actions
}
{
(non-branching)
actions
}
sfg
name
2
...
}
+
Control:
) ... + Composition:
fsm
controller_name
(
Name
0
)
{
initial state
declaration
auxiliary state
declarations
@
state
0
transition
0
@
state
1
transition
1
...
system
id
{
Name
0
(
n
0
,
0
,n
0
,
1
,...
);
Name
1
(
n
1
,
0
,n
1
,
1
,...
);
...
}
}
Composition in terms of
nets
(implicitly introduced
n
i,j
)
Fig. 2.
Pattern for a Gezel program
The FSMD model in which control and computation are separated as illus-
trated in Fig. 1, is a powerful abstraction which allows translation of programs
into FSMD models and further into assembly code or synchronous hardware.
Furthermore, it supports systematic testing and formal verification.
Search WWH ::
Custom Search