summaryrefslogtreecommitdiff
path: root/testsuite/vests/vhdl-93/billowitch/compliant/tc1372.vhd
diff options
context:
space:
mode:
authorTristan Gingold2013-12-20 04:48:54 +0100
committerTristan Gingold2013-12-20 04:48:54 +0100
commit6c3f709174e8e4d5411f851cedb7d84c38d3b04a (patch)
treebd12c79c71a2ee65899a9ade9919ec2045addef8 /testsuite/vests/vhdl-93/billowitch/compliant/tc1372.vhd
parentbd4aff0f670351c0652cf24e9b04361dc0e3a01c (diff)
downloadghdl-6c3f709174e8e4d5411f851cedb7d84c38d3b04a.tar.gz
ghdl-6c3f709174e8e4d5411f851cedb7d84c38d3b04a.tar.bz2
ghdl-6c3f709174e8e4d5411f851cedb7d84c38d3b04a.zip
Import vests testsuite
Diffstat (limited to 'testsuite/vests/vhdl-93/billowitch/compliant/tc1372.vhd')
-rw-r--r--testsuite/vests/vhdl-93/billowitch/compliant/tc1372.vhd177
1 files changed, 177 insertions, 0 deletions
diff --git a/testsuite/vests/vhdl-93/billowitch/compliant/tc1372.vhd b/testsuite/vests/vhdl-93/billowitch/compliant/tc1372.vhd
new file mode 100644
index 0000000..c9f6073
--- /dev/null
+++ b/testsuite/vests/vhdl-93/billowitch/compliant/tc1372.vhd
@@ -0,0 +1,177 @@
+
+-- 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: tc1372.vhd,v 1.2 2001-10-26 16:29:40 paw Exp $
+-- $Revision: 1.2 $
+--
+-- ---------------------------------------------------------------------
+
+ENTITY c08s05b00x00p03n01i01372ent IS
+END c08s05b00x00p03n01i01372ent;
+
+ARCHITECTURE c08s05b00x00p03n01i01372arch OF c08s05b00x00p03n01i01372ent IS
+
+BEGIN
+ TESTING: PROCESS
+--
+-- Define constants for package
+--
+ constant lowb : integer := 1 ;
+ constant highb : integer := 5 ;
+ constant lowb_i2 : integer := 0 ;
+ constant highb_i2 : integer := 1000 ;
+ constant lowb_p : integer := -100 ;
+ constant highb_p : integer := 1000 ;
+ constant lowb_r : real := 0.0 ;
+ constant highb_r : real := 1000.0 ;
+ constant lowb_r2 : real := 8.0 ;
+ constant highb_r2 : real := 80.0 ;
+
+ constant c_boolean_1 : boolean := false ;
+ constant c_boolean_2 : boolean := true ;
+--
+-- bit
+ constant c_bit_1 : bit := '0' ;
+ constant c_bit_2 : bit := '1' ;
+
+-- severity_level
+ constant c_severity_level_1 : severity_level := NOTE ;
+ constant c_severity_level_2 : severity_level := WARNING ;
+--
+-- character
+ constant c_character_1 : character := 'A' ;
+ constant c_character_2 : character := 'a' ;
+
+-- integer types
+-- predefined
+ constant c_integer_1 : integer := lowb ;
+ constant c_integer_2 : integer := highb ;
+--
+-- user defined integer type
+ type t_int1 is range 0 to 100 ;
+ constant c_t_int1_1 : t_int1 := 0 ;
+ constant c_t_int1_2 : t_int1 := 10 ;
+ subtype st_int1 is t_int1 range 8 to 60 ;
+ constant c_st_int1_1 : st_int1 := 8 ;
+ constant c_st_int1_2 : st_int1 := 9 ;
+--
+-- physical types
+-- predefined
+ constant c_time_1 : time := 1 ns ;
+ constant c_time_2 : time := 2 ns ;
+--
+--
+-- floating point types
+-- predefined
+ constant c_real_1 : real := 0.0 ;
+ constant c_real_2 : real := 1.0 ;
+--
+-- simple record
+ type t_rec1 is record
+ f1 : integer range lowb_i2 to highb_i2 ;
+ f2 : time ;
+ f3 : boolean ;
+ f4 : real ;
+ end record ;
+ constant c_t_rec1_1 : t_rec1 :=
+ (c_integer_1, c_time_1, c_boolean_1, c_real_1) ;
+ constant c_t_rec1_2 : t_rec1 :=
+ (c_integer_2, c_time_2, c_boolean_2, c_real_2) ;
+ subtype st_rec1 is t_rec1 ;
+ constant c_st_rec1_1 : st_rec1 := c_t_rec1_1 ;
+ constant c_st_rec1_2 : st_rec1 := c_t_rec1_2 ;
+--
+-- more complex record
+ type t_rec2 is record
+ f1 : boolean ;
+ f2 : st_rec1 ;
+ f3 : time ;
+ end record ;
+ constant c_t_rec2_1 : t_rec2 :=
+ (c_boolean_1, c_st_rec1_1, c_time_1) ;
+ constant c_t_rec2_2 : t_rec2 :=
+ (c_boolean_2, c_st_rec1_2, c_time_2) ;
+ subtype st_rec2 is t_rec2 ;
+ constant c_st_rec2_1 : st_rec2 := c_t_rec2_1 ;
+ constant c_st_rec2_2 : st_rec2 := c_t_rec2_2 ;
+--
+-- simple array
+ type t_arr1 is array (integer range <>) of st_int1 ;
+ subtype t_arr1_range1 is integer range lowb to highb ;
+ subtype st_arr1 is t_arr1 (t_arr1_range1) ;
+ constant c_st_arr1_1 : st_arr1 := (others => c_st_int1_1) ;
+ constant c_st_arr1_2 : st_arr1 := (others => c_st_int1_2) ;
+ constant c_t_arr1_1 : st_arr1 := c_st_arr1_1 ;
+ constant c_t_arr1_2 : st_arr1 := c_st_arr1_2 ;
+--
+-- more complex array
+ type t_arr2 is array (integer range <>, boolean range <>) of st_arr1 ;
+ subtype t_arr2_range1 is integer range lowb to highb ;
+ subtype t_arr2_range2 is boolean range false to true ;
+ subtype st_arr2 is t_arr2 (t_arr2_range1, t_arr2_range2);
+ constant c_st_arr2_1 : st_arr2 := (others => (others => c_st_arr1_1)) ;
+ constant c_st_arr2_2 : st_arr2 := (others => (others => c_st_arr1_2)) ;
+ constant c_t_arr2_1 : st_arr2 := c_st_arr2_1 ;
+ constant c_t_arr2_2 : st_arr2 := c_st_arr2_2 ;
+--
+-- most complex record
+ type t_rec3 is record
+ f1 : boolean ;
+ f2 : st_rec2 ;
+ f3 : st_arr2 ;
+ end record ;
+ constant c_t_rec3_1 : t_rec3 :=
+ (c_boolean_1, c_st_rec2_1, c_st_arr2_1) ;
+ constant c_t_rec3_2 : t_rec3 :=
+ (c_boolean_2, c_st_rec2_2, c_st_arr2_2) ;
+ subtype st_rec3 is t_rec3 ;
+ constant c_st_rec3_1 : st_rec3 := c_t_rec3_1 ;
+ constant c_st_rec3_2 : st_rec3 := c_t_rec3_2 ;
+--
+-- most complex array
+ type t_arr3 is array (integer range <>, boolean range <>) of st_rec3 ;
+ subtype t_arr3_range1 is integer range lowb to highb ;
+ subtype t_arr3_range2 is boolean range true downto false ;
+ subtype st_arr3 is t_arr3 (t_arr3_range1, t_arr3_range2) ;
+ constant c_st_arr3_1 : st_arr3 := (others => (others => c_st_rec3_1)) ;
+ constant c_st_arr3_2 : st_arr3 := (others => (others => c_st_rec3_2)) ;
+ constant c_t_arr3_1 : st_arr3 := c_st_arr3_1 ;
+ constant c_t_arr3_2 : st_arr3 := c_st_arr3_2 ;
+--
+ variable v_st_arr1 : st_arr1 := c_st_arr1_1 ;
+--
+ BEGIN
+ v_st_arr1(st_arr1'Left) :=
+ c_st_arr1_2(st_arr1'Right) ;
+ assert NOT(v_st_arr1(st_arr1'Left) = c_st_int1_2)
+ report "***PASSED TEST: c08s05b00x00p03n01i01372"
+ severity NOTE;
+ assert (v_st_arr1(st_arr1'Left) = c_st_int1_2)
+ report "***FAILED TEST:c08s05b00x00p03n01i01372 - The types of the variable and the assigned variable must match."
+ severity ERROR;
+ wait;
+ END PROCESS TESTING;
+
+END c08s05b00x00p03n01i01372arch;