path: root/testsuite/vests/vhdl-93/billowitch/compliant/tc987.vhd

-- 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;