1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
|
\begin{minipage}{156mm}
\setlength{\unitlength}{1mm}
\newcommand{\actionbox}[2]{
\put(5,10){\thicklines{\circle{10}}}
\put(5,10){\makebox(0,0)[c]{\Large #1}}
\put(15,10){\makebox(0,0)[c]{$\Longrightarrow$}}
\put(47,10){\thicklines{\oval(54,20)}}
\put(91,10){\thicklines{\circle{10}}}
\put(91,10){\makebox(0,0)[c]{\Large #2}}
\put(101,10){\makebox(0,0)[c]{$\Longrightarrow$}}
\put(133,10){\thicklines{\oval(54,20)}}
}
\setlength{\unitlength}{1mm}
\begin{picture}(156,20)
\actionbox{0}{8}
\put(23,10){\makebox(0,0)[l]{\verb"mar" $\leftarrow$ \verb"pc"}}
\put(109,12.5){\makebox(0,0)[l]{\verb"acc" $\leftarrow$ \verb"datain"}}
\put(109,7.5){\makebox(0,0)[l]{\verb"dreq" = \verb"T"}}
\end{picture}
\vskip .15in
\setlength{\unitlength}{1mm}
\begin{picture}(156,20)
\actionbox{1}{9}
\put(23,15){\makebox(0,0)[l]{\verb"rtn" $\leftarrow$ \verb"pc"}}
\put(23,10){\makebox(0,0)[l]{\verb"buf" $\leftarrow$ \verb"wordn 0"}}
\put(23,5){\makebox(0,0)[l]{\verb"iack" $\leftarrow$ \verb"T"}}
\put(109,15){\makebox(0,0)[l]{\verb"dataout" = \verb"acc"}}
\put(109,10){\makebox(0,0)[l]{\verb"wmem" = \verb"T"}}
\put(109,5){\makebox(0,0)[l]{\verb"dreq" = \verb"T"}}
\end{picture}
\vskip .15in
\setlength{\unitlength}{1mm}
\begin{picture}(156,20)
\actionbox{2}{10}
\put(23,12.5){\makebox(0,0)[l]{\verb"ir" $\leftarrow$ \verb"datain"}}
\put(23,7.5){\makebox(0,0)[l]{\verb"dreq" = \verb"T"}}
\put(109,12.5){\makebox(0,0)[l]{\verb"pc" $\leftarrow$ \verb"rtn"}}
\put(109,7.5){\makebox(0,0)[l]{\verb"iack" $\leftarrow$ F}}
\end{picture}
\vskip .15in
\setlength{\unitlength}{1mm}
\begin{picture}(156,20)
\actionbox{3}{11}
\put(23,10){\makebox(0,0)[l]{\verb"mar" $\leftarrow$ \verb"ir"}}
\put(109,10){\makebox(0,0)[l]{\verb"buf" $\leftarrow$ inc \verb"pc"}}
\end{picture}
\vskip .15in
\setlength{\unitlength}{1mm}
\begin{picture}(156,20)
\actionbox{4}{12}
\put(23,10){\makebox(0,0)[l]{$<$nothing$>$}}
\put(109,10){\makebox(0,0)[l]{\verb"pc" $\leftarrow$ \verb"buf"}}
\end{picture}
\vskip .15in
\setlength{\unitlength}{1mm}
\begin{picture}(156,20)
\actionbox{5}{13}
\put(23,10){\makebox(0,0)[l]{\verb"pc" $\leftarrow$ \verb"ir"}}
\put(109,12.5){\makebox(0,0)[l]{\verb"buf" $\leftarrow$ \verb"add (arg,datain)"}}
\put(109,7.5){\makebox(0,0)[l]{\verb"dreq" = \verb"T"}}
\end{picture}
\vskip .15in
\setlength{\unitlength}{1mm}
\begin{picture}(156,20)
\actionbox{6}{14}
\put(23,10){\makebox(0,0)[l]{\verb"arg" $\leftarrow$ \verb"acc"}}
\put(109,12.5){\makebox(0,0)[l]{\verb"buf" $\leftarrow$ \verb"sub (arg,datain)"}}
\put(109,7.5){\makebox(0,0)[l]{\verb"dreq" = \verb"T"}}
\end{picture}
\vskip .15in
\setlength{\unitlength}{1mm}
\begin{picture}(156,20)
\actionbox{7}{15}
\put(23,10){\makebox(0,0)[l]{\verb"arg" $\leftarrow$ \verb"acc"}}
\put(109,10){\makebox(0,0)[l]{\verb"acc" $\leftarrow$ \verb"buf"}}
\end{picture}
\vskip .25in
in all states except where indicated otherwise:
\hspace{3mm}
\begin{minipage}[t]{40mm}
\verb"wmem" = F\\
\verb"dreq" = F\\
\verb"dataout" = \verb"wordn 0"\\
\verb"addr" = \verb"address mar"
\end{minipage}
\end{minipage}
|
