1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
|
-- Copyright (C) 2001-2002 The University of Cincinnati.
-- All rights reserved.
-- This file is part of VESTs (Vhdl tESTs).
-- UC MAKES NO REPRESENTATIONS OR WARRANTIES ABOUT THE SUITABILITY OF THE
-- SOFTWARE, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE
-- IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE,
-- OR NON-INFRINGEMENT. UC SHALL NOT BE LIABLE FOR ANY DAMAGES SUFFERED BY
-- LICENSEE AS A RESULT OF USING, RESULT OF USING, MODIFYING OR
-- DISTRIBUTING THIS SOFTWARE OR ITS DERIVATIVES.
-- By using or copying this Software, Licensee agrees to abide by the
-- intellectual property laws, and all other applicable laws of the U.S.,
-- and the terms of this license.
-- You may modify, distribute, and use the software contained in this
-- package under the terms of the "GNU GENERAL PUBLIC LICENSE" version 2,
-- June 1991. A copy of this license agreement can be found in the file
-- "COPYING", distributed with this archive.
-- 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: test144.ams,v 1.1 2002-03-27 22:11:18 paw Exp $
-- $Revision: 1.1 $
--
-- ---------------------------------------------------------------------
-------------------------------------------------------------------------
-- SIERRA REGRESSION TESTING MODEL
-- Develooped at:
-- Distriburted Processing Laboratory
-- University of cincinnati
-- Cincinnati
-------------------------------------------------------------------------
-- File : test144.ams
-- Author(s) : Geeta Balarkishnan(gbalakri@ececs.uc.edu)
-- Created : May 2001
----------------------------------------------------------------------------
-- Description :
-----------------------------------------------------------------------------
-- the test checks for the correctness of the ATTRIBUTE declaration
-- also checks function, real_vector and quantity vector declarations
-- the integer range<> is used instead of specifying the actaul range
-- or size of the matrix.
-- 1 D and 2 D matrix operations are verified.
-- the test performs the matrix dot product caluculation and also
-- product of a 2 D matrix with a column vector.
----------------------------------------------------------------------
PACKAGE electrical_system IS
-- declare attribute to hold units
ATTRIBUTE unit : string;
NATURE electrical IS
real ACROSS
real THROUGH;
NATURE electrical_vector IS ARRAY(integer range<>) OF electrical;
FUNCTION SIN(X : real) RETURN real;
FUNCTION EXP(X : real) RETURN real;
FUNCTION SQRT(X : real) RETURN real;
FUNCTION POW(X,Y : real) RETURN real;
NATURE real_vector IS ARRAY(integer range<>) of real;
END PACKAGE electrical_system;
PACKAGE real_aux IS
TYPE real_vector IS ARRAY(integer range<>) OF real;
TYPE real_matrix IS ARRAY(integer range<>, integer range<>) OF real;
-- scalar := (row_)vector * (column_)vector
FUNCTION "*"(v1, v2 : real_vector) RETURN real IS
VARIABLE result : real := 0.0;
BEGIN
ASSERT v1'range = v2'range; -- to ensure correct dot product evaluation
FOR i IN v1'range LOOP
result := result + v1(i) * v2(i);
END LOOP;
RETURN result;
END FUNCTION "*";
-- (column_)vector := matrix * (column_)vector
FUNCTION "*"(m : real_matrix; v : real_vector) RETURN real_vector IS
VARIABLE result : real_vector(m'range(1));
BEGIN
ASSERT m'range(2) = v'range;
FOR i IN result'range LOOP
result(i) = 0.0;
FOR j IN v'range LOOP
result(i) := result(i) + m(i,j) * v(j);
END LOOP;
END LOOP;
RETURN result;
END FUNCTION "*";
END PACKAGE real_aux;
use work.electrical_system.all;
-- ideal multiplier
ENTITY mult IS
PORT (TERMINAL in1, in2, output, ref : electrical);
END ENTITY mult;
ARCHITECTURE ideal OF mult IS
QUANTITY vout ACROSS iout THROUGH output TO ref;
QUANTITY vin1 ACROSS in1 TO ref;
QUANTITY vin2 ACROSS in2 TO ref;
BEGIN
vout == vin1 * vin2;
END ARCHITECTURE ideal;
USE work.electrical_system.all;
USE work.real_aux.all;
ENTITY xfrm IS
GENERIC (ml : real_matrix); -- self/mutual inductances
PORT (TERMINAL p, m : electrical_vector);
END ENTITY xfrm;
ARCHITECTURE one OF xfrm IS
QUANTITY v ACROSS i THROUGH p TO m; -- arrays!
BEGIN
v == ml*real_vector(i'dot);
END ARCHITECTURE one;
|
