Project

General

Profile

Download (15.6 KB) Statistics
| Branch: | Tag: | Revision:
1

    
2
-- Copyright (C) 2001 Bill Billowitch.
3

    
4
-- Some of the work to develop this test suite was done with Air Force
5
-- support.  The Air Force and Bill Billowitch assume no
6
-- responsibilities for this software.
7

    
8
-- This file is part of VESTs (Vhdl tESTs).
9

    
10
-- VESTs is free software; you can redistribute it and/or modify it
11
-- under the terms of the GNU General Public License as published by the
12
-- Free Software Foundation; either version 2 of the License, or (at
13
-- your option) any later version. 
14

    
15
-- VESTs is distributed in the hope that it will be useful, but WITHOUT
16
-- ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
17
-- FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
18
-- for more details. 
19

    
20
-- You should have received a copy of the GNU General Public License
21
-- along with VESTs; if not, write to the Free Software Foundation,
22
-- Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA 
23

    
24
-- ---------------------------------------------------------------------
25
--
26
-- $Id: tc217.vhd,v 1.2 2005-03-21 17:33:22 dmartin Exp $
27
-- $Revision: 1.2 $
28
--
29
-- ---------------------------------------------------------------------
30

    
31
ENTITY c03s01b01x00p06n02i00217ent IS
32
END c03s01b01x00p06n02i00217ent;
33

    
34
ARCHITECTURE c03s01b01x00p06n02i00217arch OF c03s01b01x00p06n02i00217ent IS
35

    
36
BEGIN
37
   TESTING: PROCESS
38
   BEGIN
