1 |
3fd18385
|
Arnaud Dieumegard
|
|
2 |
|
|
-- Copyright (C) 2001 Bill Billowitch.
|
3 |
|
|
|
4 |
|
|
-- Some of the work to develop this test suite was done with Air Force
|
5 |
|
|
-- support. The Air Force and Bill Billowitch assume no
|
6 |
|
|
-- responsibilities for this software.
|
7 |
|
|
|
8 |
|
|
-- This file is part of VESTs (Vhdl tESTs).
|
9 |
|
|
|
10 |
|
|
-- VESTs is free software; you can redistribute it and/or modify it
|
11 |
|
|
-- under the terms of the GNU General Public License as published by the
|
12 |
|
|
-- Free Software Foundation; either version 2 of the License, or (at
|
13 |
|
|
-- your option) any later version.
|
14 |
|
|
|
15 |
|
|
-- VESTs is distributed in the hope that it will be useful, but WITHOUT
|
16 |
|
|
-- ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
17 |
|
|
-- FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
18 |
|
|
-- for more details.
|
19 |
|
|
|
20 |
|
|
-- You should have received a copy of the GNU General Public License
|
21 |
|
|
-- along with VESTs; if not, write to the Free Software Foundation,
|
22 |
|
|
-- Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
23 |
|
|
|
24 |
|
|
-- ---------------------------------------------------------------------
|
25 |
|
|
--
|
26 |
|
|
-- $Id: tc148.vhd,v 1.2 2001-10-26 16:29:41 paw Exp $
|
27 |
|
|
-- $Revision: 1.2 $
|
28 |
|
|
--
|
29 |
|
|
-- ---------------------------------------------------------------------
|
30 |
|
|
|
31 |
|
|
ENTITY c04s03b02x02p14n01i00148ent IS
|
32 |
|
|
END c04s03b02x02p14n01i00148ent;
|
33 |
|
|
|
34 |
|
|
ARCHITECTURE c04s03b02x02p14n01i00148arch OF c04s03b02x02p14n01i00148ent IS
|
35 |
|
|
|
36 |
|
|
FUNCTION FLOAT ( ival : in integer) return real is
|
37 |
|
|
VARIABLE v1 : real := 543.0;
|
38 |
|
|
begin
|
39 |
|
|
RETURN v1;
|
40 |
|
|
end FLOAT;
|
41 |
|
|
|
42 |
|
|
FUNCTION ROUND ( rval : in real) return integer is
|
43 |
|
|
VARIABLE v1 : integer := 543;
|
44 |
|
|
begin
|
45 |
|
|
RETURN v1;
|
46 |
|
|
end ROUND;
|
47 |
|
|
|
48 |
|
|
PROCEDURE test_bed
|
49 |
|
|
( in1 : in integer;
|
50 |
|
|
out1 : out real ) is
|
51 |
|
|
begin
|
52 |
|
|
out1 := FLOAT (in1);
|
53 |
|
|
end test_bed;
|
54 |
|
|
|
55 |
|
|
BEGIN
|
56 |
|
|
TESTING: PROCESS
|
57 |
|
|
VARIABLE var1 : real;
|
58 |
|
|
VARIABLE var2 : real := 543.2;
|
59 |
|
|
BEGIN
|
60 |
|
|
test_bed ( in1 => ROUND (var2),
|
61 |
|
|
out1 => var1 );
|
62 |
|
|
assert NOT( var1 = 543.0 )
|
63 |
|
|
report "***PASSED TEST: c04s03b02x02p14n01i00148"
|
64 |
|
|
severity NOTE;
|
65 |
|
|
assert ( var1 = 543.0 )
|
66 |
|
|
report "***FAILED TEST: c04s03b02x02p14n01i00148 - The actual part of a named element association may be in the form of a function call."
|
67 |
|
|
severity ERROR;
|
68 |
|
|
wait;
|
69 |
|
|
END PROCESS TESTING;
|
70 |
|
|
|
71 |
|
|
END c04s03b02x02p14n01i00148arch;
|