Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / ghdl / ghdl / testsuite / vests / vhdl-93 / billowitch / compliant / tc1946.vhd @ 3fd18385

History | View | Annotate | Download (16 KB)

1 3fd18385 Arnaud Dieumegard
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: tc1946.vhd,v 1.2 2001-10-26 16:29:44 paw Exp $
27
-- $Revision: 1.2 $
28
--
29
-- ---------------------------------------------------------------------
30
31
package c07s02b01x00p01n02i01946pkg is
32
--
33
--          Index types for array declarations
34
--
35
  SUBTYPE st_ind1 IS INTEGER   RANGE   1   TO     4;     -- index from 1 (POSITIVE)
36
  SUBTYPE st_ind2 IS INTEGER   RANGE   0   TO     3;     -- index from 0 (NATURAL)
37
  SUBTYPE st_ind3 IS CHARACTER RANGE 'a'   TO   'd';     -- non-INTEGER index
38
  SUBTYPE st_ind4 IS INTEGER   RANGE   0 DOWNTO  -3;     -- descending range
39
--
40
--          Logic types for subelements
41
--
42
  SUBTYPE st_scl1 IS BIT;
43
  SUBTYPE st_scl2 IS BOOLEAN;
44
45
-- -----------------------------------------------------------------------------------------
46
--      Composite type declarations
47
-- -----------------------------------------------------------------------------------------
48
--
49
--          Unconstrained arrays
50
--
51
  TYPE t_usa1_1 IS ARRAY (st_ind1 RANGE <>) OF BIT;
52
  TYPE t_usa1_2 IS ARRAY (st_ind2 RANGE <>) OF BOOLEAN;
53
  TYPE t_usa1_3 IS ARRAY (st_ind3 RANGE <>) OF BIT;
54
  TYPE t_usa1_4 IS ARRAY (st_ind4 RANGE <>) OF BOOLEAN;
