Hardware Reference
In-Depth Information
Build
M
X
D .S
X
;U;V;T
X
;r
X
/
as follows:
a. Set
S
X
D
max
;
r
X
D .r
A
;r
C
/
.
0
0
A
;s
0
C
/
;s
0
/ 2 T
X
if and only if
9i 9o
b. For
s D .s
A
;s
C
/
and
s
D .s
,set
.s;
u
;
v
0
C
/ 2 T
C
.
Apply the procedure to compute the maximal simulation relation to the FSMs
M
A
(fixed part) and
0
A
/ 2 T
A
and
such that
.s
A
;.i;
v
/;.
u
;o/;s
.s
C
;i;o;s
M
C
(specification) in Fig.
13.4
a, b. Notice that in this
example the variables
U D .U
1
U
2
/
and
O
coincide, so we retain only
U
.
(b) Compute the largest solution of the equation
M
A
M
X
M
C
.
(c) Compare the results of (b) and (c).
(d) Is it true that the equation has a solution if and only if there is a simulation
relation from
M
A
to
M
C
? Prove or disprove it.
Search WWH ::
Custom Search