diff options
Diffstat (limited to 'testsuite/vests/vhdl-93/billowitch/compliant/tc1782.vhd')
| -rw-r--r-- | testsuite/vests/vhdl-93/billowitch/compliant/tc1782.vhd | 136 |
1 files changed, 136 insertions, 0 deletions
diff --git a/testsuite/vests/vhdl-93/billowitch/compliant/tc1782.vhd b/testsuite/vests/vhdl-93/billowitch/compliant/tc1782.vhd new file mode 100644 index 000000000..567dca045 --- /dev/null +++ b/testsuite/vests/vhdl-93/billowitch/compliant/tc1782.vhd @@ -0,0 +1,136 @@ + +-- 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: tc1782.vhd,v 1.2 2001-10-26 16:29:43 paw Exp $ +-- $Revision: 1.2 $ +-- +-- --------------------------------------------------------------------- + +Package c09s06b00x00p04n05i01782pkg is + type info is record + field_1 : integer; + field_2 : real; + end record; + type stuff is array (Integer range 1 to 2) of info; +end c09s06b00x00p04n05i01782pkg; + +use work.c09s06b00x00p04n05i01782pkg.all; +entity c09s06b00x00p04n05i01782ent_a is + generic ( + g0 : Boolean ; + g1 : Bit ; + g2 : Character ; + g3 : SEVERITY_LEVEL ; + g4 : Integer ; + g5 : Real ; + g6 : TIME ; + g7 : Natural ; + g8 : Positive ; + g9 : String ; + gA : Bit_vector ; + gB : stuff := ((234,567.7),(429,35.7)) + ); +end c09s06b00x00p04n05i01782ent_a; + +use work.c09s06b00x00p04n05i01782pkg.all; +architecture c09s06b00x00p04n05i01782arch_a of c09s06b00x00p04n05i01782ent_a is + -- Check that the data was passed... +begin + TESTING : PROCESS + BEGIN + assert NOT( g0 = True and + g1 = '0' and + g2 = '@' and + g3 = NOTE and + g4 = 123456789 and + g5 = 987654321.5 and + g6 = 110 ns and + g7 = 12312 and + g8 = 3423 and + g9 = "16 characters OK" and + gA = B"01010010100101010010101001010100"and + gB = ((123, 456.7 ), (890, 135.7))) + report "***PASSED TEST: c09s06b00x00p04n05i01782" + severity NOTE; + assert ( g0 = True and + g1 = '0' and + g2 = '@' and + g3 = NOTE and + g4 = 123456789 and + g5 = 987654321.5 and + g6 = 110 ns and + g7 = 12312 and + g8 = 3423 and + g9 = "16 characters OK" and + gA = B"01010010100101010010101001010100"and + gB = ((123, 456.7 ), (890, 135.7))) + report "***FAILED TEST: c09s06b00x00p04n05i01782 - The generic map aspect, if present, should associate a single actual with each local generic in the corresponding component declaration." + severity ERROR; + wait; + END PROCESS TESTING; +end c09s06b00x00p04n05i01782arch_a; + +------------------------------------------------------------------------- + +ENTITY c09s06b00x00p04n05i01782ent IS +END c09s06b00x00p04n05i01782ent; + + +use work.c09s06b00x00p04n05i01782pkg.all; +ARCHITECTURE c09s06b00x00p04n05i01782arch OF c09s06b00x00p04n05i01782ent IS + subtype reg32 is Bit_vector ( 31 downto 0 ); + subtype string16 is String ( 1 to 16 ); + component MultiType + generic ( + g0 : Boolean ; + g1 : Bit ; + g2 : Character ; + g3 : SEVERITY_LEVEL ; + g4 : Integer ; + g5 : Real ; + g6 : TIME ; + g7 : Natural ; + g8 : Positive ; + g9 : String ; + gA : Bit_vector ; + gB : stuff :=((123,456.7),(890,135.7))); + end component; + for u1 : MultiType use entity work.c09s06b00x00p04n05i01782ent_a(c09s06b00x00p04n05i01782arch_a); +BEGIN + u1 : MultiType generic map ( + True, + '0', + '@', + NOTE, + 123456789, + 987654321.5, + 110 ns, + 12312, + 3423, + "16 characters OK", + B"0101_0010_1001_0101_0010_1010_0101_0100" + ); + +END c09s06b00x00p04n05i01782arch; |