aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/vests/vhdl-93/billowitch/compliant/tc987.vhd
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/vests/vhdl-93/billowitch/compliant/tc987.vhd')
-rw-r--r--testsuite/vests/vhdl-93/billowitch/compliant/tc987.vhd991
1 files changed, 991 insertions, 0 deletions
diff --git a/testsuite/vests/vhdl-93/billowitch/compliant/tc987.vhd b/testsuite/vests/vhdl-93/billowitch/compliant/tc987.vhd
new file mode 100644
index 000000000..429fed0d5
--- /dev/null
+++ b/testsuite/vests/vhdl-93/billowitch/compliant/tc987.vhd
@@ -0,0 +1,991 @@
+
+-- 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: tc987.vhd,v 1.2 2001-10-26 16:30:02 paw Exp $
+-- $Revision: 1.2 $
+--
+-- ---------------------------------------------------------------------
+
+package c06s03b00x00p06n01i00987pkg 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 c06s03b00x00p06n01i00987pkg;
+
+package body c06s03b00x00p06n01i00987pkg is
+ function resolution(i:in four_value_vector) return four_value is
+ variable temp :four_value := 'Z';
+ begin
+ return temp;
+ end;
+end c06s03b00x00p06n01i00987pkg;
+
+use work.c06s03b00x00p06n01i00987pkg.all;
+
+ENTITY c06s03b00x00p06n01i00987ent IS
+END c06s03b00x00p06n01i00987ent;
+
+ARCHITECTURE c06s03b00x00p06n01i00987arch OF c06s03b00x00p06n01i00987ent IS
+
+BEGIN
+ TESTING: PROCESS
+ variable var1 : boolean_ptr ;
+ variable var2 : bit_ptr ;
+ variable var3 : char_ptr ;
+ variable var4 : severity_level_ptr ;
+ variable var5 : integer_ptr ;
+ variable var6 : real_ptr ;
+ variable var7 : time_ptr ;
+ variable var8 : natural_ptr ;
+ variable var9 : positive_ptr ;
+ variable var10 : string_ptr ;
+ variable var11 : bit_vector_ptr ;
+ variable var12 : boolean_vector_ptr ;
+ variable var13 : severity_level_vector_ptr ;
+ variable var14 : integer_vector_ptr ;
+ variable var15 : real_vector_ptr ;
+ variable var16 : time_vector_ptr ;
+ variable var17 : natural_vector_ptr ;
+ variable var18 : positive_vector_ptr ;
+ variable var19 : boolean_cons_vector_ptr ;
+ variable var20 : severity_level_cons_vector_ptr ;
+ variable var21 : integer_cons_vector_ptr ;
+ variable var22 : real_cons_vector_ptr ;
+ variable var23 : time_cons_vector_ptr ;
+ variable var24 : natural_cons_vector_ptr ;
+ variable var25 : positive_cons_vector_ptr ;
+ variable var26 : boolean_cons_vectorofvector_ptr ;
+ variable var27 : sev_lvl_cons_vecofvec_ptr ;
+ variable var28 : integer_cons_vectorofvector_ptr ;
+ variable var29 : real_cons_vectorofvector_ptr ;
+ variable var30 : time_cons_vectorofvector_ptr ;
+ variable var31 : natural_cons_vectorofvector_ptr ;
+ variable var32 : posi_cons_vecofvec_ptr ;
+-- variable var33 : s2boolean_vector_ptr ;
+-- variable var34 : s2bit_vector_ptr ;
+-- variable var35 : s2char_vector_ptr ;
+-- variable var36 : s2severity_level_vector_ptr ;
+-- variable var37 : s2integer_vector_ptr ;
+-- variable var38 : s2real_vector_ptr ;
+-- variable var39 : s2time_vector_ptr ;
+-- variable var40 : s2positive_vector_ptr ;
+ variable var41 : s2boolean_cons_vector_ptr ;
+ variable var42 : s2bit_cons_vector_ptr ;
+ variable var43 : s2char_cons_vector_ptr ;
+ variable var44 : s2sev_lvl_cons_vec_ptr ;
+ variable var45 : s2integer_cons_vector_ptr ;
+ variable var46 : s2real_cons_vector_ptr ;
+ variable var47 : s2time_cons_vector_ptr ;
+ variable var48 : s2natural_cons_vector_ptr ;
+ variable var49 : s2positive_cons_vector_ptr ;
+ variable var50 : record_std_package_ptr ;
+ variable var51 : record_cons_array_ptr ;
+ variable var52 : record_2cons_array_ptr ;
+ variable var53 : record_cons_arrayofarray_ptr ;
+ variable var54 : record_of_ptr_ptr ;
+ variable var54a : record_array_st_ptr;
+ variable var55 : record_of_records_ptr ;
+ variable var56 : four_value_ptr ;
+ variable var57 : four_value_map_ptr ;
+ variable var58 : binary_ptr ;
+ variable var59 : four_value_vector_ptr ;
+ variable var60 : byte_ptr ;
+ variable var61 : word_ptr ;
+ variable var62 : four_value_state_ptr ;
+ variable var63 : state_vector_ptr ;
+ variable var64 : primary_memory_ptr ;
+ variable var65 : primary_memory_module_ptr;
+ variable var66 : whole_memory_ptr ;
+ variable var67 : current_ptr ;
+ variable var68 : resistance_ptr ;
+ variable var69 : delay_ptr ;
+ variable var70 : boolean_vector_st_ptr;
+ variable var71 : severity_level_vector_st_ptr;
+ variable var72 : integer_vector_st_ptr;
+ variable var73 : real_vector_st_ptr;
+ variable var74 : time_vector_st_ptr;
+ variable var75 : natural_vector_st_ptr;
+ variable var76 : positive_vector_st_ptr;
+
+ variable vari1 : boolean;
+ variable vari2 : bit;
+ variable vari3 : character;
+ variable vari4 : severity_level;
+ variable vari5 : integer;
+ variable vari6 : real;
+ variable vari7 : time;
+ variable vari8 : natural;
+ variable vari9 : positive;
+ variable vari10 : string(1 to 7);
+ variable vari11 : bit_vector(0 to 3);
+ variable vari12 : boolean_vector(0 to 1);
+ variable vari13 : severity_level_vector(0 to 1);
+ variable vari14 : integer_vector(0 to 3);
+ variable vari15 : real_vector(0 to 3);
+ variable vari16 : time_vector(0 to 3);
+ variable vari17 : natural_vector(0 to 3);
+ variable vari18 : positive_vector(0 to 3);
+ variable vari19 : boolean_cons_vector;
+ variable vari20 : severity_level_cons_vector;
+ variable vari21 : integer_cons_vector;
+ variable vari22 : real_cons_vector;
+ variable vari23 : time_cons_vector;
+ variable vari24 : natural_cons_vector;
+ variable vari25 : positive_cons_vector;
+ variable vari26 : boolean_cons_vectorofvector;
+ variable vari27 : severity_level_cons_vectorofvector;
+ variable vari28 : integer_cons_vectorofvector;
+ variable vari29 : real_cons_vectorofvector;
+ variable vari30 : time_cons_vectorofvector;
+ variable vari31 : natural_cons_vectorofvector;
+ variable vari32 : positive_cons_vectorofvector;
+--variable vari33 : s2boolean_vector;
+--variable vari34 : s2bit_vector;
+--variable vari35 : s2char_vector;
+--variable vari36 : s2severity_level_vector;
+--variable vari37 : s2integer_vector;
+--variable vari38 : s2real_vector;
+--variable vari39 : s2time_vector;
+--variable vari40 : s2positive_vector;
+ variable vari41 : s2boolean_cons_vector;
+ variable vari42 : s2bit_cons_vector;
+ variable vari43 : s2char_cons_vector;
+ variable vari44 : s2severity_level_cons_vector;
+ variable vari45 : s2integer_cons_vector;
+ variable vari46 : s2real_cons_vector;
+ variable vari47 : s2time_cons_vector;
+ variable vari48 : s2natural_cons_vector;
+ variable vari49 : s2positive_cons_vector;
+ variable vari50 : record_std_package;
+ variable vari51 : record_cons_array;
+ variable vari52 : record_2cons_array;
+ variable vari53 : record_cons_arrayofarray;
+ variable vari54 : record_of_ptr;
+ variable vari55 : record_of_records;
+ variable vari56 : four_value;
+ variable vari57 : four_value_map;
+ variable vari58 : binary;
+ variable vari59 : four_value_vector(0 to 3);
+ variable vari60 : byte;
+ variable vari61 : word;
+ variable vari62 : four_value_state;
+ variable vari63 : state_vector(0 to 3);
+ variable vari64 : primary_memory;
+ variable vari65 : primary_memory_module;
+ variable vari66 : whole_memory;
+ variable vari67 : current;
+ variable vari68 : resistance;
+ variable vari69 : delay;
+ variable vari70 : boolean_vector_st;
+ variable vari71 : severity_level_vector_st;
+ variable vari72 : integer_vector_st;
+ variable vari73 : real_vector_st;
+ variable vari74 : time_vector_st;
+ variable vari75 : natural_vector_st;
+ variable vari76 : positive_vector_st;
+ variable vari54a : record_array_st;
+
+ BEGIN
+ var1 := NEW boolean '(C1);
+ var2 := NEW bit '(C2);
+ var3 := NEW character '(C3);
+ var4 := NEW severity_level '(C4);
+ var5 := NEW integer '(C5);
+ var6 := NEW real '(C6);
+ var7 := NEW time '(C7);
+ var8 := NEW natural '(C8);
+ var9 := NEW positive '(C9);
+ var10 := NEW string '(C10);
+ var11 := NEW bit_vector '(C11);
+ var12 := NEW boolean_vector '(C12);
+ var13 := NEW severity_level_vector '(C13);
+ var14 := NEW integer_vector '(C14);
+ var15 := NEW real_vector '(C15);
+ var16 := NEW time_vector '(C16);
+ var17 := NEW natural_vector '(C17);
+ var18 := NEW positive_vector '(C18);
+ var19 := NEW boolean_cons_vector '(C19);
+ var20 := NEW severity_level_cons_vector '(C20);
+ var21 := NEW integer_cons_vector '(C21);
+ var22 := NEW real_cons_vector '(C22);
+ var23 := NEW time_cons_vector '(C23);
+ var24 := NEW natural_cons_vector '(C24);
+ var25 := NEW positive_cons_vector '(C25);
+ var26 := NEW boolean_cons_vectorofvector '(C26);
+ var27 := NEW severity_level_cons_vectorofvector '(C27);
+ var28 := NEW integer_cons_vectorofvector '(C28);
+ var29 := NEW real_cons_vectorofvector '(C29);
+ var30 := NEW time_cons_vectorofvector '(C30);
+ var31 := NEW natural_cons_vectorofvector '(C31);
+ var32 := NEW positive_cons_vectorofvector '(C32);
+--var33 := NEW s2boolean_vector '(C33);
+--var34 := NEW s2bit_vector '(C34);
+--var35 := NEW s2char_vector '(C35);
+--var36 := NEW s2severity_level_vector '(C36);
+--var37 := NEW s2integer_vector '(C37);
+--var38 := NEW s2real_vector '(C38);
+--var39 := NEW s2time_vector '(C39);
+--var40 := NEW s2positive_vector '(C40);
+ var41 := NEW s2boolean_cons_vector '(C41);
+ var42 := NEW s2bit_cons_vector '(C42);
+ var43 := NEW s2char_cons_vector '(C43);
+ var44 := NEW s2severity_level_cons_vector '(C44);
+ var45 := NEW s2integer_cons_vector '(C45);
+ var46 := NEW s2real_cons_vector '(C46);
+ var47 := NEW s2time_cons_vector '(C47);
+ var48 := NEW s2natural_cons_vector '(C48);
+ var49 := NEW s2positive_cons_vector '(C49);
+ var50 := NEW record_std_package '(C50);
+ var51 := NEW record_cons_array '(C51);
+ var52 := NEW record_2cons_array '(C52);
+ var53 := NEW record_cons_arrayofarray '(C53);
+--var54 := NEW record_of_ptr '(C54);
+--var54a := NEW record_array_st '(C54a);
+--var55 := NEW record_of_records '(C55);
+ var56 := NEW four_value '(C56);
+ var57 := NEW four_value_map '(C57);
+ var58 := NEW binary '(C58);
+ var59 := NEW four_value_vector '(C59);
+ var60 := NEW byte '(C60);
+ var61 := NEW word '(C61);
+ var62 := NEW four_value_state '(C62);
+ var63 := NEW state_vector '(C63);
+ var64 := NEW primary_memory '(C64);
+ var65 := NEW primary_memory_module '(C65);
+ var66 := NEW whole_memory '(C66);
+ var67 := NEW current '(C67);
+ var68 := NEW resistance '(C68);
+ var69 := NEW delay '(C69);
+ var70 := NEW boolean_vector_st '(C70);
+ var71 := NEW severity_level_vector_st '(C71);
+ var72 := NEW integer_vector_st '(C72);
+ var73 := NEW real_vector_st '(C73);
+ var74 := NEW time_vector_st '(C74);
+ var75 := NEW natural_vector_st '(C75);
+ var76 := NEW positive_vector_st '(C76);
+
+ vari1 := var1.all;
+ vari2 := var2.all;
+ vari3 := var3.all;
+ vari4 := var4.all;
+ vari5 := var5.all;
+ vari6 := var6.all;
+ vari7 := var7.all;
+ vari8 := var8.all;
+ vari9 := var9.all;
+ vari10 := var10.all;
+ vari11 := var11.all;
+ vari12 := var12.all;
+ vari13 := var13.all;
+ vari14 := var14.all;
+ vari15 := var15.all;
+ vari16 := var16.all;
+ vari17 := var17.all;
+ vari18 := var18.all;
+ vari19 := var19.all;
+ vari20 := var20.all;
+ vari21 := var21.all;
+ vari22 := var22.all;
+ vari23 := var23.all;
+ vari24 := var24.all;
+ vari25 := var25.all;
+ vari26 := var26.all;
+ vari27 := var27.all;
+ vari28 := var28.all;
+ vari29 := var29.all;
+ vari30 := var30.all;
+ vari31 := var31.all;
+ vari32 := var32.all;
+--vari33 := var33.all;
+--vari34 := var34.all;
+--vari35 := var35.all;
+--vari36 := var36.all;
+--vari37 := var37.all;
+--vari38 := var38.all;
+--vari39 := var39.all;
+--vari40 := var40.all;
+ vari41 := var41.all;
+ vari42 := var42.all;
+ vari43 := var43.all;
+ vari44 := var44.all;
+ vari45 := var45.all;
+ vari46 := var46.all;
+ vari47 := var47.all;
+ vari48 := var48.all;
+ vari49 := var49.all;
+ vari50 := var50.all;
+ vari51 := var51.all;
+ vari52 := var52.all;
+ vari53 := var53.all;
+--vari54 := var54.all;
+--vari55 := var55.all;
+ vari56 := var56.all;
+ vari57 := var57.all;
+ vari58 := var58.all;
+ vari59 := var59.all;
+ vari60 := var60.all;
+ vari61 := var61.all;
+ vari62 := var62.all;
+ vari63 := var63.all;
+ vari64 := var64.all;
+ vari65 := var65.all;
+ vari66 := var66.all;
+ vari67 := var67.all;
+ vari68 := var68.all;
+ vari69 := var69.all;
+ vari70 := var70.all;
+ vari71 := var71.all;
+ vari72 := var72.all;
+ vari73 := var73.all;
+ vari74 := var74.all;
+ vari75 := var75.all;
+ vari76 := var76.all;
+--vari54a := var54a.all;
+
+ ASSERT vari1= C1 report "Improper Assignment of vari1" SEVERITY FAILURE;
+ ASSERT vari2 = C2 report "Improper Assignment of vari2" SEVERITY FAILURE;
+ ASSERT vari3 = C3 report "Improper Assignment of vari3" SEVERITY FAILURE;
+ ASSERT vari4 = C4 report "Improper Assignment of vari4" SEVERITY FAILURE;
+ ASSERT vari5 = C5 report "Improper Assignment of vari5" SEVERITY FAILURE;
+ ASSERT vari6 = C6 report "Improper Assignment of vari6" SEVERITY FAILURE;
+ ASSERT vari7 = C7 report "Improper Assignment of vari7" SEVERITY FAILURE;
+ ASSERT vari8 = C8 report "Improper Assignment of vari8" SEVERITY FAILURE;
+ ASSERT vari9 = C9 report "Improper Assignment of vari9" SEVERITY FAILURE;
+ ASSERT vari10 = C10 report "Improper Assignment of vari10" SEVERITY FAILURE;
+ ASSERT vari11 = C11 report "Improper Assignment of vari11" SEVERITY FAILURE;
+ ASSERT vari12 = C12 report "Improper Assignment of vari12" SEVERITY FAILURE;
+ ASSERT vari13 = C13 report "Improper Assignment of vari13" SEVERITY FAILURE;
+ ASSERT vari14 = C14 report "Improper Assignment of vari14" SEVERITY FAILURE;
+ ASSERT vari15 = C15 report "Improper Assignment of vari15" SEVERITY FAILURE;
+ ASSERT vari16 = C16 report "Improper Assignment of vari16" SEVERITY FAILURE;
+ ASSERT vari17 = C17 report "Improper Assignment of vari17" SEVERITY FAILURE;
+ ASSERT vari18 = C18 report "Improper Assignment of vari18" SEVERITY FAILURE;
+ ASSERT vari19 = C19 report "Improper Assignment of vari19" SEVERITY FAILURE;
+ ASSERT vari20 = C20 report "Improper Assignment of vari20" SEVERITY FAILURE;
+ ASSERT vari21 = C21 report "Improper Assignment of vari21" SEVERITY FAILURE;
+ ASSERT vari22 = C22 report "Improper Assignment of vari22" SEVERITY FAILURE;
+ ASSERT vari23 = C23 report "Improper Assignment of vari23" SEVERITY FAILURE;
+ ASSERT vari24 = C24 report "Improper Assignment of vari24" SEVERITY FAILURE;
+ ASSERT vari25 = C25 report "Improper Assignment of vari25" SEVERITY FAILURE;
+ ASSERT vari26 = C26 report "Improper Assignment of vari26" SEVERITY FAILURE;
+ ASSERT vari27 = C27 report "Improper Assignment of vari27" SEVERITY FAILURE;
+ ASSERT vari28 = C28 report "Improper Assignment of vari28" SEVERITY FAILURE;
+ ASSERT vari29 = C29 report "Improper Assignment of vari29" SEVERITY FAILURE;
+ ASSERT vari30 = C30 report "Improper Assignment of vari30" SEVERITY FAILURE;
+ ASSERT vari31 = C31 report "Improper Assignment of vari31" SEVERITY FAILURE;
+ ASSERT vari32 = C32 report "Improper Assignment of vari32" SEVERITY FAILURE;
+--ASSERT vari33 = C33 report "Improper Assignment of vari33" SEVERITY FAILURE;
+--ASSERT vari34 = C34 report "Improper Assignment of vari34" SEVERITY FAILURE;
+--ASSERT vari35 = C35 report "Improper Assignment of vari35" SEVERITY FAILURE;
+--ASSERT vari36 = C36 report "Improper Assignment of vari36" SEVERITY FAILURE;
+--ASSERT vari37 = C37 report "Improper Assignment of vari37" SEVERITY FAILURE;
+--ASSERT vari38 = C38 report "Improper Assignment of vari38" SEVERITY FAILURE;
+--ASSERT vari39 = C39 report "Improper Assignment of vari39" SEVERITY FAILURE;
+--ASSERT vari40 = C40 report "Improper Assignment of vari40" SEVERITY FAILURE;
+ ASSERT vari41 = C41 report "Improper Assignment of vari41" SEVERITY FAILURE;
+ ASSERT vari42 = C42 report "Improper Assignment of vari42" SEVERITY FAILURE;
+ ASSERT vari43 = C43 report "Improper Assignment of vari43" SEVERITY FAILURE;
+ ASSERT vari44 = C44 report "Improper Assignment of vari44" SEVERITY FAILURE;
+ ASSERT vari45 = C45 report "Improper Assignment of vari45" SEVERITY FAILURE;
+ ASSERT vari46 = C46 report "Improper Assignment of vari46" SEVERITY FAILURE;
+ ASSERT vari47 = C47 report "Improper Assignment of vari47" SEVERITY FAILURE;
+ ASSERT vari48 = C48 report "Improper Assignment of vari48" SEVERITY FAILURE;
+ ASSERT vari49 = C49 report "Improper Assignment of vari49" SEVERITY FAILURE;
+ ASSERT vari50 = C50 report "Improper Assignment of vari50" SEVERITY FAILURE;
+ ASSERT vari51 = C51 report "Improper Assignment of vari51" SEVERITY FAILURE;
+ ASSERT vari52 = C52 report "Improper Assignment of vari52" SEVERITY FAILURE;
+ ASSERT vari53 = C53 report "Improper Assignment of vari53" SEVERITY FAILURE;
+--ASSERT vari54 = C54 report "Improper Assignment of vari54" SEVERITY FAILURE;
+--ASSERT vari54a = C54a report "Improper Assignment of vari54a" SEVERITY FAILURE;
+--ASSERT vari55 = C55 report "Improper Assignment of vari55" SEVERITY FAILURE;
+ ASSERT vari56 = C56 report "Improper Assignment of vari56" SEVERITY FAILURE;
+ ASSERT vari57 = C57 report "Improper Assignment of vari57" SEVERITY FAILURE;
+ ASSERT vari58 = C58 report "Improper Assignment of vari58" SEVERITY FAILURE;
+ ASSERT vari59 = C59 report "Improper Assignment of vari59" SEVERITY FAILURE;
+ ASSERT vari60 = C60 report "Improper Assignment of vari60" SEVERITY FAILURE;
+ ASSERT vari61 = C61 report "Improper Assignment of vari61" SEVERITY FAILURE;
+ ASSERT vari62 = C62 report "Improper Assignment of vari62" SEVERITY FAILURE;
+ ASSERT vari63 = C63 report "Improper Assignment of vari63" SEVERITY FAILURE;
+ ASSERT vari64 = C64 report "Improper Assignment of vari64" SEVERITY FAILURE;
+ ASSERT vari65 = C65 report "Improper Assignment of vari65" SEVERITY FAILURE;
+ ASSERT vari66 = C66 report "Improper Assignment of vari66" SEVERITY FAILURE;
+ ASSERT vari67 = C67 report "Improper Assignment of vari67" SEVERITY FAILURE;
+ ASSERT vari68 = C68 report "Improper Assignment of vari68" SEVERITY FAILURE;
+ ASSERT vari69 = C69 report "Improper Assignment of vari69" SEVERITY FAILURE;
+ ASSERT vari70 = C70 report "Improper Assignment of vari70" SEVERITY FAILURE;
+ ASSERT vari71 = C71 report "Improper Assignment of vari71" SEVERITY FAILURE;
+ ASSERT vari72 = C72 report "Improper Assignment of vari72" SEVERITY FAILURE;
+ ASSERT vari73 = C73 report "Improper Assignment of vari73" SEVERITY FAILURE;
+ ASSERT vari74 = C74 report "Improper Assignment of vari74" SEVERITY FAILURE;
+ ASSERT vari74 = C74 report "Improper Assignment of vari74" SEVERITY FAILURE;
+ ASSERT vari75 = C75 report "Improper Assignment of vari75" SEVERITY FAILURE;
+ ASSERT vari76 = C76 report "Improper Assignment of vari76" SEVERITY FAILURE;
+
+ assert NOT( vari1 = C1 and
+ vari2 = C2 and
+ vari3 = C3 and
+ vari4 = C4 and
+ vari5 = C5 and
+ vari6 = C6 and
+ vari7 = C7 and
+ vari8 = C8 and
+ vari9 = C9 and
+ vari10 = C10 and
+ vari11 = C11 and
+ vari12 = C12 and
+ vari13 = C13 and
+ vari14 = C14 and
+ vari15 = C15 and
+ vari16 = C16 and
+ vari17 = C17 and
+ vari18 = C18 and
+ vari19 = C19 and
+ vari20 = C20 and
+ vari21 = C21 and
+ vari22 = C22 and
+ vari23 = C23 and
+ vari24 = C24 and
+ vari25 = C25 and
+ vari26 = C26 and
+ vari27 = C27 and
+ vari28 = C28 and
+ vari29 = C29 and
+ vari30 = C30 and
+ vari31 = C31 and
+ vari32 = C32 and
+-- vari33 = C33 and
+-- vari34 = C34 and
+-- vari35 = C35 and
+-- vari36 = C36 and
+-- vari37 = C37 and
+-- vari38 = C38 and
+-- vari39 = C39 and
+-- vari40 = C40 and
+ vari41 = C41 and
+ vari42 = C42 and
+ vari43 = C43 and
+ vari44 = C44 and
+ vari45 = C45 and
+ vari46 = C46 and
+ vari47 = C47 and
+ vari48 = C48 and
+ vari49 = C49 and
+ vari50 = C50 and
+ vari51 = C51 and
+ vari52 = C52 and
+ vari53 = C53 and
+-- vari54 = C54 and
+-- vari54a = C54a and
+-- vari55 = C55 and
+ vari56 = C56 and
+ vari57 = C57 and
+ vari58 = C58 and
+ vari59 = C59 and
+ vari60 = C60 and
+ vari61 = C61 and
+ vari62 = C62 and
+ vari63 = C63 and
+ vari64 = C64 and
+ vari65 = C65 and
+ vari66 = C66 and
+ vari67 = C67 and
+ vari68 = C68 and
+ vari69 = C69 and
+ vari70 = C70 and
+ vari71 = C71 and
+ vari72 = C72 and
+ vari73 = C73 and
+ vari74 = C74 and
+ vari75 = C75 and
+ vari76 = C76 )
+ report "***PASSED TEST: c06s03b00x00p06n01i00987"
+ severity NOTE;
+ assert ( vari1 = C1 and
+ vari2 = C2 and
+ vari3 = C3 and
+ vari4 = C4 and
+ vari5 = C5 and
+ vari6 = C6 and
+ vari7 = C7 and
+ vari8 = C8 and
+ vari9 = C9 and
+ vari10 = C10 and
+ vari11 = C11 and
+ vari12 = C12 and
+ vari13 = C13 and
+ vari14 = C14 and
+ vari15 = C15 and
+ vari16 = C16 and
+ vari17 = C17 and
+ vari18 = C18 and
+ vari19 = C19 and
+ vari20 = C20 and
+ vari21 = C21 and
+ vari22 = C22 and
+ vari23 = C23 and
+ vari24 = C24 and
+ vari25 = C25 and
+ vari26 = C26 and
+ vari27 = C27 and
+ vari28 = C28 and
+ vari29 = C29 and
+ vari30 = C30 and
+ vari31 = C31 and
+ vari32 = C32 and
+-- vari33 = C33 and
+-- vari34 = C34 and
+-- vari35 = C35 and
+-- vari36 = C36 and
+-- vari37 = C37 and
+-- vari38 = C38 and
+-- vari39 = C39 and
+-- vari40 = C40 and
+ vari41 = C41 and
+ vari42 = C42 and
+ vari43 = C43 and
+ vari44 = C44 and
+ vari45 = C45 and
+ vari46 = C46 and
+ vari47 = C47 and
+ vari48 = C48 and
+ vari49 = C49 and
+ vari50 = C50 and
+ vari51 = C51 and
+ vari52 = C52 and
+ vari53 = C53 and
+-- vari54 = C54 and
+-- vari54a = C54a and
+-- vari55 = C55 and
+ vari56 = C56 and
+ vari57 = C57 and
+ vari58 = C58 and
+ vari59 = C59 and
+ vari60 = C60 and
+ vari61 = C61 and
+ vari62 = C62 and
+ vari63 = C63 and
+ vari64 = C64 and
+ vari65 = C65 and
+ vari66 = C66 and
+ vari67 = C67 and
+ vari68 = C68 and
+ vari69 = C69 and
+ vari70 = C70 and
+ vari71 = C71 and
+ vari72 = C72 and
+ vari73 = C73 and
+ vari74 = C74 and
+ vari75 = C75 and
+ vari76 = C76 )
+ report "***FAILED TEST: c06s03b00x00p06n01i00987 - 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 c06s03b00x00p06n01i00987arch;