39
   assert NOT ((character'pos(NUL) =   0) and
40
                    (character'pos(SOH) =   1) and
41
                    (character'pos(STX) =   2) and
42
                    (character'pos(ETX) =   3) and
43
                    (character'pos(EOT) =   4) and
44
                    (character'pos(ENQ) =   5) and
45
                    (character'pos(ACK) =   6) and
46
                    (character'pos(BEL) =   7) and
47
                    (character'pos(BS ) =   8) and
48
                    (character'pos(HT ) =   9) and
49
                    (character'pos(LF ) =  10) and
50
                    (character'pos(VT ) =  11) and
51
                    (character'pos(FF ) =  12) and
52
                    (character'pos(CR ) =  13) and
53
                    (character'pos(SO ) =  14) and
54
                    (character'pos(SI ) =  15) and
55
                    (character'pos(DLE) =  16) and
56
                    (character'pos(DC1) =  17) and
57
                    (character'pos(DC2) =  18) and
58
                    (character'pos(DC3) =  19) and
59
                    (character'pos(DC4) =  20) and
60
                    (character'pos(NAK) =  21) and
61
                    (character'pos(SYN) =  22) and
62
                    (character'pos(ETB) =  23) and
63
                    (character'pos(CAN) =  24) and
64
                    (character'pos(EM ) =  25) and
65
                    (character'pos(SUB) =  26) and
66
                    (character'pos(ESC) =  27) and
67
                    (character'pos(FSP) =  28) and
68
                    (character'pos(GSP) =  29) and
69
                    (character'pos(RSP) =  30) and
70
                    (character'pos(USP) =  31) and
71
                    (character'pos(' ') =  32) and
72
                    (character'pos('!') =  33) and
73
                    (character'pos('"') =  34) and
74
                    (character'pos('#') =  35) and
75
                    (character'pos('$') =  36) and
76
                    (character'pos('%') =  37) and
77
                    (character'pos('&') =  38) and
78
                    (character'pos(''') =  39) and
79
                    (character'pos('(') =  40) and
80
                    (character'pos(')') =  41) and
81
                    (character'pos('*') =  42) and
82
                    (character'pos('+') =  43) and
83
                    (character'pos(',') =  44) and
84
                    (character'pos('-') =  45) and
85
                    (character'pos('.') =  46) and
86
                    (character'pos('/') =  47) and
87
                    (character'pos('0') =  48) and
88
                    (character'pos('1') =  49) and
89
                    (character'pos('2') =  50) and
90
                    (character'pos('3') =  51) and
91
                    (character'pos('4') =  52) and
92
                    (character'pos('5') =  53) and
93
                    (character'pos('6') =  54) and
94
                    (character'pos('7') =  55) and
95
                    (character'pos('8') =  56) and
96
                    (character'pos('9') =  57) and
97
                    (character'pos(':') =  58) and
98
                    (character'pos(';') =  59) and
99
                    (character'pos('<') =  60) and
100
                    (character'pos('=') =  61) and
101
                    (character'pos('>') =  62) and
102
                    (character'pos('?') =  63) and
103
          (character'pos('@') =  64) and
104
                    (character'pos('A') =  65) and
105
                    (character'pos('B') =  66) and
106
                    (character'pos('C') =  67) and
107
                    (character'pos('D') =  68) and
108
                    (character'pos('E') =  69) and
109
                    (character'pos('F') =  70) and
110
                    (character'pos('G') =  71) and
111
                    (character'pos('H') =  72) and
112
                    (character'pos('I') =  73) and
113
                    (character'pos('J') =  74) and
114
                    (character'pos('K') =  75) and
115
                    (character'pos('L') =  76) and
116
                    (character'pos('M') =  77) and
117
                    (character'pos('N') =  78) and
118
                    (character'pos('O') =  79) and
119
                    (character'pos('P') =  80) and
120
                    (character'pos('Q') =  81) and
121
                    (character'pos('R') =  82) and
122
                    (character'pos('S') =  83) and
123
                    (character'pos('T') =  84) and
124
                    (character'pos('U') =  85) and
125
                    (character'pos('V') =  86) and
126
                    (character'pos('W') =  87) and
127
                    (character'pos('X') =  88) and
128
                    (character'pos('Y') =  89) and
129
                    (character'pos('Z') =  90) and
130
                    (character'pos('[') =  91) and
131
                    (character'pos('\') =  92) and
132
                    (character'pos(']') =  93) and
133
                    (character'pos('^') =  94) and
134
                    (character'pos('_') =  95) and
135
                    (character'pos('`') =  96) and
136
                    (character'pos('a') =  97) and
137
                    (character'pos('b') =  98) and
138
                    (character'pos('c') =  99) and
139
                    (character'pos('d') = 100) and
140
                    (character'pos('e') = 101) and
141
                    (character'pos('f') = 102) and
142
                    (character'pos('g') = 103) and
143
                    (character'pos('h') = 104) and
144
                    (character'pos('i') = 105) and
145
                    (character'pos('j') = 106) and
146
                    (character'pos('k') = 107) and
147
                    (character'pos('l') = 108) and
148
                    (character'pos('m') = 109) and
149
                    (character'pos('n') = 110) and
150
                    (character'pos('o') = 111) and
151
                    (character'pos('p') = 112) and
152
                    (character'pos('q') = 113) and
153
                    (character'pos('r') = 114) and
154
                    (character'pos('s') = 115) and
155
                    (character'pos('t') = 116) and
156
                    (character'pos('u') = 117) and
157
                    (character'pos('v') = 118) and
158
                    (character'pos('w') = 119) and
159
                    (character'pos('x') = 120) and
160
                    (character'pos('y') = 121) and
161
                    (character'pos('z') = 122) and
162
                    (character'pos('{') = 123) and
163
                    (character'pos('|') = 124) and
164
                    (character'pos('}') = 125) and
165
                    (character'pos('~') = 126) and
166
                    (character'pos(DEL) = 127) and
167
          (character'pos(character'right) = 127) and 
168
                    (bit'pos('0') = 0) and
169
                    (bit'pos('1') = 1) and
170
                    (bit'pos(bit'right) = 1) and
171
                    (boolean'pos(false) = 0) and
172
                    (boolean'pos(true)  = 1) and
173
                    (boolean'pos(boolean'right) = 1) and
174
                    (severity_level'pos(NOTE)    = 0) and
175
                    (severity_level'pos(WARNING) = 1) and
176
                    (severity_level'pos(ERROR)   = 2) and
177
                    (severity_level'pos(FAILURE) = 3) and
178
                    (severity_level'pos(severity_level'right)
179
= 3))
180
      report "***PASSED TEST: c03s01b01x00p06n02i00217"
181
      severity NOTE;
182
   assert (    (character'pos(NUL) =   0) and
183
                    (character'pos(SOH) =   1) and
184
                    (character'pos(STX) =   2) and
185
                    (character'pos(ETX) =   3) and
186
                    (character'pos(EOT) =   4) and
187
                    (character'pos(ENQ) =   5) and
188
                    (character'pos(ACK) =   6) and
189
                    (character'pos(BEL) =   7) and
190
                    (character'pos(BS ) =   8) and
191
                    (character'pos(HT ) =   9) and
192
                    (character'pos(LF ) =  10) and
193
                    (character'pos(VT ) =  11) and
194
                    (character'pos(FF ) =  12) and
195
                    (character'pos(CR ) =  13) and
196
                    (character'pos(SO ) =  14) and
197
                    (character'pos(SI ) =  15) and
198
                    (character'pos(DLE) =  16) and
199
                    (character'pos(DC1) =  17) and
200
                    (character'pos(DC2) =  18) and
201
                    (character'pos(DC3) =  19) and
202
                    (character'pos(DC4) =  20) and
203
                    (character'pos(NAK) =  21) and
204
                    (character'pos(SYN) =  22) and
205
                    (character'pos(ETB) =  23) and
206
                    (character'pos(CAN) =  24) and
207
                    (character'pos(EM ) =  25) and
208
                    (character'pos(SUB) =  26) and
209
                    (character'pos(ESC) =  27) and
210
                    (character'pos(FSP) =  28) and
211
                    (character'pos(GSP) =  29) and
212
                    (character'pos(RSP) =  30) and
213
                    (character'pos(USP) =  31) and
214
                    (character'pos(' ') =  32) and
215
                    (character'pos('!') =  33) and
216
                    (character'pos('"') =  34) and
217
                    (character'pos('#') =  35) and
218
                    (character'pos('$') =  36) and
219
                    (character'pos('%') =  37) and
220
                    (character'pos('&') =  38) and
221
                    (character'pos(''') =  39) and
222
                    (character'pos('(') =  40) and
223
                    (character'pos(')') =  41) and
224
                    (character'pos('*') =  42) and
225
                    (character'pos('+') =  43) and
226
                    (character'pos(',') =  44) and
227
                    (character'pos('-') =  45) and
228
                    (character'pos('.') =  46) and
229
                    (character'pos('/') =  47) and
230
                    (character'pos('0') =  48) and
231
                    (character'pos('1') =  49) and
232
                    (character'pos('2') =  50) and
233
                    (character'pos('3') =  51) and
234
                    (character'pos('4') =  52) and
235
                    (character'pos('5') =  53) and
236
                    (character'pos('6') =  54) and
237
                    (character'pos('7') =  55) and
238
          (character'pos('8') =  56) and
239
                    (character'pos('9') =  57) and
240
                    (character'pos(':') =  58) and
241
                    (character'pos(';') =  59) and
242
                    (character'pos('<') =  60) and
243
                    (character'pos('=') =  61) and
244
                    (character'pos('>') =  62) and
245
                    (character'pos('?') =  63) and
246
                    (character'pos('@') =  64) and
247
                    (character'pos('A') =  65) and
248
                    (character'pos('B') =  66) and
249
                    (character'pos('C') =  67) and
250
                    (character'pos('D') =  68) and
251
                    (character'pos('E') =  69) and
252
                    (character'pos('F') =  70) and
253
                    (character'pos('G') =  71) and
254
                    (character'pos('H') =  72) and
255
                    (character'pos('I') =  73) and
256
                    (character'pos('J') =  74) and
257
                    (character'pos('K') =  75) and
258
                    (character'pos('L') =  76) and
259
                    (character'pos('M') =  77) and
260
                    (character'pos('N') =  78) and
261
                    (character'pos('O') =  79) and
262
                    (character'pos('P') =  80) and
263
                    (character'pos('Q') =  81) and
264
                    (character'pos('R') =  82) and
265
                    (character'pos('S') =  83) and
266
                    (character'pos('T') =  84) and
267
                    (character'pos('U') =  85) and
268
                    (character'pos('V') =  86) and
269
                    (character'pos('W') =  87) and
270
                    (character'pos('X') =  88) and
271
                    (character'pos('Y') =  89) and
272
                    (character'pos('Z') =  90) and
273
                    (character'pos('[') =  91) and
274
                    (character'pos('\') =  92) and
275
                    (character'pos(']') =  93) and
276
                    (character'pos('^') =  94) and
277
                    (character'pos('_') =  95) and
278
                    (character'pos('`') =  96) and
279
                    (character'pos('a') =  97) and
280
                    (character'pos('b') =  98) and
281
                    (character'pos('c') =  99) and
282
                    (character'pos('d') = 100) and
283
                    (character'pos('e') = 101) and
284
                    (character'pos('f') = 102) and
285
                    (character'pos('g') = 103) and
286
                    (character'pos('h') = 104) and
287
                    (character'pos('i') = 105) and
288
                    (character'pos('j') = 106) and
289
                    (character'pos('k') = 107) and
290
                    (character'pos('l') = 108) and
291
                    (character'pos('m') = 109) and
292
                    (character'pos('n') = 110) and
293
                    (character'pos('o') = 111) and
294
                    (character'pos('p') = 112) and
295
                    (character'pos('q') = 113) and
296
                    (character'pos('r') = 114) and
297
                    (character'pos('s') = 115) and
298
                    (character'pos('t') = 116) and
299
                    (character'pos('u') = 117) and
300
                    (character'pos('v') = 118) and
301
                    (character'pos('w') = 119) and
302
          (character'pos('x') = 120) and
303
                    (character'pos('y') = 121) and
304
                    (character'pos('z') = 122) and
305
                    (character'pos('{') = 123) and
306
                    (character'pos('|') = 124) and
307
                    (character'pos('}') = 125) and
308
                    (character'pos('~') = 126) and
309
                    (character'pos(DEL) = 127) and
310
                    (character'pos(character'right) = 255) and  
311
                    (bit'pos('0') = 0) and
312
                    (bit'pos('1') = 1) and
313
                    (bit'pos(bit'right) = 1) and
314
                    (boolean'pos(false) = 0) and
315
                    (boolean'pos(true)  = 1) and
316
                    (boolean'pos(boolean'right) = 1) and
317
                    (severity_level'pos(NOTE)    = 0) and
318
                    (severity_level'pos(WARNING) = 1) and
319
                    (severity_level'pos(ERROR)   = 2) and
320
                    (severity_level'pos(FAILURE) = 3) and
321
                    (severity_level'pos(severity_level'right)
322
= 3))
323
      report "***FAILED TEST: c03s01b01x00p06n02i00217 - The predefined order relations between enumeration values follow the order of corresponding position number."
324
      severity ERROR;
325
   wait;
326
   END PROCESS TESTING;
327

    
328
END c03s01b01x00p06n02i00217arch;
(406-406/2088)