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
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
|
// This file is part of www.nand2tetris.org
// and the book "The Elements of Computing Systems"
// by Nisan and Schocken, MIT Press.
// File name: projects/05/Memory.tst
load Memory.hdl,
output-file Memory.out,
compare-to Memory.cmp,
output-list in%D1.6.1 load%B2.1.2 address%B1.15.1 out%D1.6.1;
echo "Before you run this script, select the 'Screen' option from the 'View' menu";
// There is an interesting design error that has shown up in several students'
// Memory.hdl files that causes zeros to be written in the corresponding offset
// in the inactive memory segments to the actual write. To detect this, the
// test must not only look for writes into the wrong segment, but changes.
// The following initialization writes a signal number into the memory where
// the bad writes may occur.
//// Set RAM[2000], RAM[4000] = 12345 (for following overwrite test)
set in 12345, set load 1, set address %X2000, tick, output; tock, output;
set address %X4000, tick, output; tock, output;
set in -1, // Set RAM[0] = -1
set load 1,
set address 0,
tick,
output;
tock,
output;
set in 9999, // RAM[0] holds value
set load 0,
tick,
output;
tock,
output;
set address %X2000, // Did not also write to upper RAM or Screen
eval,
output;
set address %X4000,
eval,
output;
//// Set RAM[0], RAM[4000] = 12345 (for following overwrite test)
set in 12345, set load 1, set address %X0000, tick, output; tock, output;
set address %X4000, tick, output; tock, output;
set in 2222, // Set RAM[2000] = 2222
set load 1,
set address %X2000,
tick,
output;
tock,
output;
set in 9999, // RAM[2000] holds value
set load 0,
tick,
output;
tock,
output;
set address 0, // Did not also write to lower RAM or Screen
eval,
output;
set address %X4000,
eval,
output;
set load 0, // Low order address bits connected
set address %X0001, eval, output;
set address %X0002, eval, output;
set address %X0004, eval, output;
set address %X0008, eval, output;
set address %X0010, eval, output;
set address %X0020, eval, output;
set address %X0040, eval, output;
set address %X0080, eval, output;
set address %X0100, eval, output;
set address %X0200, eval, output;
set address %X0400, eval, output;
set address %X0800, eval, output;
set address %X1000, eval, output;
set address %X2000, eval, output;
set address %X1234, // RAM[1234] = 1234
set in 1234,
set load 1,
tick,
output;
tock,
output;
set load 0,
set address %X2234, // Did not also write to upper RAM or Screen
eval, output;
set address %X6234,
eval, output;
set address %X2345, // RAM[2345] = 2345
set in 2345,
set load 1,
tick,
output;
tock,
output;
set load 0,
set address %X0345, // Did not also write to lower RAM or Screen
eval, output;
set address %X4345,
eval, output;
//// Clear the overwrite detection value from the screen
set in 0, set load 1, set address %X4000, tick, output; tock, output;
// Keyboard test
set address 24576,
echo "Click the Keyboard icon and hold down the 'K' key (uppercase) until you see the next message (it should appear shortly after that) ...",
// It's important to keep holding the key down since if the system is busy,
// the memory will zero itself before being outputted.
while out <> 75 {
tick, tock, // tick, tock prevents hang if sync. parts used in KB path.
}
clear-echo,
output;
// Screen test
//// Set RAM[0FCF], RAM[2FCF] = 12345 (for following overwrite test)
set in 12345, set load 1, set address %X0FCF, tick, output; tock, output;
set address %X2FCF, tick, output; tock, output;
set load 1,
set in -1,
set address %X4FCF,
tick,
tock,
output,
set address %X504F,
tick,
tock,
output;
set address %X0FCF, // Did not also write to lower or upper RAM
eval,
output;
set address %X2FCF,
eval,
output;
set load 0, // Low order address bits connected
set address %X4FCE, eval, output;
set address %X4FCD, eval, output;
set address %X4FCB, eval, output;
set address %X4FC7, eval, output;
set address %X4FDF, eval, output;
set address %X4FEF, eval, output;
set address %X4F8F, eval, output;
set address %X4F4F, eval, output;
set address %X4ECF, eval, output;
set address %X4DCF, eval, output;
set address %X4BCF, eval, output;
set address %X47CF, eval, output;
set address %X5FCF, eval, output;
set load 0,
set address 24576,
echo "Make sure you see ONLY two horizontal lines in the middle of the screen. Hold down 'Y' (uppercase) until you see the next message ...",
// It's important to keep holding the key down since if the system is busy,
// the memory will zero itself before being outputted.
while out <> 89 {
tick, tock, // tick, tock prevents hang if sync. parts used in KB path.
}
clear-echo,
output;
|
