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
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
|
-- Copyright (C) 2001 Bill Billowitch.
-- Some of the work to develop this test suite was done with Air Force
-- support. The Air Force and Bill Billowitch assume no
-- responsibilities for this software.
-- This file is part of VESTs (Vhdl tESTs).
-- VESTs is free software; you can redistribute it and/or modify it
-- under the terms of the GNU General Public License as published by the
-- Free Software Foundation; either version 2 of the License, or (at
-- your option) any later version.
-- VESTs is distributed in the hope that it will be useful, but WITHOUT
-- ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
-- FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
-- for more details.
-- You should have received a copy of the GNU General Public License
-- along with VESTs; if not, write to the Free Software Foundation,
-- Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
-- ---------------------------------------------------------------------
--
-- $Id: tc988.vhd,v 1.2 2001-10-26 16:30:02 paw Exp $
-- $Revision: 1.2 $
--
-- ---------------------------------------------------------------------
package c06s03b00x00p06n01i00988pkg is
------------------------------------USING ONLY WHITE MATTER---------------------------------
--------------------------------------------------------------------------------------------
---ACCESS TYPE FROM STANDARD PACKAGE
type boolean_ptr is access boolean ; --simple boolean type
type bit_ptr is access bit ; --simple bit type
type char_ptr is access character; --simple character type
type severity_level_ptr is access severity_level; --simple severity type
type integer_ptr is access integer; --simple integer type
type real_ptr is access real; --simple real type
type time_ptr is access time; --simple time type
type natural_ptr is access natural; --simple natural type
type positive_ptr is access positive; --simple positive type
type string_ptr is access string; --simple string type
type bit_vector_ptr is access bit_vector; --simple bit_vector type
--------------------------------------------------------------------------------------------
--UNCONSTRAINED ARRAY OF TYPES FROM STANDARD PACKAGE
--Index type is natural
type boolean_vector is array (natural range <>) of boolean;
type severity_level_vector is array (natural range <>) of severity_level;
type integer_vector is array (natural range <>) of integer;
type real_vector is array (natural range <>) of real;
type time_vector is array (natural range <>) of time;
type natural_vector is array (natural range <>) of natural;
type positive_vector is array (natural range <>) of positive;
---------------------------------------------------------------------------------------------
--CONSTRAINED ARRAY OF TYPES FROM STANDARD PACKAGE
--Index type is natural
subtype boolean_vector_st is boolean_vector(0 to 15);
subtype severity_level_vector_st is severity_level_vector(0 to 15);
subtype integer_vector_st is integer_vector(0 to 15);
subtype real_vector_st is real_vector(0 to 15);
subtype time_vector_st is time_vector(0 to 15);
subtype natural_vector_st is natural_vector(0 to 15);
subtype positive_vector_st is positive_vector(0 to 15);
---------------------------------------------------------------------------------------------
--CONSTRAINED ARRAY OF TYPES FROM STANDARD PACKAGE
--Index type is natural
type boolean_cons_vector is array (15 downto 0) of boolean;
type severity_level_cons_vector is array (15 downto 0) of severity_level;
type integer_cons_vector is array (15 downto 0) of integer;
type real_cons_vector is array (15 downto 0) of real;
type time_cons_vector is array (15 downto 0) of time;
type natural_cons_vector is array (15 downto 0) of natural;
type positive_cons_vector is array (15 downto 0) of positive;
---------------------------------------------------------------------------------------------
--CONSTRAINED ARRAY OF ARRAY OF TYPES FROM STANDARD PACKAGE
--Index type is natural
type boolean_cons_vectorofvector is array (0 to 15) of boolean_cons_vector;
type severity_level_cons_vectorofvector is array (0 to 15) of severity_level_cons_vector;
type integer_cons_vectorofvector is array (0 to 15) of integer_cons_vector ;
type real_cons_vectorofvector is array (0 to 15) of real_cons_vector;
type time_cons_vectorofvector is array (0 to 15) of time_cons_vector;
type natural_cons_vectorofvector is array (0 to 15) of natural_cons_vector;
type positive_cons_vectorofvector is array (0 to 15) of positive_cons_vector;
---------------------------------------------------------------------------------------------
--UNCONSTRAINED 2-DIMENSIONAL ARRAY OF TYPES FROM STANDARD PACKAGE
--Index type is natural
type s2boolean_vector is array (natural range <>,natural range <>) of boolean;
type s2bit_vector is array (natural range<>,natural range <>) of bit;
type s2char_vector is array (natural range<>,natural range <>) of character;
type s2severity_level_vector is array (natural range <>,natural range <>) of severity_level;
type s2integer_vector is array (natural range <>,natural range <>) of integer;
type s2real_vector is array (natural range <>,natural range <>) of real;
type s2time_vector is array (natural range <>,natural range <>) of time;
type s2natural_vector is array (natural range <>,natural range <>) of natural;
type s2positive_vector is array (natural range <>,natural range <>) of positive;
----------------------------------------------------------------------------------------------
--CONSTRAINED 2-DIMENSIONAL ARRAY OF TYPES FROM STANDARD PACKAGE
--Index type is natural
type column is range 1 to 64;
type row is range 1 to 1024;
type s2boolean_cons_vector is array (row,column) of boolean;
type s2bit_cons_vector is array (row,column) of bit;
type s2char_cons_vector is array (row,column) of character;
type s2severity_level_cons_vector is array (row,column) of severity_level;
type s2integer_cons_vector is array (row,column) of integer;
type s2real_cons_vector is array (row,column) of real;
type s2time_cons_vector is array (row,column) of time;
type s2natural_cons_vector is array (row,column) of natural;
type s2positive_cons_vector is array (row,column) of positive;
-----------------------------------------------------------------------------------------------
--RECORD WITH FIELDS FROM STANDARD PACKAGE
type record_std_package is record
a: boolean;
b: bit;
c:character;
d:severity_level;
e:integer;
f:real;
g:time;
h:natural;
i:positive;
end record;
-----------------------------------------------------------------------------------------------
--RECORD WITH FIELDS AS UNCONSTRAINT ARRAYS
type record_array_st is record
a:boolean_vector_st;
b:severity_level_vector_st;
c:integer_vector_st;
d:real_vector_st;
e:time_vector_st;
f:natural_vector_st;
g:positive_vector_st;
end record;
-----------------------------------------------------------------------------------------------
--RECORD WITH FIELDS AS CONSTRAINT ARRAYS
type record_cons_array is record
a:boolean_cons_vector;
b:severity_level_cons_vector;
c:integer_cons_vector;
d:real_cons_vector;
e:time_cons_vector;
f:natural_cons_vector;
g:positive_cons_vector;
end record;
-----------------------------------------------------------------------------------------------
--RECORD WITH FIELDS AS 2-DIMENSIONAL CONSTRAINED ARRAYS
type record_2cons_array is record
a:s2boolean_cons_vector;
b:s2bit_cons_vector;
c:s2char_cons_vector;
d:s2severity_level_cons_vector;
e:s2integer_cons_vector;
f:s2real_cons_vector;
g:s2time_cons_vector;
h:s2natural_cons_vector;
i:s2positive_cons_vector;
end record;
-----------------------------------------------------------------------------------------------
--RECORD WITH FIELDS AS 2-DIMENSIONAL CONSTRAINED ARRAYS OF ARRAY
type record_cons_arrayofarray is record
a:boolean_cons_vectorofvector;
b:severity_level_cons_vectorofvector;
c:integer_cons_vectorofvector;
d:real_cons_vectorofvector;
e:time_cons_vectorofvector;
f:natural_cons_vectorofvector;
g:positive_cons_vectorofvector;
end record;
-----------------------------------------------------------------------------------------------
type record_of_ptr is record
a:boolean_ptr ; --simple boolean type
b:bit_ptr; --simple bit type
c:char_ptr; --simple character type
e:severity_level_ptr; --simple severity type
f:integer_ptr; --simple integer type
g: real_ptr ; --simple real type
h:time_ptr; --simple time type
i: natural_ptr; --simple natural type
j:positive_ptr; --simple positive type
k: string_ptr; --simple string type
l: bit_vector_ptr; --simple bit_vector type
end record;
-----------------------------------------------------------------------------------------------
type record_of_records is record
a: record_std_package;
c: record_cons_array;
e: record_2cons_array;
g: record_cons_arrayofarray;
h: record_of_ptr;
i: record_array_st;
end record;
-----------------------------------------------------------------------------------------------
--ACCESS TYPES FOR ABOVE
-----------------------------------------------------------------------------------------------
type boolean_vector_ptr is access boolean_vector;
type severity_level_vector_ptr is access severity_level_vector;
type integer_vector_ptr is access integer_vector;
type real_vector_ptr is access real_vector;
type time_vector_ptr is access time_vector;
type natural_vector_ptr is access natural_vector;
type positive_vector_ptr is access positive_vector;
-----------------------------------------------------------------------------------------------
type boolean_vector_st_ptr is access boolean_vector_st;--(0 to 15);
type severity_level_vector_st_ptr is access severity_level_vector_st;--(0 to 15);
type integer_vector_st_ptr is access integer_vector_st;--(0 to 15);
type real_vector_st_ptr is access real_vector_st;--(0 to 15);
type time_vector_st_ptr is access time_vector_st;--(0 to 15);
type natural_vector_st_ptr is access natural_vector_st;--(0 to 15);
type positive_vector_st_ptr is access positive_vector_st;--(0 to 15);
-----------------------------------------------------------------------------------------------
type boolean_cons_vector_ptr is access boolean_cons_vector;
type severity_level_cons_vector_ptr is access severity_level_cons_vector;
type integer_cons_vector_ptr is access integer_cons_vector;
type real_cons_vector_ptr is access real_cons_vector;
type time_cons_vector_ptr is access time_cons_vector;
type natural_cons_vector_ptr is access natural_cons_vector;
type positive_cons_vector_ptr is access positive_cons_vector;
-----------------------------------------------------------------------------------------------
type boolean_cons_vectorofvector_ptr is access boolean_cons_vectorofvector;
type sev_lvl_cons_vecofvec_ptr is access severity_level_cons_vectorofvector;
type integer_cons_vectorofvector_ptr is access integer_cons_vectorofvector;
type real_cons_vectorofvector_ptr is access real_cons_vectorofvector;
type time_cons_vectorofvector_ptr is access time_cons_vectorofvector;
type natural_cons_vectorofvector_ptr is access natural_cons_vectorofvector;
type posi_cons_vecofvec_ptr is access positive_cons_vectorofvector;
-----------------------------------------------------------------------------------------------
type s2boolean_vector_ptr is access s2boolean_vector;
type s2bit_vector_ptr is access s2bit_vector;
type s2char_vector_ptr is access s2char_vector;
type s2severity_level_vector_ptr is access s2severity_level_vector;
type s2integer_vector_ptr is access s2integer_vector;
type s2real_vector_ptr is access s2real_vector;
type s2time_vector_ptr is access s2time_vector;
type s2positive_vector_ptr is access s2positive_vector;
-----------------------------------------------------------------------------------------------
type s2boolean_cons_vector_ptr is access s2boolean_cons_vector;
type s2bit_cons_vector_ptr is access s2bit_cons_vector;
type s2char_cons_vector_ptr is access s2char_cons_vector;
type s2sev_lvl_cons_vec_ptr is access s2severity_level_cons_vector;
type s2integer_cons_vector_ptr is access s2integer_cons_vector;
type s2real_cons_vector_ptr is access s2real_cons_vector;
type s2time_cons_vector_ptr is access s2time_cons_vector;
type s2natural_cons_vector_ptr is access s2natural_cons_vector;
type s2positive_cons_vector_ptr is access s2positive_cons_vector;
----------------------------------------------------------------------------------------------
type record_std_package_ptr is access record_std_package;
type record_cons_array_ptr is access record_cons_array;
type record_2cons_array_ptr is access record_2cons_array;
type record_cons_arrayofarray_ptr is access record_cons_arrayofarray;
type record_of_ptr_ptr is access record_of_ptr;
type record_of_records_ptr is access record_of_records;
type record_array_st_ptr is access record_array_st;
-----------------------------------------------------------------------------------------------
-------------------------USING PARTIAL GRAY & PARTIAL WHITE MATTER-----------------------------
type four_value is ('Z','0','1','X'); --enumerated type
type four_value_map is array(four_value) of boolean;
subtype binary is four_value range '0' to '1';
type four_value_vector is array (natural range <>) of four_value; --unconstraint array of
type byte is array(0 to 7) of bit;
subtype word is bit_vector(0 to 15); --constrained array
function resolution(i:in four_value_vector) return four_value; --bus resolution
subtype four_value_state is resolution four_value; --function type
type state_vector is array (natural range <>) of four_value_state; --unconstraint array of
constant size :integer := 63;
type primary_memory is array(0 to size) of word; --array of an array
type primary_memory_module is --record with field
record --as an array
enable:binary;
memory_number:primary_memory;
end record;
type whole_memory is array(0 to size) of primary_memory_module; --array of a complex record
type current is range -2147483647 to +2147483647
units
nA;
uA = 1000 nA;
mA = 1000 uA;
A = 1000 mA;
end units;
type resistance is range -2147483647 to +2147483647
units
uOhm;
mOhm = 1000 uOhm;
Ohm = 1000 mOhm;
KOhm = 1000 Ohm;
end units;
subtype delay is integer range 1 to 10;
type four_value_ptr is access four_value;
type four_value_map_ptr is access four_value_map;
type binary_ptr is access binary;
type four_value_vector_ptr is access four_value_vector; --ennumerated type
type byte_ptr is access byte;
type word_ptr is access word;
type four_value_state_ptr is access four_value_state;
type state_vector_ptr is access state_vector; --type returned by resolu.
type primary_memory_ptr is access primary_memory;
type primary_memory_module_ptr is access primary_memory_module;
type whole_memory_ptr is access whole_memory;
type current_ptr is access current;
type resistance_ptr is access resistance;
type delay_ptr is access delay;
-------------------------------------------------------------------------------------------
constant C1 : boolean := true;
constant C2 : bit := '1';
constant C3 : character := 's';
constant C4 : severity_level := note;
constant C5 : integer := 3;
constant C6 : real := 3.0;
constant C7 : time := 3 ns;
constant C8 : natural := 1;
constant C9 : positive := 1;
constant C10 : string := "shishir";
constant C11 : bit_vector := B"0011";
constant C12 : boolean_vector := (true,false);
constant C13 : severity_level_vector := (note,error);
constant C14 : integer_vector := (1,2,3,4);
constant C15 : real_vector := (1.0,2.0,3.0,4.0);
constant C16 : time_vector := (1 ns, 2 ns, 3 ns, 4 ns);
constant C17 : natural_vector := (1,2,3,4);
constant C18 : positive_vector := (1,2,3,4);
constant C19 : boolean_cons_vector := (others => C1);
constant C20 : severity_level_cons_vector := (others => C4);
constant C21 : integer_cons_vector := (others => C5);
constant C22 : real_cons_vector := (others => C6);
constant C23 : time_cons_vector := (others => C7);
constant C24 : natural_cons_vector := (others => C8);
constant C25 : positive_cons_vector := (others => C9);
constant C70 : boolean_vector_st :=(others => C1);
constant C71 : severity_level_vector_st:= (others => C4);
constant C72 : integer_vector_st:=(others => C5);
constant C73 : real_vector_st:=(others => C6);
constant C74 : time_vector_st:=(others => C7);
constant C75 : natural_vector_st:=(others => C8);
constant C76 : positive_vector_st:=(others => C9);
constant C26 : boolean_cons_vectorofvector := (others => (others => C1));
constant C27 : severity_level_cons_vectorofvector := (others => (others => C4));
constant C28 : integer_cons_vectorofvector := (others => (others => C5));
constant C29 : real_cons_vectorofvector := (others => (others => C6));
constant C30 : time_cons_vectorofvector := (others => (others => C7));
constant C31 : natural_cons_vectorofvector := (others => (others => C8));
constant C32 : positive_cons_vectorofvector := (others => (others => C9));
--constant C33 : s2boolean_vector := ((true,true),(false,false));
--constant C34 : s2bit_vector := ((B"0011"),(B"1100"));
--constant C35 : s2char_vector := (('s','h'),('i','s'));
--constant C36 : s2severity_level_vector := ((note,error),(error,note));
--constant C37 : s2integer_vector := ((1,2,3,4),(4,3,2,1));
--constant C38 : s2real_vector := ((1.0,2.0,3.0,4.0),(4.0,3.0,2.0,1.0));
--constant C39 : s2time_vector := ((1 ns, 2 ns, 3 ns, 4 ns),(1 ns, 2 ns, 3 ns, 4 ns));
--constant C40 : s2positive_vector := ((1,2,3,4),(4,3,2,1));
constant C41 : s2boolean_cons_vector := (others =>(others => C1));
constant C42 : s2bit_cons_vector := (others => (others => C2));
constant C43 : s2char_cons_vector := (others =>(others => C3));
constant C44 : s2severity_level_cons_vector := (others => (others => C4));
constant C45 : s2integer_cons_vector := (others => (others => C5));
constant C46 : s2real_cons_vector := (others =>(others => C6));
constant C47 : s2time_cons_vector := (others =>(others => C7));
constant C48 : s2natural_cons_vector := (others =>(others => C8));
constant C49 : s2positive_cons_vector := (others => (others => C9));
constant C50 : record_std_package := (C1,C2,C3,C4,C5,C6,C7,C8,C9);
constant C51 : record_cons_array := (C19,C20,C21,C22,C23,C24,C25);
constant C52 : record_2cons_array := (C41,C42,C43,C44,C45,C46,C47,C48,C49);
constant C53 : record_cons_arrayofarray := (C26,C27,C28,C29,C30,C31,C32);
--constant C54 : record_of_ptr := (NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL);
--constant C54a : record_array_st := (C70,C71,C72,C73,C74,C75,C76);
--constant C55 : record_of_records := (C50,C51,C52,C53,C54,C54a);
constant C56 : four_value := 'Z';
constant C57 : four_value_map := (true,true,true,true);
constant C58 : binary := '0';
constant C59 : four_value_vector := ('1','0','1','0');
constant C60 : byte := (others => '0');
constant C61 : word := (others =>'0' );
constant C62 : four_value_state := 'Z';
constant C63 : state_vector := ('Z','Z','Z','Z');
constant C64 : primary_memory := (others => C61);
constant C65 : primary_memory_module := ('1',C64);
constant C66 : whole_memory := (others => C65);
constant C67 : current := 1 A;
constant C68 : resistance := 1 Ohm;
constant C69 : delay := 2;
end c06s03b00x00p06n01i00988pkg;
package body c06s03b00x00p06n01i00988pkg is
function resolution(i:in four_value_vector) return four_value is
variable temp :four_value := 'Z';
begin
return temp;
end;
end c06s03b00x00p06n01i00988pkg;
use work.c06s03b00x00p06n01i00988pkg.all;
ENTITY c06s03b00x00p06n01i00988ent IS
END c06s03b00x00p06n01i00988ent;
ARCHITECTURE c06s03b00x00p06n01i00988arch OF c06s03b00x00p06n01i00988ent IS
BEGIN
TESTING: PROCESS
variable var1 : boolean_ptr := new boolean;
variable var2 : bit_ptr := new bit;
variable var3 : char_ptr := new character;
variable var4 : severity_level_ptr := new severity_level;
variable var5 : integer_ptr := new integer;
variable var6 : real_ptr := new real;
variable var7 : time_ptr := new time;
variable var8 : natural_ptr := new natural;
variable var9 : positive_ptr := new positive;
variable var10 : string_ptr := new string(1 to 7);
variable var11 : bit_vector_ptr := new bit_vector(0 to 3);
variable var12 : boolean_vector_ptr := new boolean_vector(0 to 1);
variable var13 : severity_level_vector_ptr := new severity_level_vector(0 to 1);
variable var14 : integer_vector_ptr := new integer_vector(0 to 3);
variable var15 : real_vector_ptr := new real_vector(0 to 3);
variable var16 : time_vector_ptr := new time_vector(0 to 3);
variable var17 : natural_vector_ptr := new natural_vector(0 to 3);
variable var18 : positive_vector_ptr := new positive_vector( 0 to 3);
variable var19 : boolean_cons_vector_ptr := new boolean_cons_vector;
variable var20 : severity_level_cons_vector_ptr := new severity_level_cons_vector;
variable var21 : integer_cons_vector_ptr := new integer_cons_vector;
variable var22 : real_cons_vector_ptr := new real_cons_vector;
variable var23 : time_cons_vector_ptr := new time_cons_vector;
variable var24 : natural_cons_vector_ptr := new natural_cons_vector;
variable var25 : positive_cons_vector_ptr := new positive_cons_vector;
variable var26 : boolean_cons_vectorofvector_ptr := new boolean_cons_vectorofvector;
variable var27 : sev_lvl_cons_vecofvec_ptr := new severity_level_cons_vectorofvector;
variable var28 : integer_cons_vectorofvector_ptr := new integer_cons_vectorofvector;
variable var29 : real_cons_vectorofvector_ptr := new real_cons_vectorofvector;
variable var30 : time_cons_vectorofvector_ptr := new time_cons_vectorofvector;
variable var31 : natural_cons_vectorofvector_ptr := new natural_cons_vectorofvector;
variable var32 : posi_cons_vecofvec_ptr := new positive_cons_vectorofvector;
--variable var33 : s2boolean_vector_ptr := new s2boolean_vector;
--variable var34 : s2bit_vector_ptr := new s2bit_vector;
--variable var35 : s2char_vector_ptr := new s2char_vector;
--variable var36 : s2severity_level_vector_ptr := new s2severity_level_vector;
--variable var37 : s2integer_vector_ptr := new s2integer_vector;
--variable var38 : s2real_vector_ptr := new s2real_vector;
--variable var39 : s2time_vector_ptr := new s2time_vector;
--variable var40 : s2positive_vector_ptr := new s2positive_vector;
variable var41 : s2boolean_cons_vector_ptr := new s2boolean_cons_vector;
variable var42 : s2bit_cons_vector_ptr := new s2bit_cons_vector;
variable var43 : s2char_cons_vector_ptr := new s2char_cons_vector;
variable var44 : s2sev_lvl_cons_vec_ptr := new s2severity_level_cons_vector;
variable var45 : s2integer_cons_vector_ptr := new s2integer_cons_vector;
variable var46 : s2real_cons_vector_ptr := new s2real_cons_vector;
variable var47 : s2time_cons_vector_ptr := new s2time_cons_vector;
variable var48 : s2natural_cons_vector_ptr := new s2natural_cons_vector;
variable var49 : s2positive_cons_vector_ptr := new s2positive_cons_vector;
variable var50 : record_std_package_ptr := new record_std_package;
variable var51 : record_cons_array_ptr := new record_cons_array;
variable var52 : record_2cons_array_ptr := new record_2cons_array;
variable var53 : record_cons_arrayofarray_ptr := new record_cons_arrayofarray;
variable var54 : record_of_ptr_ptr := new record_of_ptr;
variable var55 : record_of_records_ptr := new record_of_records;
variable var56 : four_value_ptr := new four_value;
variable var57 : four_value_map_ptr := new four_value_map;
variable var58 : binary_ptr := new binary;
variable var59 : four_value_vector_ptr := new four_value_vector(0 to 3);
variable var60 : byte_ptr := new byte;
variable var61 : word_ptr := new word;
variable var62 : four_value_state_ptr := new four_value_state;
variable var63 : state_vector_ptr := new state_vector(0 to 3);
variable var64 : primary_memory_ptr := new primary_memory;
variable var65 : primary_memory_module_ptr := new primary_memory_module;
variable var66 : whole_memory_ptr := new whole_memory;
variable var67 : current_ptr := new current;
variable var68 : resistance_ptr := new resistance;
variable var69 : delay_ptr := new delay;
variable var70 : boolean_vector_st_ptr := new boolean_vector_st;
variable var71 : severity_level_vector_st_ptr := new severity_level_vector_st;
variable var72 : integer_vector_st_ptr := new integer_vector_st;
variable var73 : real_vector_st_ptr := new real_vector_st;
variable var74 : time_vector_st_ptr := new time_vector_st;
variable var75 : natural_vector_st_ptr := new natural_vector_st;
variable var76 : positive_vector_st_ptr := new positive_vector_st;
variable var54a : record_array_st_ptr := new record_array_st;
variable vari1 : boolean := C1;
variable vari2 : bit := C2;
variable vari3 : character := C3;
variable vari4 : severity_level := C4;
variable vari5 : integer := C5;
variable vari6 : real := C6;
variable vari7 : time := C7;
variable vari8 : natural := C8;
variable vari9 : positive := C9;
variable vari10 : string(1 to 7) := C10;
variable vari11 : bit_vector(0 to 3):= C11;
variable vari12 : boolean_vector(0 to 1):= C12;
variable vari13 : severity_level_vector(0 to 1) := C13;
variable vari14 : integer_vector(0 to 3) := C14;
variable vari15 : real_vector(0 to 3):= C15;
variable vari16 : time_vector(0 to 3):= C16;
variable vari17 : natural_vector(0 to 3):= C17;
variable vari18 : positive_vector(0 to 3):= C18;
variable vari19 : boolean_cons_vector := C19;
variable vari20 : severity_level_cons_vector := C20;
variable vari21 : integer_cons_vector := C21;
variable vari22 : real_cons_vector := C22;
variable vari23 : time_cons_vector := C23;
variable vari24 : natural_cons_vector := C24;
variable vari25 : positive_cons_vector := C25;
variable vari26 : boolean_cons_vectorofvector := C26;
variable vari27 : severity_level_cons_vectorofvector := C27;
variable vari28 : integer_cons_vectorofvector := C28;
variable vari29 : real_cons_vectorofvector := C29;
variable vari30 : time_cons_vectorofvector := C30;
variable vari31 : natural_cons_vectorofvector := C31;
variable vari32 : positive_cons_vectorofvector := C32;
--variable vari33 : s2boolean_vector := C33;
--variable vari34 : s2bit_vector := C34;
--variable vari35 : s2char_vector := C35;
--variable vari36 : s2severity_level_vector := C36;
--variable vari37 : s2integer_vector := C37;
--variable vari38 : s2real_vector := C38;
--variable vari39 : s2time_vector := C39;
--variable vari40 : s2positive_vector := C40;
variable vari41 : s2boolean_cons_vector := C41;
variable vari42 : s2bit_cons_vector := C42;
variable vari43 : s2char_cons_vector := C43;
variable vari44 : s2severity_level_cons_vector := C44;
variable vari45 : s2integer_cons_vector := C45;
variable vari46 : s2real_cons_vector := C46;
variable vari47 : s2time_cons_vector := C47;
variable vari48 : s2natural_cons_vector := C48;
variable vari49 : s2positive_cons_vector := C49;
variable vari50 : record_std_package := C50;
variable vari51 : record_cons_array := C51;
variable vari52 : record_2cons_array := C52;
variable vari53 : record_cons_arrayofarray := C53;
--variable vari54 : record_of_ptr := C54;
--variable vari55 : record_of_records := C55;
variable vari56 : four_value := C56;
variable vari57 : four_value_map := C57;
variable vari58 : binary := C58;
variable vari59 : four_value_vector(0 to 3):= C59;
variable vari60 : byte := C60;
variable vari61 : word := C61;
variable vari62 : four_value_state := C62;
variable vari63 : state_vector(0 to 3):= C63;
variable vari64 : primary_memory := C64;
variable vari65 : primary_memory_module := C65;
variable vari66 : whole_memory := C66;
variable vari67 : current := C67;
variable vari68 : resistance := C68;
variable vari69 : delay := C69;
variable vari70 : boolean_vector_st := C70;
variable vari71 : severity_level_vector_st := C71;
variable vari72 : integer_vector_st := C72;
variable vari73 : real_vector_st := C73;
variable vari74 : time_vector_st := C74;
variable vari75 : natural_vector_st := C75;
variable vari76 : positive_vector_st := C76;
--variable vari54a : record_array_st := C54a;
BEGIN
var1.all := vari1;
var2.all := vari2;
var3.all := vari3;
var4.all := vari4;
var5.all := vari5;
var6.all := vari6;
var7.all := vari7;
var8.all := vari8;
var9.all := vari9;
var10.all := vari10;
var11.all := vari11;
var12.all := vari12;
var13.all := vari13;
var14.all := vari14;
var15.all := vari15;
var16.all := vari16;
var17.all := vari17;
var18.all := vari18;
var19.all := vari19;
var20.all := vari20;
var21.all := vari21;
var22.all := vari22;
var23.all := vari23;
var24.all := vari24;
var25.all := vari25;
var26.all := vari26;
var27.all := vari27;
var28.all := vari28;
var29.all := vari29;
var30.all := vari30;
var31.all := vari31;
var32.all := vari32;
--var33.all := vari33;
--var34.all := vari34;
--var35.all := vari35;
--var36.all := vari36;
--var37.all := vari37;
--var38.all := vari38;
--var39.all := vari39;
--var40.all := vari40;
var41.all := vari41;
var42.all := vari42;
var43.all := vari43;
var44.all := vari44;
var45.all := vari45;
var46.all := vari46;
var47.all := vari47;
var48.all := vari48;
var49.all := vari49;
var50.all := vari50;
var51.all := vari51;
var52.all := vari52;
var53.all := vari53;
--var54.all := vari54;
--var55.all := vari55;
var56.all := vari56;
var57.all := vari57;
var58.all := vari58;
var59.all := vari59;
var60.all := vari60;
var61.all := vari61;
var62.all := vari62;
var63.all := vari63;
var64.all := vari64;
var65.all := vari65;
var66.all := vari66;
var67.all := vari67;
var68.all := vari68;
var69.all := vari69;
var70.all := vari70;
var71.all := vari71;
var72.all := vari72;
var73.all := vari73;
var74.all := vari74;
var75.all := vari75;
var76.all := vari76;
--var54a.all := vari54a;
ASSERT var1.all = C1 REPORT "Improper Assignment of var1" SEVERITY FAILURE;
ASSERT var2.all = C2 REPORT "Improper Assignment of var2" SEVERITY FAILURE;
ASSERT var3.all = C3 REPORT "Improper Assignment of var3" SEVERITY FAILURE;
ASSERT var4.all = C4 REPORT "Improper Assignment of var4" SEVERITY FAILURE;
ASSERT var5.all = C5 REPORT "Improper Assignment of var5" SEVERITY FAILURE;
ASSERT var6.all = C6 REPORT "Improper Assignment of var6" SEVERITY FAILURE;
ASSERT var7.all = C7 REPORT "Improper Assignment of var7" SEVERITY FAILURE;
ASSERT var8.all = C8 REPORT "Improper Assignment of var8" SEVERITY FAILURE;
ASSERT var9.all = C9 REPORT "Improper Assignment of var9" SEVERITY FAILURE;
ASSERT var10.all = C10 REPORT "Improper Assignment of var10" SEVERITY FAILURE;
ASSERT var11.all = C11 REPORT "Improper Assignment of var11" SEVERITY FAILURE;
ASSERT var12.all = C12 REPORT "Improper Assignment of var12" SEVERITY FAILURE;
ASSERT var13.all = C13 REPORT "Improper Assignment of var13" SEVERITY FAILURE;
ASSERT var14.all = C14 REPORT "Improper Assignment of var14" SEVERITY FAILURE;
ASSERT var15.all = C15 REPORT "Improper Assignment of var15" SEVERITY FAILURE;
ASSERT var16.all = C16 REPORT "Improper Assignment of var16" SEVERITY FAILURE;
ASSERT var17.all = C17 REPORT "Improper Assignment of var17" SEVERITY FAILURE;
ASSERT var18.all = C18 REPORT "Improper Assignment of var18" SEVERITY FAILURE;
ASSERT var19.all = C19 REPORT "Improper Assignment of var19" SEVERITY FAILURE;
ASSERT var20.all = C20 REPORT "Improper Assignment of var20" SEVERITY FAILURE;
ASSERT var21.all = C21 REPORT "Improper Assignment of var21" SEVERITY FAILURE;
ASSERT var22.all = C22 REPORT "Improper Assignment of var22" SEVERITY FAILURE;
ASSERT var23.all = C23 REPORT "Improper Assignment of var23" SEVERITY FAILURE;
ASSERT var24.all = C24 REPORT "Improper Assignment of var24" SEVERITY FAILURE;
ASSERT var25.all = C25 REPORT "Improper Assignment of var25" SEVERITY FAILURE;
ASSERT var26.all = C26 REPORT "Improper Assignment of var26" SEVERITY FAILURE;
ASSERT var27.all = C27 REPORT "Improper Assignment of var27" SEVERITY FAILURE;
ASSERT var28.all = C28 REPORT "Improper Assignment of var28" SEVERITY FAILURE;
ASSERT var29.all = C29 REPORT "Improper Assignment of var29" SEVERITY FAILURE;
ASSERT var30.all = C30 REPORT "Improper Assignment of var30" SEVERITY FAILURE;
ASSERT var31.all = C31 REPORT "Improper Assignment of var31" SEVERITY FAILURE;
ASSERT var32.all = C32 REPORT "Improper Assignment of var32" SEVERITY FAILURE;
--ASSERT var33.all = C33 REPORT "Improper Assignment of var33" SEVERITY FAILURE;
--ASSERT var34.all = C34 REPORT "Improper Assignment of var34" SEVERITY FAILURE;
--ASSERT var35.all = C35 REPORT "Improper Assignment of var35" SEVERITY FAILURE;
--ASSERT var36.all = C36 REPORT "Improper Assignment of var36" SEVERITY FAILURE;
--ASSERT var37.all = C37 REPORT "Improper Assignment of var37" SEVERITY FAILURE;
--ASSERT var38.all = C38 REPORT "Improper Assignment of var38" SEVERITY FAILURE;
--ASSERT var39.all = C39 REPORT "Improper Assignment of var39" SEVERITY FAILURE;
--ASSERT var40.all = C40 REPORT "Improper Assignment of var40" SEVERITY FAILURE;
ASSERT var41.all = C41 REPORT "Improper Assignment of var41" SEVERITY FAILURE;
ASSERT var42.all = C42 REPORT "Improper Assignment of var42" SEVERITY FAILURE;
ASSERT var43.all = C43 REPORT "Improper Assignment of var43" SEVERITY FAILURE;
ASSERT var44.all = C44 REPORT "Improper Assignment of var44" SEVERITY FAILURE;
ASSERT var45.all = C45 REPORT "Improper Assignment of var45" SEVERITY FAILURE;
ASSERT var46.all = C46 REPORT "Improper Assignment of var46" SEVERITY FAILURE;
ASSERT var47.all = C47 REPORT "Improper Assignment of var47" SEVERITY FAILURE;
ASSERT var48.all = C48 REPORT "Improper Assignment of var48" SEVERITY FAILURE;
ASSERT var49.all = C49 REPORT "Improper Assignment of var49" SEVERITY FAILURE;
ASSERT var50.all = C50 REPORT "Improper Assignment of var50" SEVERITY FAILURE;
ASSERT var51.all = C51 REPORT "Improper Assignment of var51" SEVERITY FAILURE;
ASSERT var52.all = C52 REPORT "Improper Assignment of var52" SEVERITY FAILURE;
ASSERT var53.all = C53 REPORT "Improper Assignment of var53" SEVERITY FAILURE;
--ASSERT var54.all = C54 REPORT "Improper Assignment of var54" SEVERITY FAILURE;
--ASSERT var54a.all = C54a REPORT "Improper Assignment of var54a" SEVERITY FAILURE;
--ASSERT var55.all = C55 REPORT "Improper Assignment of var55" SEVERITY FAILURE;
ASSERT var56.all = C56 REPORT "Improper Assignment of var56" SEVERITY FAILURE;
ASSERT var57.all = C57 REPORT "Improper Assignment of var57" SEVERITY FAILURE;
ASSERT var58.all = C58 REPORT "Improper Assignment of var58" SEVERITY FAILURE;
ASSERT var59.all = C59 REPORT "Improper Assignment of var59" SEVERITY FAILURE;
ASSERT var60.all = C60 REPORT "Improper Assignment of var60" SEVERITY FAILURE;
ASSERT var61.all = C61 REPORT "Improper Assignment of var61" SEVERITY FAILURE;
ASSERT var62.all = C62 REPORT "Improper Assignment of var62" SEVERITY FAILURE;
ASSERT var63.all = C63 REPORT "Improper Assignment of var63" SEVERITY FAILURE;
ASSERT var64.all = C64 REPORT "Improper Assignment of var64" SEVERITY FAILURE;
ASSERT var65.all = C65 REPORT "Improper Assignment of var65" SEVERITY FAILURE;
ASSERT var66.all = C66 REPORT "Improper Assignment of var66" SEVERITY FAILURE;
ASSERT var67.all = C67 REPORT "Improper Assignment of var67" SEVERITY FAILURE;
ASSERT var68.all = C68 REPORT "Improper Assignment of var68" SEVERITY FAILURE;
ASSERT var69.all = C69 REPORT "Improper Assignment of var69" SEVERITY FAILURE;
ASSERT var70.all = C70 REPORT "Improper Assignment of var70" SEVERITY FAILURE;
ASSERT var71.all = C71 REPORT "Improper Assignment of var71" SEVERITY FAILURE;
ASSERT var72.all = C72 REPORT "Improper Assignment of var72" SEVERITY FAILURE;
ASSERT var73.all = C73 REPORT "Improper Assignment of var73" SEVERITY FAILURE;
ASSERT var74.all = C74 REPORT "Improper Assignment of var74" SEVERITY FAILURE;
ASSERT var75.all = C75 REPORT "Improper Assignment of var75" SEVERITY FAILURE;
ASSERT var76.all = C76 REPORT "Improper Assignment of var76" SEVERITY FAILURE;
assert NOT( var1.all = C1 and
var2.all = C2 and
var3.all = C3 and
var4.all = C4 and
var5.all = C5 and
var6.all = C6 and
var7.all = C7 and
var8.all = C8 and
var9.all = C9 and
var10.all = C10 and
var11.all = C11 and
var12.all = C12 and
var13.all = C13 and
var14.all = C14 and
var15.all = C15 and
var16.all = C16 and
var17.all = C17 and
var18.all = C18 and
var19.all = C19 and
var20.all = C20 and
var21.all = C21 and
var22.all = C22 and
var23.all = C23 and
var24.all = C24 and
var25.all = C25 and
var26.all = C26 and
var27.all = C27 and
var28.all = C28 and
var29.all = C29 and
var30.all = C30 and
var31.all = C31 and
var32.all = C32 and
-- var33.all = C33 and
-- var34.all = C34 and
-- var35.all = C35 and
-- var36.all = C36 and
-- var37.all = C37 and
-- var38.all = C38 and
-- var39.all = C39 and
-- var40.all = C40 and
var41.all = C41 and
var42.all = C42 and
var43.all = C43 and
var44.all = C44 and
var45.all = C45 and
var46.all = C46 and
var47.all = C47 and
var48.all = C48 and
var49.all = C49 and
var50.all = C50 and
var51.all = C51 and
var52.all = C52 and
var53.all = C53 and
-- var54.all = C54 and
-- var54a.all = C54a and
-- var55.all = C55 and
var56.all = C56 and
var57.all = C57 and
var58.all = C58 and
var59.all = C59 and
var60.all = C60 and
var61.all = C61 and
var62.all = C62 and
var63.all = C63 and
var64.all = C64 and
var65.all = C65 and
var66.all = C66 and
var67.all = C67 and
var68.all = C68 and
var69.all = C69 and
var70.all = C70 and
var71.all = C71 and
var72.all = C72 and
var73.all = C73 and
var74.all = C74 and
var75.all = C75 and
var76.all = C76 )
report "***PASSED TEST: c06s03b00x00p06n01i00988"
severity NOTE;
assert ( var1.all = C1 and
var2.all = C2 and
var3.all = C3 and
var4.all = C4 and
var5.all = C5 and
var6.all = C6 and
var7.all = C7 and
var8.all = C8 and
var9.all = C9 and
var10.all = C10 and
var11.all = C11 and
var12.all = C12 and
var13.all = C13 and
var14.all = C14 and
var15.all = C15 and
var16.all = C16 and
var17.all = C17 and
var18.all = C18 and
var19.all = C19 and
var20.all = C20 and
var21.all = C21 and
var22.all = C22 and
var23.all = C23 and
var24.all = C24 and
var25.all = C25 and
var26.all = C26 and
var27.all = C27 and
var28.all = C28 and
var29.all = C29 and
var30.all = C30 and
var31.all = C31 and
var32.all = C32 and
-- var33.all = C33 and
-- var34.all = C34 and
-- var35.all = C35 and
-- var36.all = C36 and
-- var37.all = C37 and
-- var38.all = C38 and
-- var39.all = C39 and
-- var40.all = C40 and
var41.all = C41 and
var42.all = C42 and
var43.all = C43 and
var44.all = C44 and
var45.all = C45 and
var46.all = C46 and
var47.all = C47 and
var48.all = C48 and
var49.all = C49 and
var50.all = C50 and
var51.all = C51 and
var52.all = C52 and
var53.all = C53 and
-- var54.all = C54 and
-- var54a.all = C54a and
-- var55.all = C55 and
var56.all = C56 and
var57.all = C57 and
var58.all = C58 and
var59.all = C59 and
var60.all = C60 and
var61.all = C61 and
var62.all = C62 and
var63.all = C63 and
var64.all = C64 and
var65.all = C65 and
var66.all = C66 and
var67.all = C67 and
var68.all = C68 and
var69.all = C69 and
var70.all = C70 and
var71.all = C71 and
var72.all = C72 and
var73.all = C73 and
var74.all = C74 and
var75.all = C75 and
var76.all = C76 )
report "***FAILED TEST: c06s03b00x00p06n01i00988 - Prefix of a selected name used to denote an object designated by an access value should be an access type."
severity ERROR;
wait;
END PROCESS TESTING;
END c06s03b00x00p06n01i00988arch;
|
