Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_memory_matrix_test / memory_matrix_test.lus @ 6c3ea955

History | View | Annotate | Download (12.7 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node memory_matrix_test (In1_1_1 : real; In1_1_2 : real; In1_1_3 : real; In1_1_4 : real; In1_1_5 : real; In1_1_6 : real; In2_1_1 : real; In2_1_2 : real; In2_1_3 : real; In2_1_4 : real; In2_1_5 : real; In2_1_6 : real; In3_1_1 : real; In3_1_2 : real; In3_1_3 : real; In3_1_4 : real; In3_1_5 : real; In3_1_6 : real; In4_1_1 : int; In4_1_2 : int; In4_1_3 : int; In4_1_4 : int; In4_1_5 : int; In4_1_6 : int; In5_1_1 : int; In5_1_2 : int; In5_1_3 : int; In5_1_4 : int; In5_1_5 : int; In5_1_6 : int; In6_1_1 : int; In6_1_2 : int; In6_1_3 : int; In6_1_4 : int; In6_1_5 : int; In6_1_6 : int; In7_1_1 : bool; In7_1_2 : bool; In7_1_3 : bool; In7_1_4 : bool; In7_1_5 : bool; In7_1_6 : bool; In8_1_1 : bool; In8_1_2 : bool; In8_1_3 : bool; In8_1_4 : bool; In8_1_5 : bool; In8_1_6 : bool; In9_1_1 : bool; In9_1_2 : bool; In9_1_3 : bool; In9_1_4 : bool; In9_1_5 : bool; In9_1_6 : bool; In10_1_1 : real; In10_1_2 : real; In10_1_3 : real; In10_1_4 : real; In10_1_5 : real; In10_1_6 : real; In11_1_1 : real; In11_1_2 : real; In11_1_3 : real; In11_1_4 : real; In11_1_5 : real; In11_1_6 : real; In12_1_1 : real; In12_1_2 : real; In12_1_3 : real; In12_1_4 : real; In12_1_5 : real; In12_1_6 : real; In13_1_1 : int; In13_1_2 : int; In13_1_3 : int; In13_1_4 : int; In13_1_5 : int; In13_1_6 : int; In14_1_1 : int; In14_1_2 : int; In14_1_3 : int; In14_1_4 : int; In14_1_5 : int; In14_1_6 : int; In15_1_1 : int; In15_1_2 : int; In15_1_3 : int; In15_1_4 : int; In15_1_5 : int; In15_1_6 : int; In16_1_1 : bool; In16_1_2 : bool; In16_1_3 : bool; In16_1_4 : bool; In16_1_5 : bool; In16_1_6 : bool; In17_1_1 : bool; In17_1_2 : bool; In17_1_3 : bool; In17_1_4 : bool; In17_1_5 : bool; In17_1_6 : bool; In18_1_1 : bool; In18_1_2 : bool; In18_1_3 : bool; In18_1_4 : bool; In18_1_5 : bool; In18_1_6 : bool)
6
returns (Out1_1_1 : real; Out1_1_2 : real; Out1_1_3 : real; Out1_1_4 : real; Out1_1_5 : real; Out1_1_6 : real;
7
	Out2_2_1 : real; Out2_2_2 : real; Out2_2_3 : real; Out2_2_4 : real; Out2_2_5 : real; Out2_2_6 : real;
8
	Out3_3_1 : real; Out3_3_2 : real; Out3_3_3 : real; Out3_3_4 : real; Out3_3_5 : real; Out3_3_6 : real;
9
	Out4_4_1 : int; Out4_4_2 : int; Out4_4_3 : int; Out4_4_4 : int; Out4_4_5 : int; Out4_4_6 : int;
10
	Out5_5_1 : int; Out5_5_2 : int; Out5_5_3 : int; Out5_5_4 : int; Out5_5_5 : int; Out5_5_6 : int;
11
	Out6_6_1 : int; Out6_6_2 : int; Out6_6_3 : int; Out6_6_4 : int; Out6_6_5 : int; Out6_6_6 : int;
12
	Out7_7_1 : bool; Out7_7_2 : bool; Out7_7_3 : bool; Out7_7_4 : bool; Out7_7_5 : bool; Out7_7_6 : bool;
13
	Out8_8_1 : bool; Out8_8_2 : bool; Out8_8_3 : bool; Out8_8_4 : bool; Out8_8_5 : bool; Out8_8_6 : bool;
14
	Out9_9_1 : bool; Out9_9_2 : bool; Out9_9_3 : bool; Out9_9_4 : bool; Out9_9_5 : bool; Out9_9_6 : bool;
15
	Out10_10_1 : real; Out10_10_2 : real; Out10_10_3 : real; Out10_10_4 : real; Out10_10_5 : real; Out10_10_6 : real;
16
	Out11_11_1 : real; Out11_11_2 : real; Out11_11_3 : real; Out11_11_4 : real; Out11_11_5 : real; Out11_11_6 : real;
17
	Out12_12_1 : real; Out12_12_2 : real; Out12_12_3 : real; Out12_12_4 : real; Out12_12_5 : real; Out12_12_6 : real;
18
	Out13_13_1 : int; Out13_13_2 : int; Out13_13_3 : int; Out13_13_4 : int; Out13_13_5 : int; Out13_13_6 : int;
19
	Out14_14_1 : int; Out14_14_2 : int; Out14_14_3 : int; Out14_14_4 : int; Out14_14_5 : int; Out14_14_6 : int;
20
	Out15_15_1 : int; Out15_15_2 : int; Out15_15_3 : int; Out15_15_4 : int; Out15_15_5 : int; Out15_15_6 : int;
21
	Out16_16_1 : bool; Out16_16_2 : bool; Out16_16_3 : bool; Out16_16_4 : bool; Out16_16_5 : bool; Out16_16_6 : bool;
22
	Out17_17_1 : bool; Out17_17_2 : bool; Out17_17_3 : bool; Out17_17_4 : bool; Out17_17_5 : bool; Out17_17_6 : bool;
23
	Out18_18_1 : bool; Out18_18_2 : bool; Out18_18_3 : bool; Out18_18_4 : bool; Out18_18_5 : bool; Out18_18_6 : bool); 
24
var
25
	Memory_1_1 : real; Memory_1_2 : real; Memory_1_3 : real; Memory_1_4 : real; Memory_1_5 : real; Memory_1_6 : real;
26
	Memory1_1_1 : real; Memory1_1_2 : real; Memory1_1_3 : real; Memory1_1_4 : real; Memory1_1_5 : real; Memory1_1_6 : real;
27
	Memory10_1_1 : real; Memory10_1_2 : real; Memory10_1_3 : real; Memory10_1_4 : real; Memory10_1_5 : real; Memory10_1_6 : real;
28
	Memory11_1_1 : real; Memory11_1_2 : real; Memory11_1_3 : real; Memory11_1_4 : real; Memory11_1_5 : real; Memory11_1_6 : real;
29
	Memory12_1_1 : int; Memory12_1_2 : int; Memory12_1_3 : int; Memory12_1_4 : int; Memory12_1_5 : int; Memory12_1_6 : int;
30
	Memory13_1_1 : int; Memory13_1_2 : int; Memory13_1_3 : int; Memory13_1_4 : int; Memory13_1_5 : int; Memory13_1_6 : int;
31
	Memory14_1_1 : int; Memory14_1_2 : int; Memory14_1_3 : int; Memory14_1_4 : int; Memory14_1_5 : int; Memory14_1_6 : int;
32
	Memory15_1_1 : bool; Memory15_1_2 : bool; Memory15_1_3 : bool; Memory15_1_4 : bool; Memory15_1_5 : bool; Memory15_1_6 : bool;
33
	Memory16_1_1 : bool; Memory16_1_2 : bool; Memory16_1_3 : bool; Memory16_1_4 : bool; Memory16_1_5 : bool; Memory16_1_6 : bool;
34
	Memory17_1_1 : bool; Memory17_1_2 : bool; Memory17_1_3 : bool; Memory17_1_4 : bool; Memory17_1_5 : bool; Memory17_1_6 : bool;
35
	Memory2_1_1 : real; Memory2_1_2 : real; Memory2_1_3 : real; Memory2_1_4 : real; Memory2_1_5 : real; Memory2_1_6 : real;
36
	Memory3_1_1 : int; Memory3_1_2 : int; Memory3_1_3 : int; Memory3_1_4 : int; Memory3_1_5 : int; Memory3_1_6 : int;
37
	Memory4_1_1 : int; Memory4_1_2 : int; Memory4_1_3 : int; Memory4_1_4 : int; Memory4_1_5 : int; Memory4_1_6 : int;
38
	Memory5_1_1 : int; Memory5_1_2 : int; Memory5_1_3 : int; Memory5_1_4 : int; Memory5_1_5 : int; Memory5_1_6 : int;
39
	Memory6_1_1 : bool; Memory6_1_2 : bool; Memory6_1_3 : bool; Memory6_1_4 : bool; Memory6_1_5 : bool; Memory6_1_6 : bool;
40
	Memory7_1_1 : bool; Memory7_1_2 : bool; Memory7_1_3 : bool; Memory7_1_4 : bool; Memory7_1_5 : bool; Memory7_1_6 : bool;
41
	Memory8_1_1 : bool; Memory8_1_2 : bool; Memory8_1_3 : bool; Memory8_1_4 : bool; Memory8_1_5 : bool; Memory8_1_6 : bool;
42
	Memory9_1_1 : real; Memory9_1_2 : real; Memory9_1_3 : real; Memory9_1_4 : real; Memory9_1_5 : real; Memory9_1_6 : real;
43
	i_virtual_local : real;
44
let 
45
	Memory_1_1 = 0.00000000 -> pre In1_1_1;
46
	Memory_1_2 = 0.00000000 -> pre In1_1_2;
47
	Memory_1_3 = 0.00000000 -> pre In1_1_3;
48
	Memory_1_4 = 0.00000000 -> pre In1_1_4;
49
	Memory_1_5 = 0.00000000 -> pre In1_1_5;
50
	Memory_1_6 = 0.00000000 -> pre In1_1_6;
51
	Memory1_1_1 = 0.00000000 -> pre In2_1_1;
52
	Memory1_1_2 = 0.00000000 -> pre In2_1_2;
53
	Memory1_1_3 = 0.00000000 -> pre In2_1_3;
54
	Memory1_1_4 = 0.00000000 -> pre In2_1_4;
55
	Memory1_1_5 = 0.00000000 -> pre In2_1_5;
56
	Memory1_1_6 = 0.00000000 -> pre In2_1_6;
57
	Memory10_1_1 = 0.00000000 -> pre In11_1_1;
58
	Memory10_1_2 = 2.00000000 -> pre In11_1_2;
59
	Memory10_1_3 = 3.00000000 -> pre In11_1_3;
60
	Memory10_1_4 = 4.00000000 -> pre In11_1_4;
61
	Memory10_1_5 = 5.00000000 -> pre In11_1_5;
62
	Memory10_1_6 = 6.00000000 -> pre In11_1_6;
63
	Memory11_1_1 = 1.00000000 -> pre In12_1_1;
64
	Memory11_1_2 = 0.00000000 -> pre In12_1_2;
65
	Memory11_1_3 = 1.00000000 -> pre In12_1_3;
66
	Memory11_1_4 = 0.00000000 -> pre In12_1_4;
67
	Memory11_1_5 = 0.00000000 -> pre In12_1_5;
68
	Memory11_1_6 = 0.00000000 -> pre In12_1_6;
69
	Memory12_1_1 = 0 -> pre In14_1_1;
70
	Memory12_1_2 = 2 -> pre In14_1_2;
71
	Memory12_1_3 = 3 -> pre In14_1_3;
72
	Memory12_1_4 = 4 -> pre In14_1_4;
73
	Memory12_1_5 = 5 -> pre In14_1_5;
74
	Memory12_1_6 = 6 -> pre In14_1_6;
75
	Memory13_1_1 = 1 -> pre In15_1_1;
76
	Memory13_1_2 = 0 -> pre In15_1_2;
77
	Memory13_1_3 = 1 -> pre In15_1_3;
78
	Memory13_1_4 = 0 -> pre In15_1_4;
79
	Memory13_1_5 = 0 -> pre In15_1_5;
80
	Memory13_1_6 = 0 -> pre In15_1_6;
81
	Memory14_1_1 = 0 -> pre In13_1_1;
82
	Memory14_1_2 = 2 -> pre In13_1_2;
83
	Memory14_1_3 = 3 -> pre In13_1_3;
84
	Memory14_1_4 = 4 -> pre In13_1_4;
85
	Memory14_1_5 = 5 -> pre In13_1_5;
86
	Memory14_1_6 = 6 -> pre In13_1_6;
87
	Memory15_1_1 = false -> pre In17_1_1;
88
	Memory15_1_2 = true -> pre In17_1_2;
89
	Memory15_1_3 = true -> pre In17_1_3;
90
	Memory15_1_4 = true -> pre In17_1_4;
91
	Memory15_1_5 = true -> pre In17_1_5;
92
	Memory15_1_6 = true -> pre In17_1_6;
93
	Memory16_1_1 = true -> pre In18_1_1;
94
	Memory16_1_2 = false -> pre In18_1_2;
95
	Memory16_1_3 = true -> pre In18_1_3;
96
	Memory16_1_4 = false -> pre In18_1_4;
97
	Memory16_1_5 = false -> pre In18_1_5;
98
	Memory16_1_6 = false -> pre In18_1_6;
99
	Memory17_1_1 = false -> pre In16_1_1;
100
	Memory17_1_2 = true -> pre In16_1_2;
101
	Memory17_1_3 = true -> pre In16_1_3;
102
	Memory17_1_4 = true -> pre In16_1_4;
103
	Memory17_1_5 = true -> pre In16_1_5;
104
	Memory17_1_6 = true -> pre In16_1_6;
105
	Memory2_1_1 = 1.00000000 -> pre In3_1_1;
106
	Memory2_1_2 = 1.00000000 -> pre In3_1_2;
107
	Memory2_1_3 = 1.00000000 -> pre In3_1_3;
108
	Memory2_1_4 = 1.00000000 -> pre In3_1_4;
109
	Memory2_1_5 = 1.00000000 -> pre In3_1_5;
110
	Memory2_1_6 = 1.00000000 -> pre In3_1_6;
111
	Memory3_1_1 = 0 -> pre In4_1_1;
112
	Memory3_1_2 = 0 -> pre In4_1_2;
113
	Memory3_1_3 = 0 -> pre In4_1_3;
114
	Memory3_1_4 = 0 -> pre In4_1_4;
115
	Memory3_1_5 = 0 -> pre In4_1_5;
116
	Memory3_1_6 = 0 -> pre In4_1_6;
117
	Memory4_1_1 = 0 -> pre In5_1_1;
118
	Memory4_1_2 = 0 -> pre In5_1_2;
119
	Memory4_1_3 = 0 -> pre In5_1_3;
120
	Memory4_1_4 = 0 -> pre In5_1_4;
121
	Memory4_1_5 = 0 -> pre In5_1_5;
122
	Memory4_1_6 = 0 -> pre In5_1_6;
123
	Memory5_1_1 = 1 -> pre In6_1_1;
124
	Memory5_1_2 = 1 -> pre In6_1_2;
125
	Memory5_1_3 = 1 -> pre In6_1_3;
126
	Memory5_1_4 = 1 -> pre In6_1_4;
127
	Memory5_1_5 = 1 -> pre In6_1_5;
128
	Memory5_1_6 = 1 -> pre In6_1_6;
129
	Memory6_1_1 = false -> pre In7_1_1;
130
	Memory6_1_2 = false -> pre In7_1_2;
131
	Memory6_1_3 = false -> pre In7_1_3;
132
	Memory6_1_4 = false -> pre In7_1_4;
133
	Memory6_1_5 = false -> pre In7_1_5;
134
	Memory6_1_6 = false -> pre In7_1_6;
135
	Memory7_1_1 = false -> pre In8_1_1;
136
	Memory7_1_2 = false -> pre In8_1_2;
137
	Memory7_1_3 = false -> pre In8_1_3;
138
	Memory7_1_4 = false -> pre In8_1_4;
139
	Memory7_1_5 = false -> pre In8_1_5;
140
	Memory7_1_6 = false -> pre In8_1_6;
141
	Memory8_1_1 = true -> pre In9_1_1;
142
	Memory8_1_2 = true -> pre In9_1_2;
143
	Memory8_1_3 = true -> pre In9_1_3;
144
	Memory8_1_4 = true -> pre In9_1_4;
145
	Memory8_1_5 = true -> pre In9_1_5;
146
	Memory8_1_6 = true -> pre In9_1_6;
147
	Memory9_1_1 = 0.00000000 -> pre In10_1_1;
148
	Memory9_1_2 = 2.00000000 -> pre In10_1_2;
149
	Memory9_1_3 = 3.00000000 -> pre In10_1_3;
150
	Memory9_1_4 = 4.00000000 -> pre In10_1_4;
151
	Memory9_1_5 = 5.00000000 -> pre In10_1_5;
152
	Memory9_1_6 = 6.00000000 -> pre In10_1_6;
153
	Out1_1_1 = Memory_1_1;
154
	Out1_1_2 = Memory_1_2;
155
	Out1_1_3 = Memory_1_3;
156
	Out1_1_4 = Memory_1_4;
157
	Out1_1_5 = Memory_1_5;
158
	Out1_1_6 = Memory_1_6;
159
	Out2_2_1 = Memory1_1_1;
160
	Out2_2_2 = Memory1_1_2;
161
	Out2_2_3 = Memory1_1_3;
162
	Out2_2_4 = Memory1_1_4;
163
	Out2_2_5 = Memory1_1_5;
164
	Out2_2_6 = Memory1_1_6;
165
	Out3_3_1 = Memory2_1_1;
166
	Out3_3_2 = Memory2_1_2;
167
	Out3_3_3 = Memory2_1_3;
168
	Out3_3_4 = Memory2_1_4;
169
	Out3_3_5 = Memory2_1_5;
170
	Out3_3_6 = Memory2_1_6;
171
	Out4_4_1 = Memory3_1_1;
172
	Out4_4_2 = Memory3_1_2;
173
	Out4_4_3 = Memory3_1_3;
174
	Out4_4_4 = Memory3_1_4;
175
	Out4_4_5 = Memory3_1_5;
176
	Out4_4_6 = Memory3_1_6;
177
	Out5_5_1 = Memory4_1_1;
178
	Out5_5_2 = Memory4_1_2;
179
	Out5_5_3 = Memory4_1_3;
180
	Out5_5_4 = Memory4_1_4;
181
	Out5_5_5 = Memory4_1_5;
182
	Out5_5_6 = Memory4_1_6;
183
	Out6_6_1 = Memory5_1_1;
184
	Out6_6_2 = Memory5_1_2;
185
	Out6_6_3 = Memory5_1_3;
186
	Out6_6_4 = Memory5_1_4;
187
	Out6_6_5 = Memory5_1_5;
188
	Out6_6_6 = Memory5_1_6;
189
	Out7_7_1 = Memory6_1_1;
190
	Out7_7_2 = Memory6_1_2;
191
	Out7_7_3 = Memory6_1_3;
192
	Out7_7_4 = Memory6_1_4;
193
	Out7_7_5 = Memory6_1_5;
194
	Out7_7_6 = Memory6_1_6;
195
	Out8_8_1 = Memory7_1_1;
196
	Out8_8_2 = Memory7_1_2;
197
	Out8_8_3 = Memory7_1_3;
198
	Out8_8_4 = Memory7_1_4;
199
	Out8_8_5 = Memory7_1_5;
200
	Out8_8_6 = Memory7_1_6;
201
	Out9_9_1 = Memory8_1_1;
202
	Out9_9_2 = Memory8_1_2;
203
	Out9_9_3 = Memory8_1_3;
204
	Out9_9_4 = Memory8_1_4;
205
	Out9_9_5 = Memory8_1_5;
206
	Out9_9_6 = Memory8_1_6;
207
	Out10_10_1 = Memory9_1_1;
208
	Out10_10_2 = Memory9_1_2;
209
	Out10_10_3 = Memory9_1_3;
210
	Out10_10_4 = Memory9_1_4;
211
	Out10_10_5 = Memory9_1_5;
212
	Out10_10_6 = Memory9_1_6;
213
	Out11_11_1 = Memory10_1_1;
214
	Out11_11_2 = Memory10_1_2;
215
	Out11_11_3 = Memory10_1_3;
216
	Out11_11_4 = Memory10_1_4;
217
	Out11_11_5 = Memory10_1_5;
218
	Out11_11_6 = Memory10_1_6;
219
	Out12_12_1 = Memory11_1_1;
220
	Out12_12_2 = Memory11_1_2;
221
	Out12_12_3 = Memory11_1_3;
222
	Out12_12_4 = Memory11_1_4;
223
	Out12_12_5 = Memory11_1_5;
224
	Out12_12_6 = Memory11_1_6;
225
	Out13_13_1 = Memory14_1_1;
226
	Out13_13_2 = Memory14_1_2;
227
	Out13_13_3 = Memory14_1_3;
228
	Out13_13_4 = Memory14_1_4;
229
	Out13_13_5 = Memory14_1_5;
230
	Out13_13_6 = Memory14_1_6;
231
	Out14_14_1 = Memory12_1_1;
232
	Out14_14_2 = Memory12_1_2;
233
	Out14_14_3 = Memory12_1_3;
234
	Out14_14_4 = Memory12_1_4;
235
	Out14_14_5 = Memory12_1_5;
236
	Out14_14_6 = Memory12_1_6;
237
	Out15_15_1 = Memory13_1_1;
238
	Out15_15_2 = Memory13_1_2;
239
	Out15_15_3 = Memory13_1_3;
240
	Out15_15_4 = Memory13_1_4;
241
	Out15_15_5 = Memory13_1_5;
242
	Out15_15_6 = Memory13_1_6;
243
	Out16_16_1 = Memory17_1_1;
244
	Out16_16_2 = Memory17_1_2;
245
	Out16_16_3 = Memory17_1_3;
246
	Out16_16_4 = Memory17_1_4;
247
	Out16_16_5 = Memory17_1_5;
248
	Out16_16_6 = Memory17_1_6;
249
	Out17_17_1 = Memory15_1_1;
250
	Out17_17_2 = Memory15_1_2;
251
	Out17_17_3 = Memory15_1_3;
252
	Out17_17_4 = Memory15_1_4;
253
	Out17_17_5 = Memory15_1_5;
254
	Out17_17_6 = Memory15_1_6;
255
	Out18_18_1 = Memory16_1_1;
256
	Out18_18_2 = Memory16_1_2;
257
	Out18_18_3 = Memory16_1_3;
258
	Out18_18_4 = Memory16_1_4;
259
	Out18_18_5 = Memory16_1_5;
260
	Out18_18_6 = Memory16_1_6;
261
	i_virtual_local= 0.0 -> 1.0;
262
tel
263