55
--
56
--          Constrained arrays of scalars (make compatable with unconstrained types
57
--
58
  SUBTYPE t_csa1_1 IS t_usa1_1 (st_ind1);
59
  SUBTYPE t_csa1_2 IS t_usa1_2 (st_ind2);
60
  SUBTYPE t_csa1_3 IS t_usa1_3 (st_ind3);
61
  SUBTYPE t_csa1_4 IS t_usa1_4 (st_ind4);
62
-- -----------------------------------------------------------------------------------------
63
--
64
--          TYPE declarations for resolution function (Constrained types only)
65
--
66
  TYPE t_csa1_1_vct IS ARRAY (POSITIVE RANGE <>) OF t_csa1_1;
67
  TYPE t_csa1_2_vct IS ARRAY (POSITIVE RANGE <>) OF t_csa1_2;
68
  TYPE t_csa1_3_vct IS ARRAY (POSITIVE RANGE <>) OF t_csa1_3;
69
  TYPE t_csa1_4_vct IS ARRAY (POSITIVE RANGE <>) OF t_csa1_4;
70
end;
71
72
use work.c07s02b01x00p01n02i01946pkg.all;
73
ENTITY c07s02b01x00p01n02i01946ent IS
74
END c07s02b01x00p01n02i01946ent;
75
76
ARCHITECTURE c07s02b01x00p01n02i01946arch OF c07s02b01x00p01n02i01946ent IS
77
--
78
--          CONSTANT Declarations
79
--
80
  CONSTANT ARGA_C_csa1_1 : t_csa1_1          := ( '1', '1', '0', '0' );
81
  CONSTANT ARGA_C_usa1_1 : t_usa1_1(st_ind1) := ( '1', '1', '0', '0' );
82
  CONSTANT ARGB_C_csa1_1 : t_csa1_1          := ( '1', '0', '1', '0' );
83
  CONSTANT ARGB_C_usa1_1 : t_usa1_1(st_ind1) := ( '1', '0', '1', '0' );
84
  CONSTANT   OR_C_csa1_1 : t_csa1_1          := ( '1', '1', '1', '0' );
85
  CONSTANT   OR_C_usa1_1 : t_usa1_1(st_ind1) := ( '1', '1', '1', '0' );
86
  
87
  CONSTANT ARGA_C_csa1_2 : t_csa1_2          := (  TRUE,  TRUE, FALSE, FALSE );
88
  CONSTANT ARGA_C_usa1_2 : t_usa1_2(st_ind2) := (  TRUE,  TRUE, FALSE, FALSE );
89
  CONSTANT ARGB_C_csa1_2 : t_csa1_2          := (  TRUE, FALSE,  TRUE, FALSE );
90
  CONSTANT ARGB_C_usa1_2 : t_usa1_2(st_ind2) := (  TRUE, FALSE,  TRUE, FALSE );
91
  CONSTANT   OR_C_csa1_2 : t_csa1_2          := (  TRUE,  TRUE,  TRUE, FALSE );
92
  CONSTANT   OR_C_usa1_2 : t_usa1_2(st_ind2) := (  TRUE,  TRUE,  TRUE, FALSE );
93
  
94
  CONSTANT ARGA_C_csa1_3 : t_csa1_3          := ( '1', '1', '0', '0' );
95
  CONSTANT ARGA_C_usa1_3 : t_usa1_3(st_ind3) := ( '1', '1', '0', '0' );
96
  CONSTANT ARGB_C_csa1_3 : t_csa1_3          := ( '1', '0', '1', '0' );
97
  CONSTANT ARGB_C_usa1_3 : t_usa1_3(st_ind3) := ( '1', '0', '1', '0' );
98
  CONSTANT   OR_C_csa1_3 : t_csa1_3          := ( '1', '1', '1', '0' );
99
  CONSTANT   OR_C_usa1_3 : t_usa1_3(st_ind3) := ( '1', '1', '1', '0' );
100
  
101
  CONSTANT ARGA_C_csa1_4 : t_csa1_4          := (  TRUE,  TRUE, FALSE, FALSE );
102
  CONSTANT ARGA_C_usa1_4 : t_usa1_4(st_ind4) := (  TRUE,  TRUE, FALSE, FALSE );
103
  CONSTANT ARGB_C_csa1_4 : t_csa1_4          := (  TRUE, FALSE,  TRUE, FALSE );
104
  CONSTANT ARGB_C_usa1_4 : t_usa1_4(st_ind4) := (  TRUE, FALSE,  TRUE, FALSE );
105
  CONSTANT   OR_C_csa1_4 : t_csa1_4          := (  TRUE,  TRUE,  TRUE, FALSE );
106
  CONSTANT   OR_C_usa1_4 : t_usa1_4(st_ind4) := (  TRUE,  TRUE,  TRUE, FALSE );
107
108
--
109
--          SIGNAL Declarations
110
--
111
  SIGNAL ARGA_S_csa1_1 : t_csa1_1          := ( '1', '1', '0', '0' );
112
  SIGNAL ARGA_S_usa1_1 : t_usa1_1(st_ind1) := ( '1', '1', '0', '0' );
113
  SIGNAL ARGB_S_csa1_1 : t_csa1_1          := ( '1', '0', '1', '0' );
114
  SIGNAL ARGB_S_usa1_1 : t_usa1_1(st_ind1) := ( '1', '0', '1', '0' );
115
  SIGNAL   OR_S_csa1_1 : t_csa1_1          := ( '1', '1', '1', '0' );
116
  SIGNAL   OR_S_usa1_1 : t_usa1_1(st_ind1) := ( '1', '1', '1', '0' );
117
  
118
  SIGNAL ARGA_S_csa1_2 : t_csa1_2          := (  TRUE,  TRUE, FALSE, FALSE );
119
  SIGNAL ARGA_S_usa1_2 : t_usa1_2(st_ind2) := (  TRUE,  TRUE, FALSE, FALSE );
120
  SIGNAL ARGB_S_csa1_2 : t_csa1_2          := (  TRUE, FALSE,  TRUE, FALSE );
121
  SIGNAL ARGB_S_usa1_2 : t_usa1_2(st_ind2) := (  TRUE, FALSE,  TRUE, FALSE );
122
  SIGNAL   OR_S_csa1_2 : t_csa1_2          := (  TRUE,  TRUE,  TRUE, FALSE );
123
  SIGNAL   OR_S_usa1_2 : t_usa1_2(st_ind2) := (  TRUE,  TRUE,  TRUE, FALSE );
124
  
125
  SIGNAL ARGA_S_csa1_3 : t_csa1_3          := ( '1', '1', '0', '0' );
126
  SIGNAL ARGA_S_usa1_3 : t_usa1_3(st_ind3) := ( '1', '1', '0', '0' );
127
  SIGNAL ARGB_S_csa1_3 : t_csa1_3          := ( '1', '0', '1', '0' );
128
  SIGNAL ARGB_S_usa1_3 : t_usa1_3(st_ind3) := ( '1', '0', '1', '0' );
129
  SIGNAL   OR_S_csa1_3 : t_csa1_3          := ( '1', '1', '1', '0' );
130
  SIGNAL   OR_S_usa1_3 : t_usa1_3(st_ind3) := ( '1', '1', '1', '0' );
131
  
132
  SIGNAL ARGA_S_csa1_4 : t_csa1_4          := (  TRUE,  TRUE, FALSE, FALSE );
133
  SIGNAL ARGA_S_usa1_4 : t_usa1_4(st_ind4) := (  TRUE,  TRUE, FALSE, FALSE );
134
  SIGNAL ARGB_S_csa1_4 : t_csa1_4          := (  TRUE, FALSE,  TRUE, FALSE );
135
  SIGNAL ARGB_S_usa1_4 : t_usa1_4(st_ind4) := (  TRUE, FALSE,  TRUE, FALSE );
136
  SIGNAL   OR_S_csa1_4 : t_csa1_4          := (  TRUE,  TRUE,  TRUE, FALSE );
137
  SIGNAL   OR_S_usa1_4 : t_usa1_4(st_ind4) := (  TRUE,  TRUE,  TRUE, FALSE );
138
139
BEGIN
140
  TESTING: PROCESS
141
--
142
--          VARIABLE Declarations
143
--
144
    VARIABLE ARGA_V_csa1_1 : t_csa1_1          := ( '1', '1', '0', '0' );
145
    VARIABLE ARGA_V_usa1_1 : t_usa1_1(st_ind1) := ( '1', '1', '0', '0' );
146
    VARIABLE ARGB_V_csa1_1 : t_csa1_1          := ( '1', '0', '1', '0' );
147
    VARIABLE ARGB_V_usa1_1 : t_usa1_1(st_ind1) := ( '1', '0', '1', '0' );
148
    VARIABLE   OR_V_csa1_1 : t_csa1_1          := ( '1', '1', '1', '0' );
149
    VARIABLE   OR_V_usa1_1 : t_usa1_1(st_ind1) := ( '1', '1', '1', '0' );
150
    
151
    VARIABLE ARGA_V_csa1_2 : t_csa1_2          := (  TRUE,  TRUE, FALSE, FALSE );
152
    VARIABLE ARGA_V_usa1_2 : t_usa1_2(st_ind2) := (  TRUE,  TRUE, FALSE, FALSE );
153
    VARIABLE ARGB_V_csa1_2 : t_csa1_2          := (  TRUE, FALSE,  TRUE, FALSE );
154
    VARIABLE ARGB_V_usa1_2 : t_usa1_2(st_ind2) := (  TRUE, FALSE,  TRUE, FALSE );
155
    VARIABLE   OR_V_csa1_2 : t_csa1_2          := (  TRUE,  TRUE,  TRUE, FALSE );
156
    VARIABLE   OR_V_usa1_2 : t_usa1_2(st_ind2) := (  TRUE,  TRUE,  TRUE, FALSE );
157
    
158
    VARIABLE ARGA_V_csa1_3 : t_csa1_3          := ( '1', '1', '0', '0' );
159
    VARIABLE ARGA_V_usa1_3 : t_usa1_3(st_ind3) := ( '1', '1', '0', '0' );
160
    VARIABLE ARGB_V_csa1_3 : t_csa1_3          := ( '1', '0', '1', '0' );
161
    VARIABLE ARGB_V_usa1_3 : t_usa1_3(st_ind3) := ( '1', '0', '1', '0' );
162
    VARIABLE   OR_V_csa1_3 : t_csa1_3          := ( '1', '1', '1', '0' );
163
    VARIABLE   OR_V_usa1_3 : t_usa1_3(st_ind3) := ( '1', '1', '1', '0' );
164
    
165
    VARIABLE ARGA_V_csa1_4 : t_csa1_4          := (  TRUE,  TRUE, FALSE, FALSE );
166
    VARIABLE ARGA_V_usa1_4 : t_usa1_4(st_ind4) := (  TRUE,  TRUE, FALSE, FALSE );
167
    VARIABLE ARGB_V_csa1_4 : t_csa1_4          := (  TRUE, FALSE,  TRUE, FALSE );
168
    VARIABLE ARGB_V_usa1_4 : t_usa1_4(st_ind4) := (  TRUE, FALSE,  TRUE, FALSE );
169
    VARIABLE   OR_V_csa1_4 : t_csa1_4          := (  TRUE,  TRUE,  TRUE, FALSE );
170
    VARIABLE   OR_V_usa1_4 : t_usa1_4(st_ind4) := (  TRUE,  TRUE,  TRUE, FALSE );
171
  BEGIN
172
--
173
--          Test OR operator on: CONSTANTs
174
--
175
    ASSERT ( ARGA_C_csa1_1 OR  ARGB_C_csa1_1 ) =  OR_C_csa1_1
176
      REPORT "ERROR: composite OR operator failed; CONSTANT; csa1_1"
177
      SEVERITY FAILURE;
178
    ASSERT ( ARGA_C_csa1_2 OR  ARGB_C_csa1_2 ) =  OR_C_csa1_2
179
      REPORT "ERROR: composite OR operator failed; CONSTANT; csa1_2"
180
      SEVERITY FAILURE;
181
    ASSERT ( ARGA_C_csa1_3 OR  ARGB_C_csa1_3 ) =  OR_C_csa1_3
182
      REPORT "ERROR: composite OR operator failed; CONSTANT; csa1_3"
183
      SEVERITY FAILURE;
184
    ASSERT ( ARGA_C_csa1_4 OR  ARGB_C_csa1_4 ) =  OR_C_csa1_4
185
      REPORT "ERROR: composite OR operator failed; CONSTANT; csa1_4"
186
      SEVERITY FAILURE;
187
    ASSERT ( ARGA_C_usa1_1 OR  ARGB_C_usa1_1 ) =  OR_C_usa1_1
188
      REPORT "ERROR: composite OR operator failed; CONSTANT; usa1_1"
189
      SEVERITY FAILURE;
190
    ASSERT ( ARGA_C_usa1_2 OR  ARGB_C_usa1_2 ) =  OR_C_usa1_2
191
      REPORT "ERROR: composite OR operator failed; CONSTANT; usa1_2"
192
      SEVERITY FAILURE;
193
    ASSERT ( ARGA_C_usa1_3 OR  ARGB_C_usa1_3 ) =  OR_C_usa1_3
194
      REPORT "ERROR: composite OR operator failed; CONSTANT; usa1_3"
195
      SEVERITY FAILURE;
196
    ASSERT ( ARGA_C_usa1_4 OR  ARGB_C_usa1_4 ) =  OR_C_usa1_4
197
      REPORT "ERROR: composite OR operator failed; CONSTANT; usa1_4"
198
      SEVERITY FAILURE;
199
--
200
--          Test OR operator on: SIGNALs
201
--
202
    ASSERT ( ARGA_S_csa1_1 OR  ARGB_S_csa1_1 ) =  OR_S_csa1_1
203
      REPORT "ERROR: composite OR operator failed; SIGNAL; csa1_1"
204
      SEVERITY FAILURE;
205
    ASSERT ( ARGA_S_csa1_2 OR  ARGB_S_csa1_2 ) =  OR_S_csa1_2
206
      REPORT "ERROR: composite OR operator failed; SIGNAL; csa1_2"
207
      SEVERITY FAILURE;
208
    ASSERT ( ARGA_S_csa1_3 OR  ARGB_S_csa1_3 ) =  OR_S_csa1_3
209
      REPORT "ERROR: composite OR operator failed; SIGNAL; csa1_3"
210
      SEVERITY FAILURE;
211
    ASSERT ( ARGA_S_csa1_4 OR  ARGB_S_csa1_4 ) =  OR_S_csa1_4
212
      REPORT "ERROR: composite OR operator failed; SIGNAL; csa1_4"
213
      SEVERITY FAILURE;
214
    ASSERT ( ARGA_S_usa1_1 OR  ARGB_S_usa1_1 ) =  OR_S_usa1_1
215
      REPORT "ERROR: composite OR operator failed; SIGNAL; usa1_1"
216
      SEVERITY FAILURE;
217
    ASSERT ( ARGA_S_usa1_2 OR  ARGB_S_usa1_2 ) =  OR_S_usa1_2
218
      REPORT "ERROR: composite OR operator failed; SIGNAL; usa1_2"
219
      SEVERITY FAILURE;
220
    ASSERT ( ARGA_S_usa1_3 OR  ARGB_S_usa1_3 ) =  OR_S_usa1_3
221
      REPORT "ERROR: composite OR operator failed; SIGNAL; usa1_3"
222
      SEVERITY FAILURE;
223
    ASSERT ( ARGA_S_usa1_4 OR  ARGB_S_usa1_4 ) =  OR_S_usa1_4
224
      REPORT "ERROR: composite OR operator failed; SIGNAL; usa1_4"
225
      SEVERITY FAILURE;
226
--
227
--          Test OR operator on: VARIABLEs
228
--
229
    ASSERT ( ARGA_V_csa1_1 OR  ARGB_V_csa1_1 ) =  OR_V_csa1_1
230
      REPORT "ERROR: composite OR operator failed; VARIABLE; csa1_1"
231
      SEVERITY FAILURE;
232
    ASSERT ( ARGA_V_csa1_2 OR  ARGB_V_csa1_2 ) =  OR_V_csa1_2
233
      REPORT "ERROR: composite OR operator failed; VARIABLE; csa1_2"
234
      SEVERITY FAILURE;
235
    ASSERT ( ARGA_V_csa1_3 OR  ARGB_V_csa1_3 ) =  OR_V_csa1_3
236
      REPORT "ERROR: composite OR operator failed; VARIABLE; csa1_3"
237
      SEVERITY FAILURE;
238
    ASSERT ( ARGA_V_csa1_4 OR  ARGB_V_csa1_4 ) =  OR_V_csa1_4
239
      REPORT "ERROR: composite OR operator failed; VARIABLE; csa1_4"
240
      SEVERITY FAILURE;
241
    ASSERT ( ARGA_V_usa1_1 OR  ARGB_V_usa1_1 ) =  OR_V_usa1_1
242
      REPORT "ERROR: composite OR operator failed; VARIABLE; usa1_1"
243
      SEVERITY FAILURE;
244
    ASSERT ( ARGA_V_usa1_2 OR  ARGB_V_usa1_2 ) =  OR_V_usa1_2
245
      REPORT "ERROR: composite OR operator failed; VARIABLE; usa1_2"
246
      SEVERITY FAILURE;
247
    ASSERT ( ARGA_V_usa1_3 OR  ARGB_V_usa1_3 ) =  OR_V_usa1_3
248
      REPORT "ERROR: composite OR operator failed; VARIABLE; usa1_3"
249
      SEVERITY FAILURE;
250
    ASSERT ( ARGA_V_usa1_4 OR  ARGB_V_usa1_4 ) =  OR_V_usa1_4
251
      REPORT "ERROR: composite OR operator failed; VARIABLE; usa1_4"
252
      SEVERITY FAILURE;
253
    wait for 5 ns;
254
    assert NOT(   ( ARGA_C_csa1_1 OR  ARGB_C_csa1_1 ) =  OR_C_csa1_1   and
255
                  ( ARGA_C_csa1_2 OR  ARGB_C_csa1_2 ) =  OR_C_csa1_2   and
256
                  ( ARGA_C_csa1_3 OR  ARGB_C_csa1_3 ) =  OR_C_csa1_3   and
257
                  ( ARGA_C_csa1_4 OR  ARGB_C_csa1_4 ) =  OR_C_csa1_4   and
258
                  ( ARGA_C_usa1_1 OR  ARGB_C_usa1_1 ) =  OR_C_usa1_1   and
259
                  ( ARGA_C_usa1_2 OR  ARGB_C_usa1_2 ) =  OR_C_usa1_2   and
260
                  ( ARGA_C_usa1_3 OR  ARGB_C_usa1_3 ) =  OR_C_usa1_3   and
261
                  ( ARGA_C_usa1_4 OR  ARGB_C_usa1_4 ) =  OR_C_usa1_4   and   
262
                  ( ARGA_S_csa1_1 OR  ARGB_S_csa1_1 ) =  OR_S_csa1_1   and
263
                  ( ARGA_S_csa1_2 OR  ARGB_S_csa1_2 ) =  OR_S_csa1_2   and
264
                  ( ARGA_S_csa1_3 OR  ARGB_S_csa1_3 ) =  OR_S_csa1_3   and
265
                  ( ARGA_S_csa1_4 OR  ARGB_S_csa1_4 ) =  OR_S_csa1_4   and
266
                  ( ARGA_S_usa1_1 OR  ARGB_S_usa1_1 ) =  OR_S_usa1_1   and
267
                  ( ARGA_S_usa1_2 OR  ARGB_S_usa1_2 ) =  OR_S_usa1_2   and
268
                  ( ARGA_S_usa1_3 OR  ARGB_S_usa1_3 ) =  OR_S_usa1_3   and
269
                  ( ARGA_S_usa1_4 OR  ARGB_S_usa1_4 ) =  OR_S_usa1_4   and
270
                  ( ARGA_V_csa1_1 OR  ARGB_V_csa1_1 ) =  OR_V_csa1_1   and
271
                  ( ARGA_V_csa1_2 OR  ARGB_V_csa1_2 ) =  OR_V_csa1_2   and
272
                  ( ARGA_V_csa1_3 OR  ARGB_V_csa1_3 ) =  OR_V_csa1_3   and
273
                  ( ARGA_V_csa1_4 OR  ARGB_V_csa1_4 ) =  OR_V_csa1_4   and
274
                  ( ARGA_V_usa1_1 OR  ARGB_V_usa1_1 ) =  OR_V_usa1_1   and
275
                  ( ARGA_V_usa1_2 OR  ARGB_V_usa1_2 ) =  OR_V_usa1_2   and
276
                  ( ARGA_V_usa1_3 OR  ARGB_V_usa1_3 ) =  OR_V_usa1_3   and
277
                  ( ARGA_V_usa1_4 OR  ARGB_V_usa1_4 ) =  OR_V_usa1_4   )
278
      report "***PASSED TEST: c07s02b01x00p01n02i01946" 
279
      severity NOTE;
280
    assert (   ( ARGA_C_csa1_1 OR  ARGB_C_csa1_1 ) =  OR_C_csa1_1   and
281
               ( ARGA_C_csa1_2 OR  ARGB_C_csa1_2 ) =  OR_C_csa1_2   and
282
               ( ARGA_C_csa1_3 OR  ARGB_C_csa1_3 ) =  OR_C_csa1_3   and
283
               ( ARGA_C_csa1_4 OR  ARGB_C_csa1_4 ) =  OR_C_csa1_4   and
284
               ( ARGA_C_usa1_1 OR  ARGB_C_usa1_1 ) =  OR_C_usa1_1   and
285
               ( ARGA_C_usa1_2 OR  ARGB_C_usa1_2 ) =  OR_C_usa1_2   and
286
               ( ARGA_C_usa1_3 OR  ARGB_C_usa1_3 ) =  OR_C_usa1_3   and
287
               ( ARGA_C_usa1_4 OR  ARGB_C_usa1_4 ) =  OR_C_usa1_4   and   
288
               ( ARGA_S_csa1_1 OR  ARGB_S_csa1_1 ) =  OR_S_csa1_1   and
289
               ( ARGA_S_csa1_2 OR  ARGB_S_csa1_2 ) =  OR_S_csa1_2   and
290
               ( ARGA_S_csa1_3 OR  ARGB_S_csa1_3 ) =  OR_S_csa1_3   and
291
               ( ARGA_S_csa1_4 OR  ARGB_S_csa1_4 ) =  OR_S_csa1_4   and
292
               ( ARGA_S_usa1_1 OR  ARGB_S_usa1_1 ) =  OR_S_usa1_1   and
293
               ( ARGA_S_usa1_2 OR  ARGB_S_usa1_2 ) =  OR_S_usa1_2   and
294
               ( ARGA_S_usa1_3 OR  ARGB_S_usa1_3 ) =  OR_S_usa1_3   and
295
               ( ARGA_S_usa1_4 OR  ARGB_S_usa1_4 ) =  OR_S_usa1_4   and
296
               ( ARGA_V_csa1_1 OR  ARGB_V_csa1_1 ) =  OR_V_csa1_1   and
297
               ( ARGA_V_csa1_2 OR  ARGB_V_csa1_2 ) =  OR_V_csa1_2   and
298
               ( ARGA_V_csa1_3 OR  ARGB_V_csa1_3 ) =  OR_V_csa1_3   and
299
               ( ARGA_V_csa1_4 OR  ARGB_V_csa1_4 ) =  OR_V_csa1_4   and
300
               ( ARGA_V_usa1_1 OR  ARGB_V_usa1_1 ) =  OR_V_usa1_1   and
301
               ( ARGA_V_usa1_2 OR  ARGB_V_usa1_2 ) =  OR_V_usa1_2   and
302
               ( ARGA_V_usa1_3 OR  ARGB_V_usa1_3 ) =  OR_V_usa1_3   and
303
               ( ARGA_V_usa1_4 OR  ARGB_V_usa1_4 ) =  OR_V_usa1_4   )
304
      report "***FAILED TEST: c07s02b01x00p01n02i01946 - Logical operator OR for any user-defined one-dimensional array type test failed." 
305
      severity ERROR;
306
    wait;
307
  END PROCESS TESTING;
308
309
END c07s02b01x00p01n02i01946arch;