diff options
Diffstat (limited to 'testsuite/vests/vhdl-93/billowitch/compliant/tc32.vhd')
| -rw-r--r-- | testsuite/vests/vhdl-93/billowitch/compliant/tc32.vhd | 518 |
1 files changed, 518 insertions, 0 deletions
diff --git a/testsuite/vests/vhdl-93/billowitch/compliant/tc32.vhd b/testsuite/vests/vhdl-93/billowitch/compliant/tc32.vhd new file mode 100644 index 000000000..f979ce728 --- /dev/null +++ b/testsuite/vests/vhdl-93/billowitch/compliant/tc32.vhd @@ -0,0 +1,518 @@ + +-- 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: tc32.vhd,v 1.2 2001-10-26 16:29:52 paw Exp $ +-- $Revision: 1.2 $ +-- +-- --------------------------------------------------------------------- + +ENTITY c04s03b01x01p01n01i00032ent IS +END c04s03b01x01p01n01i00032ent; + +ARCHITECTURE c04s03b01x01p01n01i00032arch OF c04s03b01x01p01n01i00032ent IS + +-- +-- Declaration of composite types +-- + TYPE U1 IS ARRAY (CHARACTER RANGE <>) OF INTEGER; -- unconstrained array type + TYPE C1 IS ARRAY (5 TO 9) OF BIT; -- constrained array type +-- +-- Declaration of composite types +-- - records types and subtypes +-- + TYPE month_name IS (Jan, Feb, Mar, Apr, May, Jun, Jul, Aug, Sep, Oct, Nov, Dec ); + + TYPE R1 IS + RECORD + month : month_name; + day : INTEGER RANGE 0 TO 31; + year : INTEGER RANGE 0 TO 4000; + END RECORD; +-- +-- Declaration of composite - composite types +-- + TYPE US1 IS ARRAY (INTEGER RANGE <> ) OF STRING ( 1 TO 8 ); + TYPE UV1 IS ARRAY (INTEGER RANGE <> ) OF BIT_VECTOR ( 3 DOWNTO 0 ); + TYPE UU1 IS ARRAY (INTEGER RANGE <> ) OF U1 ('a' TO 'd'); + TYPE UC1 IS ARRAY (INTEGER RANGE <> ) OF C1; + TYPE UR1 IS ARRAY (INTEGER RANGE <> ) OF R1; + + TYPE CS1 IS ARRAY (INTEGER RANGE 0 TO 3) OF STRING ( 1 TO 8 ); + TYPE CV1 IS ARRAY (INTEGER RANGE 0 TO 3) OF BIT_VECTOR ( 3 DOWNTO 0 ); + TYPE CU1 IS ARRAY (INTEGER RANGE 0 TO 3) OF U1 ('a' TO 'd'); + TYPE CC1 IS ARRAY (INTEGER RANGE 0 TO 3) OF C1; + TYPE CR1 IS ARRAY (INTEGER RANGE 0 TO 3) OF R1; + + TYPE RAR IS RECORD + eS1 : STRING ( 1 TO 8 ); + eV1 : BIT_VECTOR ( 3 DOWNTO 0 ); + eU1 : U1 ('a' TO 'd'); + eC1 : C1 ; + eR1 : R1 ; + END RECORD; +---------------------------------------------------------------------------------------- +-- +-- CONSTANT declarations - initial aggregate value +-- NOTE: index constraints for the unconstrained types are +-- established by the intial value. +-- + CONSTANT US1_con_1 : US1 := ( + (NUL, SOH, STX, ETX, EOT, ENQ, ACK, BEL), + (BS, HT, LF, VT, FF, CR, SO, SI ), + (DLE, DC1, DC2, DC3, DC4, NAK, SYN, ETB), + (CAN, EM, SUB, ESC, FSP, GSP, RSP, USP) + ); + + CONSTANT UV1_con_1 : UV1 := ( + ('0', '1', '0', '0'), + ('1', '0', '1', '1'), + ('1', '0', '0', '0'), + ('0', '1', '0', '1') + ); + + CONSTANT UU1_con_1 : UU1 := ( + ( 1, 2, 3, 4), + ( 5, 6, 7, 8), + ( 9, 10, 11, 12), + ( 13, 14, 15, 16) + ); + + CONSTANT UC1_con_1 : UC1 := ( + ('0', '1', '0', '0', '1'), + ('0', '1', '1', '1', '0'), + ('0', '0', '0', '1', '0'), + ('1', '0', '0', '0', '1') + ); + + CONSTANT UR1_con_1 : UR1 := ( (Feb,05,1701), + (Apr,10,1802), + (Jun,15,1903), + (Aug,20,2004) ); + + CONSTANT CS1_con_1 : CS1 := ( + (NUL, SOH, STX, ETX, EOT, ENQ, ACK, BEL), + (BS, HT, LF, VT, FF, CR, SO, SI ), + (DLE, DC1, DC2, DC3, DC4, NAK, SYN, ETB), + (CAN, EM, SUB, ESC, FSP, GSP, RSP, USP) + + ); + + CONSTANT CV1_con_1 : CV1 := ( + ('0', '1', '0', '0'), + ('1', '0', '1', '1'), + ('1', '0', '0', '0'), + ('0', '1', '0', '1') + ); + + CONSTANT CU1_con_1 : CU1 := ( + ( 1, 2, 3, 4), + ( 5, 6, 7, 8), + ( 9, 10, 11, 12), + ( 13, 14, 15, 16) + ); + + CONSTANT CC1_con_1 : CC1 := ( + ('0', '1', '0', '0', '1'), + ('0', '1', '1', '1', '0'), + ('0', '0', '0', '1', '0'), + ('1', '0', '0', '0', '1') + ); + + CONSTANT CR1_con_1 : CR1 := ( (Feb,05,1701), + (Apr,10,1802), + (Jun,15,1903), + (Aug,20,2004) ); + + CONSTANT RAR_con_1 : RAR := ( + (SOH, STX, ETX, EOT, ENQ, ACK, BEL, BS ), + ('1', '1', '0', '0'), + ( 1, 2, 3, 4), + ('0', '1', '0', '0', '1'), + (Feb,29,0108) ); + +-- +-- CONSTANT declarations - aggregate of strings initial value +-- + CONSTANT US1_con_2 : US1 := ( "@ABCDEFG", "HIJKLMNO", "PQRSTUVW", "XYZ[\]^_" ); + CONSTANT UV1_con_2 : UV1 := ( B"0100", B"1011", B"1000", B"0101" ); + CONSTANT UC1_con_2 : UC1 := ( B"01001", B"01110", B"00010", B"10001" ); + + CONSTANT CS1_con_2 : CS1 := ( "@ABCDEFG", "HIJKLMNO", "PQRSTUVW", "XYZ[\]^_" ); + CONSTANT CV1_con_2 : CV1 := ( B"0100", B"1011", B"1000", B"0101" ); + CONSTANT CC1_con_2 : CC1 := ( B"01001", B"01110", B"00010", B"10001" ); + + CONSTANT RAR_con_2 : RAR := ( "@ABCDEFG", B"1100", (1,2,3,4), B"01001", (Feb,29,0108) ); + + +----------------------------------------------------------------------------------------- +BEGIN + TESTING: PROCESS +-- +-- Declarationi for generation of BIT test pattern +-- + VARIABLE bval : BIT; + VARIABLE index : INTEGER; + VARIABLE ii : INTEGER; + + variable k : integer := 0; + + PROCEDURE pattern ( index : INOUT INTEGER; bval : OUT BIT ) IS +-- +-- if starting index value is 59, the +-- test pattern is 01001011100001010001111 (repeats) +-- + BEGIN + IF index > 100 + THEN bval := '1'; + index := index - 100; + ELSE bval := '0'; + END IF; + index := index * 2; + END; + + BEGIN + +---------------------------------------------------------------------------------------- +-- +-- Verify initial values +-- + FOR I IN 0 TO 3 LOOP ii := INTEGER'LEFT + I; + FOR J IN 1 TO 8 LOOP + if (US1_con_1(ii)(J) /= CHARACTER'VAL((I*8)+(J-1))) then + k := 1; + end if; + ASSERT US1_con_1(ii)(J) = CHARACTER'VAL((I*8)+(J-1)) + REPORT "ERROR: Bad initial value of US1_con_1" SEVERITY FAILURE; + END LOOP; + END LOOP; + + index := 59; + FOR I IN 0 TO 3 LOOP ii := INTEGER'LEFT + I; + FOR J IN 3 DOWNTO 0 LOOP + pattern ( index, bval ); + if (UV1_con_1(ii)(J) /= bval) then + k := 1; + end if; + ASSERT UV1_con_1(ii)(J) = bval + REPORT "ERROR: Bad initial value of UV1_con_1" SEVERITY FAILURE; + END LOOP; + END LOOP; + + index := 0; + FOR I IN 0 TO 3 LOOP ii := INTEGER'LEFT + I; + FOR J IN 'a' TO 'd' LOOP + index := index + 1; + if (UU1_con_1(ii)(J) /= index) then + k := 1; + end if; + ASSERT UU1_con_1(ii)(J) = index + REPORT "ERROR: Bad initial value of UU1_con_1" SEVERITY FAILURE; + END LOOP; + END LOOP; + + index := 59; + FOR I IN 0 TO 3 LOOP ii := INTEGER'LEFT + I; + FOR J IN 5 TO 9 LOOP + pattern ( index, bval ); + if (UC1_con_1(ii)(J) /= bval) then + k := 1; + end if; + ASSERT UC1_con_1(ii)(J) = bval + REPORT "ERROR: Bad initial value of UC1_con_1" SEVERITY FAILURE; + END LOOP; + END LOOP; + + FOR I IN 0 TO 3 LOOP ii := INTEGER'LEFT + I; + if (UR1_con_1(ii).month /= month_name'VAL((I*2)+1)) then + k := 1; + end if; + ASSERT UR1_con_1(ii).month = month_name'VAL((I*2)+1) + REPORT "ERROR: Bad initial value of UR1_con_1(ii).month" SEVERITY FAILURE; + if (UR1_con_1(ii).day /= I*5 +5) then + k := 1; + end if; + ASSERT UR1_con_1(ii).day = I*5 + 5 + REPORT "ERROR: Bad initial value of UR1_con_1(ii).day" SEVERITY FAILURE; + if (UR1_con_1(ii).year /= 1701 +(I*101)) then + k := 1; + end if; + ASSERT UR1_con_1(ii).year = 1701 + (I*101) + REPORT "ERROR: Bad initial value of UR1_con_1(ii).year" SEVERITY FAILURE; + END LOOP; + +-- + FOR I IN 0 TO 3 LOOP + FOR J IN 1 TO 8 LOOP + if (CS1_con_1(I)(J) /= CHARACTER'VAL((I*8)+(J-1))) then + k := 1; + end if; + ASSERT CS1_con_1(I)(J) = CHARACTER'VAL((I*8)+(J-1)) + REPORT "ERROR: Bad initial value of CS1_con_1" SEVERITY FAILURE; + END LOOP; + END LOOP; + + index := 59; + FOR I IN 0 TO 3 LOOP + FOR J IN 3 DOWNTO 0 LOOP + pattern ( index, bval ); + if (CV1_con_1(I)(J) /= bval) then + k := 1; + end if; + ASSERT CV1_con_1(I)(J) = bval + REPORT "ERROR: Bad initial value of CV1_con_1" SEVERITY FAILURE; + END LOOP; + END LOOP; + + index := 0; + FOR I IN 0 TO 3 LOOP + FOR J IN 'a' TO 'd' LOOP + index := index + 1; + if (CU1_con_1(I)(J) /= index) then + k := 1; + end if; + ASSERT CU1_con_1(I)(J) = index + REPORT "ERROR: Bad initial value of CU1_con_1" SEVERITY FAILURE; + END LOOP; + END LOOP; + + index := 59; + FOR I IN 0 TO 3 LOOP + FOR J IN 5 TO 9 LOOP + pattern ( index, bval ); + if (CC1_con_1(I)(J) /= bval) then + k := 1; + end if; + ASSERT CC1_con_1(I)(J) = bval + REPORT "ERROR: Bad initial value of CC1_con_1" SEVERITY FAILURE; + END LOOP; + END LOOP; + + FOR I IN 0 TO 3 LOOP + if (CR1_con_1(I).month /= month_name'VAL((I*2)+1)) then + k := 1; + end if; + ASSERT CR1_con_1(I).month = month_name'VAL((I*2)+1) + REPORT "ERROR: Bad initial value of CR1_con_1(I).month" SEVERITY FAILURE; + if (CR1_con_1(I).day /= (I+1)*5) then + k := 1; + end if; + ASSERT CR1_con_1(I).day = (I+1)*5 + REPORT "ERROR: Bad initial value of CR1_con_1(I).day" SEVERITY FAILURE; + if (CR1_con_1(I).year /= 1701 + (I*101)) then + k := 1; + end if; + ASSERT CR1_con_1(I).year = 1701 + (I*101) + REPORT "ERROR: Bad initial value of CR1_con_1(I).year" SEVERITY FAILURE; + END LOOP; + +-- + FOR J IN 1 TO 8 LOOP + if (RAR_con_1.eS1(J) /= CHARACTER'VAL(J)) then + k := 1; + end if; + ASSERT RAR_con_1.eS1(J) = CHARACTER'VAL(J) + REPORT "ERROR: Bad initial value of RAR_con_1.eS1" SEVERITY FAILURE; + END LOOP; + + FOR J IN 3 DOWNTO 0 LOOP + if (RAR_con_1.eV1(J) /= BIT'VAL(J/2)) then + k := 1; + end if; + ASSERT RAR_con_1.eV1(J) = BIT'VAL(J/2) + REPORT "ERROR: Bad initial value of RAR_con_1.eV1" SEVERITY FAILURE; + END LOOP; + + index := 0; + FOR J IN 'a' TO 'd' LOOP + index := index + 1; + if (RAR_con_1.eU1(J) /= index) then + k := 1; + end if; + ASSERT RAR_con_1.eU1(J) = index + REPORT "ERROR: Bad initial value of RAR_con_1.eU1" SEVERITY FAILURE; + END LOOP; + + index := 59; + FOR J IN 5 TO 9 LOOP + pattern ( index, bval ); + if (RAR_con_1.eC1(J) /= bval) then + k := 1; + end if; + ASSERT RAR_con_1.eC1(J) = bval + REPORT "ERROR: Bad initial value of RAR_con_1.eC1" SEVERITY FAILURE; + END LOOP; + + if (RAR_con_1.eR1.month /= FEB) then + k := 1; + end if; + ASSERT RAR_con_1.eR1.month = FEB + REPORT "ERROR: Bad initial value of RAR_con_1.eR1.month" SEVERITY FAILURE; + if (RAR_con_1.eR1.day /= 29) then + k := 1; + end if; + ASSERT RAR_con_1.eR1.day = 29 + REPORT "ERROR: Bad initial value of RAR_con_1.eR1.day" SEVERITY FAILURE; + if (RAR_con_1.eR1.year /= 0108) then + k := 1; + end if; + ASSERT RAR_con_1.eR1.year = 0108 + REPORT "ERROR: Bad initial value of RAR_con_1.eR1.year" SEVERITY FAILURE; + +-- ---------------------------------------------------------------------------------- + FOR I IN 0 TO 3 LOOP ii := INTEGER'LEFT + I; + FOR J IN 1 TO 8 LOOP + if (US1_con_2(ii)(J) /= CHARACTER'VAL((I*8)+(J-1)+64)) then + k := 1; + end if; + ASSERT US1_con_2(ii)(J) = CHARACTER'VAL((I*8)+(J-1)+64) + REPORT "ERROR: Bad initial value of US1_con_2" SEVERITY FAILURE; + END LOOP; + END LOOP; + + index := 59; + FOR I IN 0 TO 3 LOOP ii := INTEGER'LEFT + I; + FOR J IN 3 DOWNTO 0 LOOP + pattern ( index, bval ); + if (UV1_con_2(ii)(J) /= bval) then + k := 1; + end if; + ASSERT UV1_con_2(ii)(J) = bval + REPORT "ERROR: Bad initial value of UV1_con_2" SEVERITY FAILURE; + END LOOP; + END LOOP; + + index := 59; + FOR I IN 0 TO 3 LOOP ii := INTEGER'LEFT + I; + FOR J IN 5 TO 9 LOOP + pattern ( index, bval ); + if (UC1_con_2(ii)(J) /= bval) then + k := 1; + end if; + ASSERT UC1_con_2(ii)(J) = bval + REPORT "ERROR: Bad initial value of UC1_con_2" SEVERITY FAILURE; + END LOOP; + END LOOP; + +-- + FOR I IN 0 TO 3 LOOP + FOR J IN 1 TO 8 LOOP + if (CS1_con_2(I)(J) /= CHARACTER'VAL((I*8)+(J-1)+64)) then + k := 1; + end if; + ASSERT CS1_con_2(I)(J) = CHARACTER'VAL((I*8)+(J-1)+64) + REPORT "ERROR: Bad initial value of CS1_con_2" SEVERITY FAILURE; + END LOOP; + END LOOP; + + index := 59; + FOR I IN 0 TO 3 LOOP + FOR J IN 3 DOWNTO 0 LOOP + pattern ( index, bval ); + if (CV1_con_2(I)(J) /= bval) then + k := 1; + end if; + ASSERT CV1_con_2(I)(J) = bval + REPORT "ERROR: Bad initial value of CV1_con_2" SEVERITY FAILURE; + END LOOP; + END LOOP; + + index := 59; + FOR I IN 0 TO 3 LOOP + FOR J IN 5 TO 9 LOOP + pattern ( index, bval ); + if (CC1_con_2(I)(J) /= bval) then + k := 1; + end if; + ASSERT CC1_con_2(I)(J) = bval + REPORT "ERROR: Bad initial value of CC1_con_2" SEVERITY FAILURE; + END LOOP; + END LOOP; + +-- + FOR J IN 1 TO 8 LOOP + if (RAR_con_2.eS1(J) /= CHARACTER'VAL((J-1)+64)) then + k := 1; + end if; + ASSERT RAR_con_2.eS1(J) = CHARACTER'VAL((J-1)+64) + REPORT "ERROR: Bad initial value of RAR_con_2.eS1" SEVERITY FAILURE; + END LOOP; + + FOR J IN 3 DOWNTO 0 LOOP + if (RAR_con_2.eV1(J) /= BIT'VAL(J/2)) then + k := 1; + end if; + ASSERT RAR_con_2.eV1(J) = BIT'VAL(J/2) + REPORT "ERROR: Bad initial value of RAR_con_2.eV1" SEVERITY FAILURE; + END LOOP; + + index := 0; + FOR J IN 'a' TO 'd' LOOP + index := index + 1; + if (RAR_con_2.eU1(J) /= index) then + k := 1; + end if; + ASSERT RAR_con_2.eU1(J) = index + REPORT "ERROR: Bad initial value of RAR_con_2.eU1" SEVERITY FAILURE; + END LOOP; + + index := 59; + FOR J IN 5 TO 9 LOOP + pattern ( index, bval ); + if (RAR_con_2.eC1(J) /= bval) then + k := 1; + end if; + ASSERT RAR_con_2.eC1(J) = bval + REPORT "ERROR: Bad initial value of RAR_con_2.eC1" SEVERITY FAILURE; + END LOOP; + + if (RAR_con_2.eR1.month /= FEB) then + k := 1; + end if; + ASSERT RAR_con_2.eR1.month = FEB + REPORT "ERROR: Bad initial value of RAR_con_2.eR1.month" SEVERITY FAILURE; + if (RAR_con_2.eR1.day /=29) then + k := 1; + end if; + ASSERT RAR_con_2.eR1.day = 29 + REPORT "ERROR: Bad initial value of RAR_con_2.eR1.day" SEVERITY FAILURE; + if (RAR_con_2.eR1.year /= 0108) then + k := 1; + end if; + ASSERT RAR_con_2.eR1.year = 0108 + REPORT "ERROR: Bad initial value of RAR_con_1.eR1.year" SEVERITY + FAILURE; + +--------------------------------------------------------------------------------------------- + + assert NOT( k = 0 ) + report "***PASSED TEST: c04s03b01x01p01n01i00032" + severity NOTE; + assert ( k = 0 ) + report "***FAILED TEST:c04s03b01x01p01n01i00032 - A constant declares a constant of the specified type." + severity ERROR; + wait; + END PROCESS TESTING; + +END c04s03b01x01p01n01i00032arch; |