summaryrefslogtreecommitdiff
path: root/testsuite/vests/vhdl-93/billowitch/compliant/tc850.vhd
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/vests/vhdl-93/billowitch/compliant/tc850.vhd')
-rw-r--r--testsuite/vests/vhdl-93/billowitch/compliant/tc850.vhd292
1 files changed, 292 insertions, 0 deletions
diff --git a/testsuite/vests/vhdl-93/billowitch/compliant/tc850.vhd b/testsuite/vests/vhdl-93/billowitch/compliant/tc850.vhd
new file mode 100644
index 0000000..7bdcbe0
--- /dev/null
+++ b/testsuite/vests/vhdl-93/billowitch/compliant/tc850.vhd
@@ -0,0 +1,292 @@
+
+-- 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: tc850.vhd,v 1.2 2001-10-26 16:30:00 paw Exp $
+-- $Revision: 1.2 $
+--
+-- ---------------------------------------------------------------------
+
+package c01s03b01x00p12n01i00850pkg_b is
+ constant zero : integer ;
+ constant one : integer ;
+ constant two : integer ;
+ constant three: integer ;
+ constant four : integer ;
+ constant five : integer ;
+ constant six : integer ;
+ constant seven: integer ;
+ constant eight: integer ;
+ constant nine : integer ;
+ constant fifteen: integer;
+end c01s03b01x00p12n01i00850pkg_b;
+
+package body c01s03b01x00p12n01i00850pkg_b is
+ constant zero : integer := 0;
+ constant one : integer := 1;
+ constant two : integer := 2;
+ constant three: integer := 3;
+ constant four : integer := 4;
+ constant five : integer := 5;
+ constant six : integer := 6;
+ constant seven: integer := 7;
+ constant eight: integer := 8;
+ constant nine : integer := 9;
+ constant fifteen:integer:= 15;
+end c01s03b01x00p12n01i00850pkg_b;
+
+use work.c01s03b01x00p12n01i00850pkg_b.all;
+package c01s03b01x00p12n01i00850pkg_a is
+ constant low_number : integer := 0;
+ constant hi_number : integer := 3;
+ subtype hi_to_low_range is integer range low_number to hi_number;
+ 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;
+ 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;
+ type array_rec_std is array (natural range <>) of record_std_package;
+ type four_value is ('Z','0','1','X');
+--enumerated type
+ 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;
+ signal Sin1 : bit_vector(zero to five) ;
+ signal Sin2 : boolean_vector(zero to five) ;
+ signal Sin4 : severity_level_vector(zero to five) ;
+ signal Sin5 : integer_vector(zero to five) ;
+ signal Sin6 : real_vector(zero to five) ;
+ signal Sin7 : time_vector(zero to five) ;
+ signal Sin8 : natural_vector(zero to five) ;
+ signal Sin9 : positive_vector(zero to five) ;
+ signal Sin10: array_rec_std(zero to five) ;
+end c01s03b01x00p12n01i00850pkg_a;
+
+
+use work.c01s03b01x00p12n01i00850pkg_a.all;
+use work.c01s03b01x00p12n01i00850pkg_b.all;
+entity test is
+ port(
+ sigin1 : in boolean ;
+ sigout1 : out boolean ;
+ sigin2 : in bit ;
+ sigout2 : out bit ;
+ sigin4 : in severity_level ;
+ sigout4 : out severity_level ;
+ sigin5 : in integer ;
+ sigout5 : out integer ;
+ sigin6 : in real ;
+ sigout6 : out real ;
+ sigin7 : in time ;
+ sigout7 : out time ;
+ sigin8 : in natural ;
+ sigout8 : out natural ;
+ sigin9 : in positive ;
+ sigout9 : out positive ;
+ sigin10 : in record_std_package ;
+ sigout10 : out record_std_package
+ );
+end;
+
+architecture test of test is
+begin
+ sigout1 <= sigin1;
+ sigout2 <= sigin2;
+ sigout4 <= sigin4;
+ sigout5 <= sigin5;
+ sigout6 <= sigin6;
+ sigout7 <= sigin7;
+ sigout8 <= sigin8;
+ sigout9 <= sigin9;
+ sigout10 <= sigin10;
+end;
+
+configuration testbench of test is
+ for test
+ end for;
+end;
+
+use work.c01s03b01x00p12n01i00850pkg_a.all;
+use work.c01s03b01x00p12n01i00850pkg_b.all;
+ENTITY c01s03b01x00p12n01i00850ent IS
+END c01s03b01x00p12n01i00850ent;
+
+ARCHITECTURE c01s03b01x00p12n01i00850arch OF c01s03b01x00p12n01i00850ent IS
+ component test
+ port(
+ sigin1 : in boolean ;
+ sigout1 : out boolean ;
+ sigin2 : in bit ;
+ sigout2 : out bit ;
+ sigin4 : in severity_level ;
+ sigout4 : out severity_level ;
+ sigin5 : in integer ;
+ sigout5 : out integer ;
+ sigin6 : in real ;
+ sigout6 : out real ;
+ sigin7 : in time ;
+ sigout7 : out time ;
+ sigin8 : in natural ;
+ sigout8 : out natural ;
+ sigin9 : in positive ;
+ sigout9 : out positive ;
+ sigin10 : in record_std_package ;
+ sigout10 : out record_std_package
+ );
+ end component;
+begin
+ Sin1(zero) <='1';
+ Sin2(zero) <= true;
+ Sin4(zero) <= note;
+ Sin5(zero) <= 3;
+ Sin6(zero) <= 3.0;
+ Sin7(zero) <= 3 ns;
+ Sin8(zero) <= 1;
+ Sin9(zero) <= 1;
+ Sin10(zero) <= (C1,C2,C3,C4,C5,C6,C7,C8,C9);
+ K:block
+ component test
+ port(
+ sigin1 : in boolean ;
+ sigout1 : out boolean ;
+ sigin2 : in bit ;
+ sigout2 : out bit ;
+ sigin4 : in severity_level ;
+ sigout4 : out severity_level ;
+ sigin5 : in integer ;
+ sigout5 : out integer ;
+ sigin6 : in real ;
+ sigout6 : out real ;
+ sigin7 : in time ;
+ sigout7 : out time ;
+ sigin8 : in natural ;
+ sigout8 : out natural ;
+ sigin9 : in positive ;
+ sigout9 : out positive ;
+ sigin10 : in record_std_package ;
+ sigout10 : out record_std_package
+ );
+ end component;
+
+ BEGIN
+ T5 : test
+ port map
+ (
+ Sin2(4),Sin2(5),
+ Sin1(4),Sin1(5),
+ Sin4(4),Sin4(5),
+ Sin5(4),Sin5(5),
+ Sin6(4),Sin6(5),
+ Sin7(4),Sin7(5),
+ Sin8(4),Sin8(5),
+ Sin9(4),Sin9(5),
+ Sin10(4),Sin10(5)
+ );
+ G: for i in zero to three generate
+ T1:test
+ port map
+ (
+ Sin2(i),Sin2(i+1),
+ Sin1(i),Sin1(i+1),
+ Sin4(i),Sin4(i+1),
+ Sin5(i),Sin5(i+1),
+ Sin6(i),Sin6(i+1),
+ Sin7(i),Sin7(i+1),
+ Sin8(i),Sin8(i+1),
+ Sin9(i),Sin9(i+1),
+ Sin10(i),Sin10(i+1)
+ );
+ end generate;
+ end block;
+ TESTING: PROCESS
+ BEGIN
+ wait for 1 ns;
+ assert Sin1(0) = Sin1(5) report "assignment of Sin1(0) to Sin1(4) is invalid through entity port" severity failure;
+ assert Sin2(0) = Sin2(5) report "assignment of Sin2(0) to Sin2(4) is invalid through entity port" severity failure;
+ assert Sin4(0) = Sin4(5) report "assignment of Sin4(0) to Sin4(4) is invalid through entity port" severity failure;
+ assert Sin5(0) = Sin5(5) report "assignment of Sin5(0) to Sin5(4) is invalid through entity port" severity failure;
+ assert Sin6(0) = Sin6(5) report "assignment of Sin6(0) to Sin6(4) is invalid through entity port" severity failure;
+ assert Sin7(0) = Sin7(5) report "assignment of Sin7(0) to Sin7(4) is invalid through entity port" severity failure;
+ assert Sin8(0) = Sin8(5) report "assignment of Sin8(0) to Sin8(4) is invalid through entity port" severity failure;
+ assert Sin9(0) = Sin9(5) report "assignment of Sin9(0) to Sin9(4) is invalid through entity port" severity failure;
+ assert Sin10(0) = Sin10(5) report "assignment of Sin10(0) to Sin10(4) is invalid through entity port" severity failure;
+ assert NOT( Sin1(0) = sin1(5) and
+ Sin2(0) = Sin2(5) and
+ Sin4(0) = Sin4(5) and
+ Sin5(0) = Sin5(5) and
+ Sin6(0) = Sin6(5) and
+ Sin7(0) = Sin7(5) and
+ Sin8(0) = Sin8(5) and
+ Sin9(0) = Sin9(5) and
+ Sin10(0)= Sin10(0) )
+ report "***PASSED TEST: c01s03b01x00p12n01i00850"
+ severity NOTE;
+ assert ( Sin1(0) = sin1(5) and
+ Sin2(0) = Sin2(5) and
+ Sin4(0) = Sin4(5) and
+ Sin5(0) = Sin5(5) and
+ Sin6(0) = Sin6(5) and
+ Sin7(0) = Sin7(5) and
+ Sin8(0) = Sin8(5) and
+ Sin9(0) = Sin9(5) and
+ Sin10(0)= Sin10(0) )
+ report "***FAILED TEST: c01s03b01x00p12n01i00850 - If such a block configuration contains an index specification that is a discrete range, then the block configuration applies to those implicit block statements that are generated for the specified range of values of the corresponding generate index."
+ severity ERROR;
+ wait;
+ END PROCESS TESTING;
+
+END c01s03b01x00p12n01i00850arch;
+
+configuration c01s03b01x00p12n01i00850cfg of c01s03b01x00p12n01i00850ent is
+ for c01s03b01x00p12n01i00850arch
+ for K
+ for T5:test use configuration work.testbench;
+ end for;
+ for G(zero to three)
+ for T1:test
+ use configuration work.testbench;
+ end for;
+ end for;
+ end for;
+ end for;
+end;
generated by cgit (git 2.34.1) at 2024-12-22 10:28:04 +0000