Import vests testsuite

1 files changed, 136 insertions, 0 deletions

diff --git a/testsuite/vests/vhdl-93/billowitch/compliant/tc2383.vhd b/testsuite/vests/vhdl-93/billowitch/compliant/tc2383.vhd
new file mode 100644
index 0000000..0d5e116
--- /dev/null
+++ b/testsuite/vests/vhdl-93/billowitch/compliant/tc2383.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: tc2383.vhd,v 1.2 2001-10-26 16:29:47 paw Exp $
+-- $Revision: 1.2 $
+--
+-- ---------------------------------------------------------------------
+
+ENTITY c07s03b02x00p06n02i02383ent IS
+END c07s03b02x00p06n02i02383ent;
+
+ARCHITECTURE c07s03b02x00p06n02i02383arch OF c07s03b02x00p06n02i02383ent IS
+
+BEGIN
+  TESTING: PROCESS
+    -- Declare ascending and descending ranges.
+    subtype    BYTE    is BIT_VECTOR( 0 to 7 );
+    type    NIBBLE    is ARRAY ( 3 downto 0 ) of BIT;
+
+    -- Declare array variables of these types.
+    variable BYTEV1 : BYTE;
+    variable BYTEV2 : BYTE;
+    variable NIBV1  : NIBBLE;
+    variable NIBV2  : NIBBLE;
+  BEGIN
+    -- Set their values with aggregates and check them.
+    -- 1. Ascending first.
+    BYTEV1 := BYTE'( 7 => '0', others => '1' );
+    assert( BYTEV1( 0 ) = '1' );
+    assert( BYTEV1( 1 ) = '1' );
+    assert( BYTEV1( 2 ) = '1' );
+    assert( BYTEV1( 3 ) = '1' );
+    assert( BYTEV1( 4 ) = '1' );
+    assert( BYTEV1( 5 ) = '1' );
+    assert( BYTEV1( 6 ) = '1' );
+    assert( BYTEV1( 7 ) = '0' );
+    BYTEV2 := BYTE'( 7 => '1', 0 to 6 => '0' );
+    assert( BYTEV2( 0 ) = '0' );
+    assert( BYTEV2( 1 ) = '0' );
+    assert( BYTEV2( 2 ) = '0' );
+    assert( BYTEV2( 3 ) = '0' );
+    assert( BYTEV2( 4 ) = '0' );
+    assert( BYTEV2( 5 ) = '0' );
+    assert( BYTEV2( 6 ) = '0' );
+    assert( BYTEV2( 7 ) = '1' );
+
+    -- 2. Descending next.
+    NIBV1 := NIBBLE'( 3 downto 1 => '1', 0 downto 0 => '0' );
+    assert( NIBV1( 3 ) = '1' );
+    assert( NIBV1( 2 ) = '1' );
+    assert( NIBV1( 1 ) = '1' );
+    assert( NIBV1( 0 ) = '0' );
+    NIBV2 := NIBBLE'( 1 to 3 => '0', 0 downto 0 => '1' );
+    assert( NIBV2( 3 ) = '0' );
+    assert( NIBV2( 2 ) = '0' );
+    assert( NIBV2( 1 ) = '0' );
+    assert( NIBV2( 0 ) = '1' );
+    wait for 5 ns;
+    assert NOT(    ( BYTEV1( 0 ) = '1' )   and
+                   ( BYTEV1( 1 ) = '1' )   and
+                   ( BYTEV1( 2 ) = '1' )   and
+                   ( BYTEV1( 3 ) = '1' )   and
+                   ( BYTEV1( 4 ) = '1' )   and
+                   ( BYTEV1( 5 ) = '1' )   and
+                   ( BYTEV1( 6 ) = '1' )   and
+                   ( BYTEV1( 7 ) = '0' )   and
+                   ( BYTEV2( 0 ) = '0' )   and 
+                   ( BYTEV2( 1 ) = '0' )   and
+                   ( BYTEV2( 2 ) = '0' )   and
+                   ( BYTEV2( 3 ) = '0' )   and
+                   ( BYTEV2( 4 ) = '0' )   and
+                   ( BYTEV2( 5 ) = '0' )   and
+                   ( BYTEV2( 6 ) = '0' )   and
+                   ( BYTEV2( 7 ) = '1' )   and
+                   ( NIBV1( 3 ) = '1' )   and 
+                   ( NIBV1( 2 ) = '1' )   and
+                   ( NIBV1( 1 ) = '1' )   and
+                   ( NIBV1( 0 ) = '0' )   and
+                   ( NIBV2( 3 ) = '0' )   and
+                   ( NIBV2( 2 ) = '0' )   and
+                   ( NIBV2( 1 ) = '0' )   and
+                   ( NIBV2( 0 ) = '1' )   )
+      report "***PASSED TEST: c07s03b02x00p06n02i02383"
+      severity NOTE;
+    assert (    ( BYTEV1( 0 ) = '1' )   and
+                ( BYTEV1( 1 ) = '1' )   and
+                ( BYTEV1( 2 ) = '1' )   and
+                ( BYTEV1( 3 ) = '1' )   and
+                ( BYTEV1( 4 ) = '1' )   and
+                ( BYTEV1( 5 ) = '1' )   and
+                ( BYTEV1( 6 ) = '1' )   and
+                ( BYTEV1( 7 ) = '0' )   and
+                ( BYTEV2( 0 ) = '0' )   and 
+                ( BYTEV2( 1 ) = '0' )   and
+                ( BYTEV2( 2 ) = '0' )   and
+                ( BYTEV2( 3 ) = '0' )   and
+                ( BYTEV2( 4 ) = '0' )   and
+                ( BYTEV2( 5 ) = '0' )   and
+                ( BYTEV2( 6 ) = '0' )   and
+                ( BYTEV2( 7 ) = '1' )   and
+                ( NIBV1( 3 ) = '1' )   and 
+                ( NIBV1( 2 ) = '1' )   and
+                ( NIBV1( 1 ) = '1' )   and
+                ( NIBV1( 0 ) = '0' )   and
+                ( NIBV2( 3 ) = '0' )   and
+                ( NIBV2( 2 ) = '0' )   and
+                ( NIBV2( 1 ) = '0' )   and
+                ( NIBV2( 0 ) = '1' )   )
+      report "***FAILED TEST: c07s03b02x00p06n02i02383 - Named association assignment test failed."
+      severity ERROR;
+    wait;
+  END PROCESS TESTING;
+
+END c07s03b02x00p06n02i02383arch;