Hardware Reference
In-Depth Information
a
c
d
i
1
v
1
/u
1
o
1
i
2
/o
2
i
2
o
2
i
1
o
1
1
i
2
v
1
/u
1
o
1
a
b
i
1
v
1
/u
2
o
1
1
i
1
/o
1
b
e
i
1
−−
o
2
i
2
−−o
1
1
i
1
u
1
v
1
o
1
i
1
−−o
1
i
F
i
1
u
2
v
1
o
1
a
i
2
u
1
v
1
o
1
b
2
−−o
2
g
f
i
u
v
o
u
1
v
1
1
1
1
1
a
1
b
1
a
1
b
1
i
1
u
2
v
1
o
1
u
1
v
1
u
2
v
1
i
2
u
1
v
1
o
1
aF
bF
aF
bF
u
1
v
1
u
1
v
1
i
1
u
1
v
1
o
1
i
u
v
o
2
1
1
1
u
2
v
1
i
1
u
2
v
1
o
1
h
−v
2
−−
u
2
v
1
a
1
dc
−v
2
i
u
v
u
v
u
2
/v
1
2
2
1
1
u
1
v
2
−v
2
u
1
v
1
u
2
v
1
u
1
/v
2
u
1
v
−v
2
bF
1
u
2
/v
2
a
1
dc
u
2
v
1
aF, b
1
b
1
u
2
v
1
u
2
v
aF, bF
−/−
1
u
1
v
1
u
1
v
1
Fig. 3.4
Illustration of Example
3.18
.(
a
) FSM M
A
;
(
b
) FA (finite automaton
) o
f A
D
L
r
.M
A
/;
(
c
) F
SM
M
C
;(
d
)FAofC
D
L
r
.M
C
/;(
e
)FAo
fC
"
U
V
;(
f
)FAof
A
\
C
"
U
V
;(
g
)FAof
.A
\
C
"
U
V
/
#
U
V
;(
h
) FA of largest solution S
D
.A
\
C
"
U
V
/
#
U
V
;(
i
) Largest FSM solution
M
X
. M
X
is a PNDFSM such that M
A
M
X
D
M
M
C
of the specification. Adding to state a of M
A
the transition to itself i
1
v
1
=
u
2
o
2
would produce an FSM M
1
A
yielding the solution M
1
X
D
M
. The solution of
M
A
M
X
M
C
is M
X
in Fig.
3.5
e. M
X
is a complete FSM and M
A
M
X
M
C
,
where M
A
M
X
is an incomplete FSM that is a reduction of M
C
. The solution of
M
A
M
X
M
C
is M
X
in Fig.
3.5
g. M
X
is a complete FSM and M
A
M
X
Š
M
C
is a complete FSM.
Search WWH ::
Custom Search