CristalCaveGem » LustreC » Lustrec-Tests

-- 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: tc1375.vhd,v 1.2 2001-10-26 16:29:40 paw Exp $

-- $Revision: 1.2 $

--

-- ---------------------------------------------------------------------

package c08s05b00x00p03n01i01375pkg is

  -- Type declarations.

  subtype     BV2  is BIT_VECTOR( 0 to 1 );

  subtype     CH2  is STRING( 1 to 2 );

  -- Constant declarations.

  constant BVC  : BV2 := B"00";

  constant CHC  : CH2 := "bb";

  -- Function returns BV2.

  function  returnBV2 return BV2;

  -- Function returns CH2.

  function  returnCH2 return CH2;

end c08s05b00x00p03n01i01375pkg;

package body c08s05b00x00p03n01i01375pkg is

  -- Function returns BV2.

  function  returnBV2 return BV2 is

  begin

    return ( BVC );

  end returnBV2;

  -- Function returns CH2.

  function  returnCH2 return CH2 is

  begin

    return( CHC );

  end returnCH2;

end c08s05b00x00p03n01i01375pkg;

use work.c08s05b00x00p03n01i01375pkg.all;

ENTITY c08s05b00x00p03n01i01375ent IS

END c08s05b00x00p03n01i01375ent;

ARCHITECTURE c08s05b00x00p03n01i01375arch OF c08s05b00x00p03n01i01375ent IS

BEGIN

  TESTING: PROCESS

    -- local variables

    variable BITV     : BV2 := B"11";

    variable STRV     : CH2 := "ab";

    variable S, T        : BIT;

    variable S1, T1        : BIT;

    variable S11, T11        : BIT;

    variable C1, C2      : CHARACTER;

    variable C11, C22      : CHARACTER;

    variable C111, C222      : CHARACTER;

  BEGIN

    -- Assign with a variable as the expression.

    ( S, T )  := BITV;

    ( C1,C2 ) := STRV;

    -- Assign with a function return value.

    ( S1, T1 )  := returnBV2;

    ( C11,C22 ) := returnCH2;

    -- Assign with a qualified expression.

    ( S11, T11 )  := BV2'( '0', '1' );

    ( C111,C222 ) := CH2'( 'c', 'c' );

    assert NOT(((S = BITV( 0 )) and (T = BITV( 1 )))

               and ((C1 = STRV( 1 )) and (C2 = STRV( 2 )))

               and ((S1 = BVC( 0 )) and (T1 = BVC( 1 )))

               and ((C11 = CHC( 1 )) and (C22 = CHC( 2 )))

               and ((S11 = '0') and (T11 = '1'))

               and ((C111 = 'c') and (C222 = 'c')))

      report "***PASSED TEST: c08s05b00x00p03n01i01375" 

      severity NOTE;

    assert (((S = BITV( 0 )) and (T = BITV( 1 )))

            and ((C1 = STRV( 1 )) and (C2 = STRV( 2 )))

            and ((S1 = BVC( 0 )) and (T1 = BVC( 1 )))

            and ((C11 = CHC( 1 )) and (C22 = CHC( 2 )))

            and ((S11 = '0') and (T11 = '1'))

            and ((C111 = 'c') and (C222 = 'c')))

      report "***FAILED TEST: c08s05b00x00p03n01i01375 - Legal aggregate variable assignment fail." 

      severity ERROR;

    wait;

  END PROCESS TESTING;

END c08s05b00x00p03n01i01375arch;