diff options
Diffstat (limited to 'testsuite/vests/vhdl-93/billowitch/compliant/tc1950.vhd')
| -rw-r--r-- | testsuite/vests/vhdl-93/billowitch/compliant/tc1950.vhd | 283 |
1 files changed, 283 insertions, 0 deletions
diff --git a/testsuite/vests/vhdl-93/billowitch/compliant/tc1950.vhd b/testsuite/vests/vhdl-93/billowitch/compliant/tc1950.vhd new file mode 100644 index 0000000..549ae9a --- /dev/null +++ b/testsuite/vests/vhdl-93/billowitch/compliant/tc1950.vhd @@ -0,0 +1,283 @@ + +-- 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: tc1950.vhd,v 1.2 2001-10-26 16:29:44 paw Exp $ +-- $Revision: 1.2 $ +-- +-- --------------------------------------------------------------------- + +package c07s02b01x00p01n02i01950pkg is +-- +-- Index types for array declarations +-- + SUBTYPE st_ind1 IS INTEGER RANGE 1 TO 4; -- index from 1 (POSITIVE) + SUBTYPE st_ind2 IS INTEGER RANGE 0 TO 3; -- index from 0 (NATURAL) + SUBTYPE st_ind3 IS CHARACTER RANGE 'a' TO 'd'; -- non-INTEGER index + SUBTYPE st_ind4 IS INTEGER RANGE 0 DOWNTO -3; -- descending range +-- +-- Logic types for subelements +-- + SUBTYPE st_scl1 IS BIT; + SUBTYPE st_scl2 IS BOOLEAN; + +-- ----------------------------------------------------------------------------------------- +-- Composite type declarations +-- ----------------------------------------------------------------------------------------- +-- +-- Unconstrained arrays +-- + TYPE t_usa1_1 IS ARRAY (st_ind1 RANGE <>) OF BIT; + TYPE t_usa1_2 IS ARRAY (st_ind2 RANGE <>) OF BOOLEAN; + TYPE t_usa1_3 IS ARRAY (st_ind3 RANGE <>) OF BIT; + TYPE t_usa1_4 IS ARRAY (st_ind4 RANGE <>) OF BOOLEAN; +-- +-- Constrained arrays of scalars (make compatable with unconstrained types +-- + SUBTYPE t_csa1_1 IS t_usa1_1 (st_ind1); + SUBTYPE t_csa1_2 IS t_usa1_2 (st_ind2); + SUBTYPE t_csa1_3 IS t_usa1_3 (st_ind3); + SUBTYPE t_csa1_4 IS t_usa1_4 (st_ind4); +-- ----------------------------------------------------------------------------------------- +-- +-- TYPE declarations for resolution function (Constrained types only) +-- + TYPE t_csa1_1_vct IS ARRAY (POSITIVE RANGE <>) OF t_csa1_1; + TYPE t_csa1_2_vct IS ARRAY (POSITIVE RANGE <>) OF t_csa1_2; + TYPE t_csa1_3_vct IS ARRAY (POSITIVE RANGE <>) OF t_csa1_3; + TYPE t_csa1_4_vct IS ARRAY (POSITIVE RANGE <>) OF t_csa1_4; +end; + +use work.c07s02b01x00p01n02i01950pkg.all; +ENTITY c07s02b01x00p01n02i01950ent IS +END c07s02b01x00p01n02i01950ent; + +ARCHITECTURE c07s02b01x00p01n02i01950arch OF c07s02b01x00p01n02i01950ent IS +-- +-- CONSTANT Declarations +-- + CONSTANT ARGA_C_csa1_1 : t_csa1_1 := ( '1', '1', '0', '0' ); + CONSTANT ARGA_C_usa1_1 : t_usa1_1(st_ind1) := ( '1', '1', '0', '0' ); + CONSTANT NOT_C_csa1_1 : t_csa1_1 := ( '0', '0', '1', '1' ); + CONSTANT NOT_C_usa1_1 : t_usa1_1(st_ind1) := ( '0', '0', '1', '1' ); + + CONSTANT ARGA_C_csa1_2 : t_csa1_2 := ( TRUE, TRUE, FALSE, FALSE ); + CONSTANT ARGA_C_usa1_2 : t_usa1_2(st_ind2) := ( TRUE, TRUE, FALSE, FALSE ); + CONSTANT NOT_C_csa1_2 : t_csa1_2 := ( FALSE, FALSE, TRUE, TRUE ); + CONSTANT NOT_C_usa1_2 : t_usa1_2(st_ind2) := ( FALSE, FALSE, TRUE, TRUE ); + + CONSTANT ARGA_C_csa1_3 : t_csa1_3 := ( '1', '1', '0', '0' ); + CONSTANT ARGA_C_usa1_3 : t_usa1_3(st_ind3) := ( '1', '1', '0', '0' ); + CONSTANT NOT_C_csa1_3 : t_csa1_3 := ( '0', '0', '1', '1' ); + CONSTANT NOT_C_usa1_3 : t_usa1_3(st_ind3) := ( '0', '0', '1', '1' ); + + CONSTANT ARGA_C_csa1_4 : t_csa1_4 := ( TRUE, TRUE, FALSE, FALSE ); + CONSTANT ARGA_C_usa1_4 : t_usa1_4(st_ind4) := ( TRUE, TRUE, FALSE, FALSE ); + CONSTANT NOT_C_csa1_4 : t_csa1_4 := ( FALSE, FALSE, TRUE, TRUE ); + CONSTANT NOT_C_usa1_4 : t_usa1_4(st_ind4) := ( FALSE, FALSE, TRUE, TRUE ); +-- +-- SIGNAL Declarations +-- + SIGNAL ARGA_S_csa1_1 : t_csa1_1 := ( '1', '1', '0', '0' ); + SIGNAL ARGA_S_usa1_1 : t_usa1_1(st_ind1) := ( '1', '1', '0', '0' ); + SIGNAL NOT_S_csa1_1 : t_csa1_1 := ( '0', '0', '1', '1' ); + SIGNAL NOT_S_usa1_1 : t_usa1_1(st_ind1) := ( '0', '0', '1', '1' ); + + SIGNAL ARGA_S_csa1_2 : t_csa1_2 := ( TRUE, TRUE, FALSE, FALSE ); + SIGNAL ARGA_S_usa1_2 : t_usa1_2(st_ind2) := ( TRUE, TRUE, FALSE, FALSE ); + SIGNAL NOT_S_csa1_2 : t_csa1_2 := ( FALSE, FALSE, TRUE, TRUE ); + SIGNAL NOT_S_usa1_2 : t_usa1_2(st_ind2) := ( FALSE, FALSE, TRUE, TRUE ); + + SIGNAL ARGA_S_csa1_3 : t_csa1_3 := ( '1', '1', '0', '0' ); + SIGNAL ARGA_S_usa1_3 : t_usa1_3(st_ind3) := ( '1', '1', '0', '0' ); + SIGNAL NOT_S_csa1_3 : t_csa1_3 := ( '0', '0', '1', '1' ); + SIGNAL NOT_S_usa1_3 : t_usa1_3(st_ind3) := ( '0', '0', '1', '1' ); + + SIGNAL ARGA_S_csa1_4 : t_csa1_4 := ( TRUE, TRUE, FALSE, FALSE ); + SIGNAL ARGA_S_usa1_4 : t_usa1_4(st_ind4) := ( TRUE, TRUE, FALSE, FALSE ); + SIGNAL NOT_S_csa1_4 : t_csa1_4 := ( FALSE, FALSE, TRUE, TRUE ); + SIGNAL NOT_S_usa1_4 : t_usa1_4(st_ind4) := ( FALSE, FALSE, TRUE, TRUE ); +BEGIN + TESTING: PROCESS +-- +-- VARIABLE Declarations +-- + VARIABLE ARGA_V_csa1_1 : t_csa1_1 := ( '1', '1', '0', '0' ); + VARIABLE ARGA_V_usa1_1 : t_usa1_1(st_ind1) := ( '1', '1', '0', '0' ); + VARIABLE NOT_V_csa1_1 : t_csa1_1 := ( '0', '0', '1', '1' ); + VARIABLE NOT_V_usa1_1 : t_usa1_1(st_ind1) := ( '0', '0', '1', '1' ); + + VARIABLE ARGA_V_csa1_2 : t_csa1_2 := ( TRUE, TRUE, FALSE, FALSE ); + VARIABLE ARGA_V_usa1_2 : t_usa1_2(st_ind2) := ( TRUE, TRUE, FALSE, FALSE ); + VARIABLE NOT_V_csa1_2 : t_csa1_2 := ( FALSE, FALSE, TRUE, TRUE ); + VARIABLE NOT_V_usa1_2 : t_usa1_2(st_ind2) := ( FALSE, FALSE, TRUE, TRUE ); + + VARIABLE ARGA_V_csa1_3 : t_csa1_3 := ( '1', '1', '0', '0' ); + VARIABLE ARGA_V_usa1_3 : t_usa1_3(st_ind3) := ( '1', '1', '0', '0' ); + VARIABLE NOT_V_csa1_3 : t_csa1_3 := ( '0', '0', '1', '1' ); + VARIABLE NOT_V_usa1_3 : t_usa1_3(st_ind3) := ( '0', '0', '1', '1' ); + + VARIABLE ARGA_V_csa1_4 : t_csa1_4 := ( TRUE, TRUE, FALSE, FALSE ); + VARIABLE ARGA_V_usa1_4 : t_usa1_4(st_ind4) := ( TRUE, TRUE, FALSE, FALSE ); + VARIABLE NOT_V_csa1_4 : t_csa1_4 := ( FALSE, FALSE, TRUE, TRUE ); + VARIABLE NOT_V_usa1_4 : t_usa1_4(st_ind4) := ( FALSE, FALSE, TRUE, TRUE ); + BEGIN +-- +-- Test AND operator on: CONSTANTs +-- + ASSERT ( NOT ARGA_C_csa1_1 ) = NOT_C_csa1_1 + REPORT "ERROR: composite NOT operator failed; CONSTANT; csa1_1" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_C_csa1_2 ) = NOT_C_csa1_2 + REPORT "ERROR: composite NOT operator failed; CONSTANT; csa1_2" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_C_csa1_3 ) = NOT_C_csa1_3 + REPORT "ERROR: composite NOT operator failed; CONSTANT; csa1_3" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_C_csa1_4 ) = NOT_C_csa1_4 + REPORT "ERROR: composite NOT operator failed; CONSTANT; csa1_4" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_C_usa1_1 ) = NOT_C_usa1_1 + REPORT "ERROR: composite NOT operator failed; CONSTANT; usa1_1" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_C_usa1_2 ) = NOT_C_usa1_2 + REPORT "ERROR: composite NOT operator failed; CONSTANT; usa1_2" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_C_usa1_3 ) = NOT_C_usa1_3 + REPORT "ERROR: composite NOT operator failed; CONSTANT; usa1_3" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_C_usa1_4 ) = NOT_C_usa1_4 + REPORT "ERROR: composite NOT operator failed; CONSTANT; usa1_4" + SEVERITY FAILURE; +-- +-- Test NOT operator on: SIGNALs +-- + ASSERT ( NOT ARGA_S_csa1_1 ) = NOT_S_csa1_1 + REPORT "ERROR: composite NOT operator failed; SIGNAL; csa1_1" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_S_csa1_2 ) = NOT_S_csa1_2 + REPORT "ERROR: composite NOT operator failed; SIGNAL; csa1_2" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_S_csa1_3 ) = NOT_S_csa1_3 + REPORT "ERROR: composite NOT operator failed; SIGNAL; csa1_3" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_S_csa1_4 ) = NOT_S_csa1_4 + REPORT "ERROR: composite NOT operator failed; SIGNAL; csa1_4" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_S_usa1_1 ) = NOT_S_usa1_1 + REPORT "ERROR: composite NOT operator failed; SIGNAL; usa1_1" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_S_usa1_2 ) = NOT_S_usa1_2 + REPORT "ERROR: composite NOT operator failed; SIGNAL; usa1_2" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_S_usa1_3 ) = NOT_S_usa1_3 + REPORT "ERROR: composite NOT operator failed; SIGNAL; usa1_3" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_S_usa1_4 ) = NOT_S_usa1_4 + REPORT "ERROR: composite NOT operator failed; SIGNAL; usa1_4" + SEVERITY FAILURE; +-- +-- Test NOT operator on: VARIABLEs +-- + ASSERT ( NOT ARGA_V_csa1_1 ) = NOT_V_csa1_1 + REPORT "ERROR: composite NOT operator failed; VARIABLE; csa1_1" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_V_csa1_2 ) = NOT_V_csa1_2 + REPORT "ERROR: composite NOT operator failed; VARIABLE; csa1_2" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_V_csa1_3 ) = NOT_V_csa1_3 + REPORT "ERROR: composite NOT operator failed; VARIABLE; csa1_3" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_V_csa1_4 ) = NOT_V_csa1_4 + REPORT "ERROR: composite NOT operator failed; VARIABLE; csa1_4" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_V_usa1_1 ) = NOT_V_usa1_1 + REPORT "ERROR: composite NOT operator failed; VARIABLE; usa1_1" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_V_usa1_2 ) = NOT_V_usa1_2 + REPORT "ERROR: composite NOT operator failed; VARIABLE; usa1_2" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_V_usa1_3 ) = NOT_V_usa1_3 + REPORT "ERROR: composite NOT operator failed; VARIABLE; usa1_3" + SEVERITY FAILURE; + ASSERT ( NOT ARGA_V_usa1_4 ) = NOT_V_usa1_4 + REPORT "ERROR: composite NOT operator failed; VARIABLE; usa1_4" + SEVERITY FAILURE; + wait for 5 ns; + assert NOT( ( NOT ARGA_C_csa1_1 ) = NOT_C_csa1_1 and + ( NOT ARGA_C_csa1_2 ) = NOT_C_csa1_2 and + ( NOT ARGA_C_csa1_3 ) = NOT_C_csa1_3 and + ( NOT ARGA_C_csa1_4 ) = NOT_C_csa1_4 and + ( NOT ARGA_C_usa1_1 ) = NOT_C_usa1_1 and + ( NOT ARGA_C_usa1_2 ) = NOT_C_usa1_2 and + ( NOT ARGA_C_usa1_3 ) = NOT_C_usa1_3 and + ( NOT ARGA_C_usa1_4 ) = NOT_C_usa1_4 and + ( NOT ARGA_S_csa1_1 ) = NOT_S_csa1_1 and + ( NOT ARGA_S_csa1_2 ) = NOT_S_csa1_2 and + ( NOT ARGA_S_csa1_3 ) = NOT_S_csa1_3 and + ( NOT ARGA_S_csa1_4 ) = NOT_S_csa1_4 and + ( NOT ARGA_S_usa1_1 ) = NOT_S_usa1_1 and + ( NOT ARGA_S_usa1_2 ) = NOT_S_usa1_2 and + ( NOT ARGA_S_usa1_3 ) = NOT_S_usa1_3 and + ( NOT ARGA_S_usa1_4 ) = NOT_S_usa1_4 and + ( NOT ARGA_V_csa1_1 ) = NOT_V_csa1_1 and + ( NOT ARGA_V_csa1_2 ) = NOT_V_csa1_2 and + ( NOT ARGA_V_csa1_3 ) = NOT_V_csa1_3 and + ( NOT ARGA_V_csa1_4 ) = NOT_V_csa1_4 and + ( NOT ARGA_V_usa1_1 ) = NOT_V_usa1_1 and + ( NOT ARGA_V_usa1_2 ) = NOT_V_usa1_2 and + ( NOT ARGA_V_usa1_3 ) = NOT_V_usa1_3 and + ( NOT ARGA_V_usa1_4 ) = NOT_V_usa1_4 ) + report "***PASSED TEST: c07s02b01x00p01n02i01950" + severity NOTE; + assert ( ( NOT ARGA_C_csa1_1 ) = NOT_C_csa1_1 and + ( NOT ARGA_C_csa1_2 ) = NOT_C_csa1_2 and + ( NOT ARGA_C_csa1_3 ) = NOT_C_csa1_3 and + ( NOT ARGA_C_csa1_4 ) = NOT_C_csa1_4 and + ( NOT ARGA_C_usa1_1 ) = NOT_C_usa1_1 and + ( NOT ARGA_C_usa1_2 ) = NOT_C_usa1_2 and + ( NOT ARGA_C_usa1_3 ) = NOT_C_usa1_3 and + ( NOT ARGA_C_usa1_4 ) = NOT_C_usa1_4 and + ( NOT ARGA_S_csa1_1 ) = NOT_S_csa1_1 and + ( NOT ARGA_S_csa1_2 ) = NOT_S_csa1_2 and + ( NOT ARGA_S_csa1_3 ) = NOT_S_csa1_3 and + ( NOT ARGA_S_csa1_4 ) = NOT_S_csa1_4 and + ( NOT ARGA_S_usa1_1 ) = NOT_S_usa1_1 and + ( NOT ARGA_S_usa1_2 ) = NOT_S_usa1_2 and + ( NOT ARGA_S_usa1_3 ) = NOT_S_usa1_3 and + ( NOT ARGA_S_usa1_4 ) = NOT_S_usa1_4 and + ( NOT ARGA_V_csa1_1 ) = NOT_V_csa1_1 and + ( NOT ARGA_V_csa1_2 ) = NOT_V_csa1_2 and + ( NOT ARGA_V_csa1_3 ) = NOT_V_csa1_3 and + ( NOT ARGA_V_csa1_4 ) = NOT_V_csa1_4 and + ( NOT ARGA_V_usa1_1 ) = NOT_V_usa1_1 and + ( NOT ARGA_V_usa1_2 ) = NOT_V_usa1_2 and + ( NOT ARGA_V_usa1_3 ) = NOT_V_usa1_3 and + ( NOT ARGA_V_usa1_4 ) = NOT_V_usa1_4 ) + report "***FAILED TEST: c07s02b01x00p01n02i01950 - Logical operator NOT for any user-defined one-dimensional array type test failed." + severity ERROR; + wait; + END PROCESS TESTING; + +END c07s02b01x00p01n02i01950arch; |