OpenCores
URL https://opencores.org/ocsvn/openmsp430/openmsp430/trunk

Subversion Repositories openmsp430

[/] [openmsp430/] [trunk/] [core/] [sim/] [rtl_sim/] [src/] [sing-op_rra.v] - Blame information for rev 2

Go to most recent revision | Details | Compare with Previous | View Log

Line No. Rev Author Line
1 2 olivier.gi
/*===========================================================================*/
2
/* Copyright (C) 2001 Authors                                                */
3
/*                                                                           */
4
/* This source file may be used and distributed without restriction provided */
5
/* that this copyright statement is not removed from the file and that any   */
6
/* derivative work contains the original copyright notice and the associated */
7
/* disclaimer.                                                               */
8
/*                                                                           */
9
/* This source file is free software; you can redistribute it and/or modify  */
10
/* it under the terms of the GNU Lesser General Public License as published  */
11
/* by the Free Software Foundation; either version 2.1 of the License, or    */
12
/* (at your option) any later version.                                       */
13
/*                                                                           */
14
/* This source is distributed in the hope that it will be useful, but WITHOUT*/
15
/* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or     */
16
/* FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public       */
17
/* License for more details.                                                 */
18
/*                                                                           */
19
/* You should have received a copy of the GNU Lesser General Public License  */
20
/* along with this source; if not, write to the Free Software Foundation,    */
21
/* Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA        */
22
/*                                                                           */
23
/*===========================================================================*/
24
/*                 SINGLE-OPERAND ARITHMETIC: RRA[.B] INSTRUCTION            */
25
/*---------------------------------------------------------------------------*/
26
/* Test the RRA[.B] instruction.                                             */
27
/*===========================================================================*/
28
 
29
initial
30
   begin
31
      $display(" ===============================================");
32
      $display("|                 START SIMULATION              |");
33
      $display(" ===============================================");
34
      repeat(5) @(posedge mclk);
35
      stimulus_done = 0;
36
 
37
 
38
      // RRA (WORD MODE)
39
      //--------------------------------------------------------
40
 
41
      // Addressing mode: Rn
42
      @(r15==16'h1000);
43
      if (r4     !==16'h3999) tb_error("====== RRA (Rn mode): test 1 (result) =====");
44
      if (r5     !==16'h0000) tb_error("====== RRA (Rn mode): test 1 (C flag) =====");
45
 
46
      if (r6     !==16'h3999) tb_error("====== RRA (Rn mode): test 2 (result) =====");
47
      if (r7     !==16'h0001) tb_error("====== RRA (Rn mode): test 2 (C flag) =====");
48
 
49
      if (r8     !==16'hc199) tb_error("====== RRA (Rn mode): test 3 (result) =====");
50
      if (r9     !==16'h0004) tb_error("====== RRA (Rn mode): test 3 (C flag) =====");
51
 
52
      if (r10    !==16'hc199) tb_error("====== RRA (Rn mode): test 4 (result) =====");
53
      if (r11    !==16'h0005) tb_error("====== RRA (Rn mode): test 4 (C flag) =====");
54
 
55
 
56
      // Addressing mode: @Rn
57
      @(r15==16'h2000);
58
      if (mem200 !==16'h3999) tb_error("====== RRA (@Rn mode): test 1 (result)  =====");
59
      if (r4     !==16'h0200) tb_error("====== RRA (@Rn mode): test 1 (address) =====");
60
      if (r5     !==16'h0000) tb_error("====== RRA (@Rn mode): test 1 (C flag)  =====");
61
 
62
      if (mem202 !==16'h3999) tb_error("====== RRA (@Rn mode): test 2 (result)  =====");
63
      if (r6     !==16'h0202) tb_error("====== RRA (@Rn mode): test 2 (address) =====");
64
      if (r7     !==16'h0001) tb_error("====== RRA (@Rn mode): test 2 (C flag)  =====");
65
 
66
      if (mem204 !==16'hc199) tb_error("====== RRA (@Rn mode): test 3 (result)  =====");
67
      if (r8     !==16'h0204) tb_error("====== RRA (@Rn mode): test 3 (address) =====");
68
      if (r9     !==16'h0004) tb_error("====== RRA (@Rn mode): test 3 (C flag)  =====");
69
 
70
      if (mem206 !==16'hc199) tb_error("====== RRA (@Rn mode): test 4 (result)  =====");
71
      if (r10    !==16'h0206) tb_error("====== RRA (@Rn mode): test 4 (address) =====");
72
      if (r11    !==16'h0005) tb_error("====== RRA (@Rn mode): test 4 (C flag)  =====");
73
 
74
 
75
      // Addressing mode: @Rn+
76
      @(r15==16'h3000);
77
      if (mem208 !==16'h3999) tb_error("====== RRA (@Rn+ mode): test 1 (result)  =====");
78
      if (r4     !==16'h020A) tb_error("====== RRA (@Rn+ mode): test 1 (address) =====");
79
      if (r5     !==16'h0000) tb_error("====== RRA (@Rn+ mode): test 1 (C flag)  =====");
80
 
81
      if (mem20A !==16'h3999) tb_error("====== RRA (@Rn+ mode): test 2 (result)  =====");
82
      if (r6     !==16'h020C) tb_error("====== RRA (@Rn+ mode): test 2 (address) =====");
83
      if (r7     !==16'h0001) tb_error("====== RRA (@Rn+ mode): test 2 (C flag)  =====");
84
 
85
      if (mem20C !==16'hc199) tb_error("====== RRA (@Rn+ mode): test 3 (result)  =====");
86
      if (r8     !==16'h020E) tb_error("====== RRA (@Rn+ mode): test 3 (address) =====");
87
      if (r9     !==16'h0004) tb_error("====== RRA (@Rn+ mode): test 3 (C flag)  =====");
88
 
89
      if (mem20E !==16'hc199) tb_error("====== RRA (@Rn+ mode): test 4 (result)  =====");
90
      if (r10    !==16'h0210) tb_error("====== RRA (@Rn+ mode): test 4 (address) =====");
91
      if (r11    !==16'h0005) tb_error("====== RRA (@Rn+ mode): test 4 (C flag)  =====");
92
 
93
 
94
      // Addressing mode: X(Rn)
95
      @(r15==16'h4000);
96
      if (mem210 !==16'h3999) tb_error("====== RRA (X(Rn) mode): test 1 (result)  =====");
97
      if (r5     !==16'h0000) tb_error("====== RRA (X(Rn) mode): test 1 (C flag)  =====");
98
 
99
      if (mem212 !==16'h3999) tb_error("====== RRA (X(Rn) mode): test 2 (result)  =====");
100
      if (r7     !==16'h0001) tb_error("====== RRA (X(Rn) mode): test 2 (C flag)  =====");
101
 
102
      if (mem214 !==16'hc199) tb_error("====== RRA (X(Rn) mode): test 3 (result)  =====");
103
      if (r9     !==16'h0004) tb_error("====== RRA (X(Rn) mode): test 3 (C flag)  =====");
104
 
105
      if (mem216 !==16'hc199) tb_error("====== RRA (X(Rn) mode): test 4 (result)  =====");
106
      if (r11    !==16'h0005) tb_error("====== RRA (X(Rn) mode): test 4 (C flag)  =====");
107
 
108
 
109
      // Addressing mode: EDE
110
      @(r15==16'h5000);
111
      if (mem218 !==16'h3999) tb_error("====== RRA (EDE mode): test 1 (result)  =====");
112
      if (r5     !==16'h0000) tb_error("====== RRA (EDE mode): test 1 (C flag)  =====");
113
 
114
      if (mem21A !==16'h3999) tb_error("====== RRA (EDE mode): test 2 (result)  =====");
115
      if (r7     !==16'h0001) tb_error("====== RRA (EDE mode): test 2 (C flag)  =====");
116
 
117
      if (mem21C !==16'hc199) tb_error("====== RRA (EDE mode): test 3 (result)  =====");
118
      if (r9     !==16'h0004) tb_error("====== RRA (EDE mode): test 3 (C flag)  =====");
119
 
120
      if (mem21E !==16'hc199) tb_error("====== RRA (EDE mode): test 4 (result)  =====");
121
      if (r11    !==16'h0005) tb_error("====== RRA (EDE mode): test 4 (C flag)  =====");
122
 
123
 
124
      // Addressing mode: &EDE
125
      @(r15==16'h6000);
126
      if (mem220 !==16'h3999) tb_error("====== RRA (&EDE mode): test 1 (result)  =====");
127
      if (r5     !==16'h0000) tb_error("====== RRA (&EDE mode): test 1 (C flag)  =====");
128
 
129
      if (mem222 !==16'h3999) tb_error("====== RRA (&EDE mode): test 2 (result)  =====");
130
      if (r7     !==16'h0001) tb_error("====== RRA (&EDE mode): test 2 (C flag)  =====");
131
 
132
      if (mem224 !==16'hc199) tb_error("====== RRA (&EDE mode): test 3 (result)  =====");
133
      if (r9     !==16'h0004) tb_error("====== RRA (&EDE mode): test 3 (C flag)  =====");
134
 
135
      if (mem226 !==16'hc199) tb_error("====== RRA (&EDE mode): test 4 (result)  =====");
136
      if (r11    !==16'h0005) tb_error("====== RRA (&EDE mode): test 4 (C flag)  =====");
137
 
138
 
139
      // Clear Memory
140
      //--------------------------------------------------------
141
      @(r15==16'h7000);
142
 
143
 
144
      // RRA (BYTE MODE)
145
      //--------------------------------------------------------
146
 
147
      // Addressing mode: Rn
148
      @(r15==16'h8000);
149
      if (r4     !==16'h0039) tb_error("====== RRA.B (Rn mode): test 1 (result) =====");
150
      if (r5     !==16'h0000) tb_error("====== RRA.B (Rn mode): test 1 (C flag) =====");
151
 
152
      if (r6     !==16'h0039) tb_error("====== RRA.B (Rn mode): test 2 (result) =====");
153
      if (r7     !==16'h0001) tb_error("====== RRA.B (Rn mode): test 2 (C flag) =====");
154
 
155
      if (r8     !==16'h00c1) tb_error("====== RRA.B (Rn mode): test 3 (result) =====");
156
      if (r9     !==16'h0004) tb_error("====== RRA.B (Rn mode): test 3 (C flag) =====");
157
 
158
      if (r10    !==16'h00c1) tb_error("====== RRA.B (Rn mode): test 4 (result) =====");
159
      if (r11    !==16'h0005) tb_error("====== RRA.B (Rn mode): test 4 (C flag) =====");
160
 
161
 
162
      // Addressing mode: @Rn (low byte)
163
      @(r15==16'h9000);
164
      if (mem200 !==16'h2539) tb_error("====== RRA.B (@Rn mode): test 1, low byte (result)  =====");
165
      if (r4     !==16'h0200) tb_error("====== RRA.B (@Rn mode): test 1, low byte (address) =====");
166
      if (r5     !==16'h0000) tb_error("====== RRA.B (@Rn mode): test 1, low byte (C flag)  =====");
167
 
168
      if (mem202 !==16'h2539) tb_error("====== RRA.B (@Rn mode): test 2, low byte (result)  =====");
169
      if (r6     !==16'h0202) tb_error("====== RRA.B (@Rn mode): test 2, low byte (address) =====");
170
      if (r7     !==16'h0001) tb_error("====== RRA.B (@Rn mode): test 2, low byte (C flag)  =====");
171
 
172
      if (mem204 !==16'h25c1) tb_error("====== RRA.B (@Rn mode): test 3, low byte (result)  =====");
173
      if (r8     !==16'h0204) tb_error("====== RRA.B (@Rn mode): test 3, low byte (address) =====");
174
      if (r9     !==16'h0004) tb_error("====== RRA.B (@Rn mode): test 3, low byte (C flag)  =====");
175
 
176
      if (mem206 !==16'h25c1) tb_error("====== RRA.B (@Rn mode): test 4, low byte (result)  =====");
177
      if (r10    !==16'h0206) tb_error("====== RRA.B (@Rn mode): test 4, low byte (address) =====");
178
      if (r11    !==16'h0005) tb_error("====== RRA.B (@Rn mode): test 4, low byte (C flag)  =====");
179
 
180
      // Addressing mode: @Rn (high byte)
181
      @(r15==16'h9001);
182
      if (mem208 !==16'h3925) tb_error("====== RRA.B (@Rn mode): test 1, high byte (result)  =====");
183
      if (r4     !==16'h0209) tb_error("====== RRA.B (@Rn mode): test 1, high byte (address) =====");
184
      if (r5     !==16'h0000) tb_error("====== RRA.B (@Rn mode): test 1, high byte (C flag)  =====");
185
 
186
      if (mem20A !==16'h3925) tb_error("====== RRA.B (@Rn mode): test 2, high byte (result)  =====");
187
      if (r6     !==16'h020B) tb_error("====== RRA.B (@Rn mode): test 2, high byte (address) =====");
188
      if (r7     !==16'h0001) tb_error("====== RRA.B (@Rn mode): test 2, high byte (C flag)  =====");
189
 
190
      if (mem20C !==16'hc125) tb_error("====== RRA.B (@Rn mode): test 3, high byte (result)  =====");
191
      if (r8     !==16'h020D) tb_error("====== RRA.B (@Rn mode): test 3, high byte (address) =====");
192
      if (r9     !==16'h0004) tb_error("====== RRA.B (@Rn mode): test 3, high byte (C flag)  =====");
193
 
194
      if (mem20E !==16'hc125) tb_error("====== RRA.B (@Rn mode): test 4, high byte (result)  =====");
195
      if (r10    !==16'h020F) tb_error("====== RRA.B (@Rn mode): test 4, high byte (address) =====");
196
      if (r11    !==16'h0005) tb_error("====== RRA.B (@Rn mode): test 4, high byte (C flag)  =====");
197
 
198
 
199
      // Addressing mode: @Rn+ (low byte)
200
      @(r15==16'hA000);
201
      if (mem210 !==16'h2539) tb_error("====== RRA.B (@Rn+ mode): test 1, low byte (result)  =====");
202
      if (r4     !==16'h0211) tb_error("====== RRA.B (@Rn+ mode): test 1, low byte (address) =====");
203
      if (r5     !==16'h0000) tb_error("====== RRA.B (@Rn+ mode): test 1, low byte (C flag)  =====");
204
 
205
      if (mem212 !==16'h2539) tb_error("====== RRA.B (@Rn+ mode): test 2, low byte (result)  =====");
206
      if (r6     !==16'h0213) tb_error("====== RRA.B (@Rn+ mode): test 2, low byte (address) =====");
207
      if (r7     !==16'h0001) tb_error("====== RRA.B (@Rn+ mode): test 2, low byte (C flag)  =====");
208
 
209
      if (mem214 !==16'h25c1) tb_error("====== RRA.B (@Rn+ mode): test 3, low byte (result)  =====");
210
      if (r8     !==16'h0215) tb_error("====== RRA.B (@Rn+ mode): test 3, low byte (address) =====");
211
      if (r9     !==16'h0004) tb_error("====== RRA.B (@Rn+ mode): test 3, low byte (C flag)  =====");
212
 
213
      if (mem216 !==16'h25c1) tb_error("====== RRA.B (@Rn+ mode): test 4, low byte (result)  =====");
214
      if (r10    !==16'h0217) tb_error("====== RRA.B (@Rn+ mode): test 4, low byte (address) =====");
215
      if (r11    !==16'h0005) tb_error("====== RRA.B (@Rn+ mode): test 4, low byte (C flag)  =====");
216
 
217
      // Addressing mode: @Rn+ (high byte)
218
      @(r15==16'hA001);
219
      if (mem218 !==16'h3925) tb_error("====== RRA.B (@Rn+ mode): test 1, high byte (result)  =====");
220
      if (r4     !==16'h021A) tb_error("====== RRA.B (@Rn+ mode): test 1, high byte (address) =====");
221
      if (r5     !==16'h0000) tb_error("====== RRA.B (@Rn+ mode): test 1, high byte (C flag)  =====");
222
 
223
      if (mem21A !==16'h3925) tb_error("====== RRA.B (@Rn+ mode): test 2, high byte (result)  =====");
224
      if (r6     !==16'h021C) tb_error("====== RRA.B (@Rn+ mode): test 2, high byte (address) =====");
225
      if (r7     !==16'h0001) tb_error("====== RRA.B (@Rn+ mode): test 2, high byte (C flag)  =====");
226
 
227
      if (mem21C !==16'hc125) tb_error("====== RRA.B (@Rn+ mode): test 3, high byte (result)  =====");
228
      if (r8     !==16'h021E) tb_error("====== RRA.B (@Rn+ mode): test 3, high byte (address) =====");
229
      if (r9     !==16'h0004) tb_error("====== RRA.B (@Rn+ mode): test 3, high byte (C flag)  =====");
230
 
231
      if (mem21E !==16'hc125) tb_error("====== RRA.B (@Rn+ mode): test 4, high byte (result)  =====");
232
      if (r10    !==16'h0220) tb_error("====== RRA.B (@Rn+ mode): test 4, high byte (address) =====");
233
      if (r11    !==16'h0005) tb_error("====== RRA.B (@Rn+ mode): test 4, high byte (C flag)  =====");
234
 
235
 
236
      // Addressing mode: X(Rn) (low byte)
237
      @(r15==16'hB000);
238
      if (mem220 !==16'h2539) tb_error("====== RRA.B (X(Rn) mode): test 1, low byte (result)  =====");
239
      if (r5     !==16'h0000) tb_error("====== RRA.B (X(Rn) mode): test 1, low byte (C flag)  =====");
240
 
241
      if (mem222 !==16'h2539) tb_error("====== RRA.B (X(Rn) mode): test 2, low byte (result)  =====");
242
      if (r7     !==16'h0001) tb_error("====== RRA.B (X(Rn) mode): test 2, low byte (C flag)  =====");
243
 
244
      if (mem224 !==16'h25c1) tb_error("====== RRA.B (X(Rn) mode): test 3, low byte (result)  =====");
245
      if (r9     !==16'h0004) tb_error("====== RRA.B (X(Rn) mode): test 3, low byte (C flag)  =====");
246
 
247
      if (mem226 !==16'h25c1) tb_error("====== RRA.B (X(Rn) mode): test 4, low byte (result)  =====");
248
      if (r11    !==16'h0005) tb_error("====== RRA.B (X(Rn) mode): test 4, low byte (C flag)  =====");
249
 
250
      // Addressing mode: X(Rn) (high byte)
251
      @(r15==16'hB001);
252
      if (mem228 !==16'h3925) tb_error("====== RRA.B (X(Rn) mode): test 1, high byte (result)  =====");
253
      if (r5     !==16'h0000) tb_error("====== RRA.B (X(Rn) mode): test 1, high byte (C flag)  =====");
254
 
255
      if (mem22A !==16'h3925) tb_error("====== RRA.B (X(Rn) mode): test 2, high byte (result)  =====");
256
      if (r7     !==16'h0001) tb_error("====== RRA.B (X(Rn) mode): test 2, high byte (C flag)  =====");
257
 
258
      if (mem22C !==16'hc125) tb_error("====== RRA.B (X(Rn) mode): test 3, high byte (result)  =====");
259
      if (r9     !==16'h0004) tb_error("====== RRA.B (X(Rn) mode): test 3, high byte (C flag)  =====");
260
 
261
      if (mem22E !==16'hc125) tb_error("====== RRA.B (X(Rn) mode): test 4, high byte (result)  =====");
262
      if (r11    !==16'h0005) tb_error("====== RRA.B (X(Rn) mode): test 4, high byte (C flag)  =====");
263
 
264
      // Addressing mode: EDE (low byte)
265
      @(r15==16'hC000);
266
      if (mem230 !==16'h2539) tb_error("====== RRA.B (EDE mode): test 1, low byte (result)  =====");
267
      if (r5     !==16'h0000) tb_error("====== RRA.B (EDE mode): test 1, low byte (C flag)  =====");
268
 
269
      if (mem232 !==16'h2539) tb_error("====== RRA.B (EDE mode): test 2, low byte (result)  =====");
270
      if (r7     !==16'h0001) tb_error("====== RRA.B (EDE mode): test 2, low byte (C flag)  =====");
271
 
272
      if (mem234 !==16'h25c1) tb_error("====== RRA.B (EDE mode): test 3, low byte (result)  =====");
273
      if (r9     !==16'h0004) tb_error("====== RRA.B (EDE mode): test 3, low byte (C flag)  =====");
274
 
275
      if (mem236 !==16'h25c1) tb_error("====== RRA.B (EDE mode): test 4, low byte (result)  =====");
276
      if (r11    !==16'h0005) tb_error("====== RRA.B (EDE mode): test 4, low byte (C flag)  =====");
277
 
278
      // Addressing mode: EDE (high byte)
279
      @(r15==16'hC001);
280
      if (mem238 !==16'h3925) tb_error("====== RRA.B (EDE mode): test 1, high byte (result)  =====");
281
      if (r5     !==16'h0000) tb_error("====== RRA.B (EDE mode): test 1, high byte (C flag)  =====");
282
 
283
      if (mem23A !==16'h3925) tb_error("====== RRA.B (EDE mode): test 2, high byte (result)  =====");
284
      if (r7     !==16'h0001) tb_error("====== RRA.B (EDE mode): test 2, high byte (C flag)  =====");
285
 
286
      if (mem23C !==16'hc125) tb_error("====== RRA.B (EDE mode): test 3, high byte (result)  =====");
287
      if (r9     !==16'h0004) tb_error("====== RRA.B (EDE mode): test 3, high byte (C flag)  =====");
288
 
289
      if (mem23E !==16'hc125) tb_error("====== RRA.B (EDE mode): test 4, high byte (result)  =====");
290
      if (r11    !==16'h0005) tb_error("====== RRA.B (EDE mode): test 4, high byte (C flag)  =====");
291
 
292
 
293
      // Addressing mode: &EDE (low byte)
294
      @(r15==16'hD000);
295
      if (mem240 !==16'h2539) tb_error("====== RRA.B (&EDE mode): test 1, low byte (result)  =====");
296
      if (r5     !==16'h0000) tb_error("====== RRA.B (&EDE mode): test 1, low byte (C flag)  =====");
297
 
298
      if (mem242 !==16'h2539) tb_error("====== RRA.B (&EDE mode): test 2, low byte (result)  =====");
299
      if (r7     !==16'h0001) tb_error("====== RRA.B (&EDE mode): test 2, low byte (C flag)  =====");
300
 
301
      if (mem244 !==16'h25c1) tb_error("====== RRA.B (&EDE mode): test 3, low byte (result)  =====");
302
      if (r9     !==16'h0004) tb_error("====== RRA.B (&EDE mode): test 3, low byte (C flag)  =====");
303
 
304
      if (mem246 !==16'h25c1) tb_error("====== RRA.B (&EDE mode): test 4, low byte (result)  =====");
305
      if (r11    !==16'h0005) tb_error("====== RRA.B (&EDE mode): test 4, low byte (C flag)  =====");
306
 
307
      // Addressing mode: &EDE (high byte)
308
      @(r15==16'hD001);
309
      if (mem248 !==16'h3925) tb_error("====== RRA.B (&EDE mode): test 1, high byte (result)  =====");
310
      if (r5     !==16'h0000) tb_error("====== RRA.B (&EDE mode): test 1, high byte (C flag)  =====");
311
 
312
      if (mem24A !==16'h3925) tb_error("====== RRA.B (&EDE mode): test 2, high byte (result)  =====");
313
      if (r7     !==16'h0001) tb_error("====== RRA.B (&EDE mode): test 2, high byte (C flag)  =====");
314
 
315
      if (mem24C !==16'hc125) tb_error("====== RRA.B (&EDE mode): test 3, high byte (result)  =====");
316
      if (r9     !==16'h0004) tb_error("====== RRA.B (&EDE mode): test 3, high byte (C flag)  =====");
317
 
318
      if (mem24E !==16'hc125) tb_error("====== RRA.B (&EDE mode): test 4, high byte (result)  =====");
319
      if (r11    !==16'h0005) tb_error("====== RRA.B (&EDE mode): test 4, high byte (C flag)  =====");
320
 
321
      stimulus_done = 1;
322
   end
323
 

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.