Project

General

Profile

Download (11.3 KB) Statistics
| Branch: | Tag: | Revision:
1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:30:37
5
(*
6
Original block name: DiscreteFilter_1_PP/DiscreteFilter/DTFScalar/ForEach1
7
*)
8
node  ForEach1_16818_006(In1_1 : real;
9
	__time_step : real;
10
	__nb_step : int;)
11
returns(Out1_1 : real;);
12
var A_1 : real;
13
	A_2 : real;
14
	A_3 : real;
15
	A_4 : real;
16
	B_1 : real;
17
	B_2 : real;
18
	C_1 : real;
19
	C_2 : real;
20
	D_1 : real;
21
	FinalSum_1 : real;
22
	Product_1 : real;
23
	Product1_1 : real;
24
	Product2_1 : real;
25
	Product2_2 : real;
26
	Product3_1 : real;
27
	Product3_2 : real;
28
	Sum1_1 : real;
29
	Sum1_2 : real;
30
	X0_1 : real;
31
	X0_2 : real;
32
let
33
	A_1 = -1.250000000000000;
34
	A_2 = 1.000000000000000;
35
	A_3 = -1.500000000000000;
36
	A_4 = 0.000000000000000;
37
	B_1 = 1.000000000000000;
38
	B_2 = 0.000000000000000;
39
	C_1 = 0.250000000000000;
40
	C_2 = 0.750000000000000;
41
	D_1 = 0.000000000000000;
42
	FinalSum_1 = 0.0 + Product1_1 + Product_1;
43
	Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2);
44
	Product1_1 = 1.0 * D_1 * In1_1;
45
	Product2_1 = 1.0 * B_1 * In1_1;
46
	Product2_2 = 1.0 * B_2 * In1_1;
47
	Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2);
48
	Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2);
49
	Sum1_1 = 0.0 + Product3_1 + Product2_1;
50
	Sum1_2 = 0.0 + Product3_2 + Product2_2;
51
	X0_1 = (0.000000000000000 -> (pre Sum1_1));
52
	X0_2 = (0.000000000000000 -> (pre Sum1_2));
53
	Out1_1 = FinalSum_1;
54
tel
55

    
56
(*
57
Original block name: DiscreteFilter_1_PP/DiscreteFilter/DTFScalar/ForEach2
58
*)
59
node  ForEach2_16857_006(In1_1 : real;
60
	__time_step : real;
61
	__nb_step : int;)
62
returns(Out1_1 : real;);
63
var A_1 : real;
64
	A_2 : real;
65
	A_3 : real;
66
	A_4 : real;
67
	B_1 : real;
68
	B_2 : real;
69
	C_1 : real;
70
	C_2 : real;
71
	D_1 : real;
72
	FinalSum_1 : real;
73
	Product_1 : real;
74
	Product1_1 : real;
75
	Product2_1 : real;
76
	Product2_2 : real;
77
	Product3_1 : real;
78
	Product3_2 : real;
79
	Sum1_1 : real;
80
	Sum1_2 : real;
81
	X0_1 : real;
82
	X0_2 : real;
83
let
84
	A_1 = -1.250000000000000;
85
	A_2 = 1.000000000000000;
86
	A_3 = -1.500000000000000;
87
	A_4 = 0.000000000000000;
88
	B_1 = 1.000000000000000;
89
	B_2 = 0.000000000000000;
90
	C_1 = 0.250000000000000;
91
	C_2 = 0.750000000000000;
92
	D_1 = 0.000000000000000;
93
	FinalSum_1 = 0.0 + Product1_1 + Product_1;
94
	Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2);
95
	Product1_1 = 1.0 * D_1 * In1_1;
96
	Product2_1 = 1.0 * B_1 * In1_1;
97
	Product2_2 = 1.0 * B_2 * In1_1;
98
	Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2);
99
	Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2);
100
	Sum1_1 = 0.0 + Product3_1 + Product2_1;
101
	Sum1_2 = 0.0 + Product3_2 + Product2_2;
102
	X0_1 = (0.000000000000000 -> (pre Sum1_1));
103
	X0_2 = (0.000000000000000 -> (pre Sum1_2));
104
	Out1_1 = FinalSum_1;
105
tel
106

    
107
(*
108
Original block name: DiscreteFilter_1_PP/DiscreteFilter/DTFScalar/ForEach3
109
*)
110
node  ForEach3_17353_002(In1_1 : real;
111
	__time_step : real;
112
	__nb_step : int;)
113
returns(Out1_1 : real;);
114
var A_1 : real;
115
	A_2 : real;
116
	A_3 : real;
117
	A_4 : real;
118
	B_1 : real;
119
	B_2 : real;
120
	C_1 : real;
121
	C_2 : real;
122
	D_1 : real;
123
	FinalSum_1 : real;
124
	Product_1 : real;
125
	Product1_1 : real;
126
	Product2_1 : real;
127
	Product2_2 : real;
128
	Product3_1 : real;
129
	Product3_2 : real;
130
	Sum1_1 : real;
131
	Sum1_2 : real;
132
	X0_1 : real;
133
	X0_2 : real;
134
let
135
	A_1 = -1.250000000000000;
136
	A_2 = 1.000000000000000;
137
	A_3 = -1.500000000000000;
138
	A_4 = 0.000000000000000;
139
	B_1 = 1.000000000000000;
140
	B_2 = 0.000000000000000;
141
	C_1 = 0.250000000000000;
142
	C_2 = 0.750000000000000;
143
	D_1 = 0.000000000000000;
144
	FinalSum_1 = 0.0 + Product1_1 + Product_1;
145
	Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2);
146
	Product1_1 = 1.0 * D_1 * In1_1;
147
	Product2_1 = 1.0 * B_1 * In1_1;
148
	Product2_2 = 1.0 * B_2 * In1_1;
149
	Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2);
150
	Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2);
151
	Sum1_1 = 0.0 + Product3_1 + Product2_1;
152
	Sum1_2 = 0.0 + Product3_2 + Product2_2;
153
	X0_1 = (0.000000000000000 -> (pre Sum1_1));
154
	X0_2 = (0.000000000000000 -> (pre Sum1_2));
155
	Out1_1 = FinalSum_1;
156
tel
157

    
158
(*
159
Original block name: DiscreteFilter_1_PP/DiscreteFilter/DTFScalar/ForEach4
160
*)
161
node  ForEach4_17385_002(In1_1 : real;
162
	__time_step : real;
163
	__nb_step : int;)
164
returns(Out1_1 : real;);
165
var A_1 : real;
166
	A_2 : real;
167
	A_3 : real;
168
	A_4 : real;
169
	B_1 : real;
170
	B_2 : real;
171
	C_1 : real;
172
	C_2 : real;
173
	D_1 : real;
174
	FinalSum_1 : real;
175
	Product_1 : real;
176
	Product1_1 : real;
177
	Product2_1 : real;
178
	Product2_2 : real;
179
	Product3_1 : real;
180
	Product3_2 : real;
181
	Sum1_1 : real;
182
	Sum1_2 : real;
183
	X0_1 : real;
184
	X0_2 : real;
185
let
186
	A_1 = -1.250000000000000;
187
	A_2 = 1.000000000000000;
188
	A_3 = -1.500000000000000;
189
	A_4 = 0.000000000000000;
190
	B_1 = 1.000000000000000;
191
	B_2 = 0.000000000000000;
192
	C_1 = 0.250000000000000;
193
	C_2 = 0.750000000000000;
194
	D_1 = 0.000000000000000;
195
	FinalSum_1 = 0.0 + Product1_1 + Product_1;
196
	Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2);
197
	Product1_1 = 1.0 * D_1 * In1_1;
198
	Product2_1 = 1.0 * B_1 * In1_1;
199
	Product2_2 = 1.0 * B_2 * In1_1;
200
	Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2);
201
	Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2);
202
	Sum1_1 = 0.0 + Product3_1 + Product2_1;
203
	Sum1_2 = 0.0 + Product3_2 + Product2_2;
204
	X0_1 = (0.000000000000000 -> (pre Sum1_1));
205
	X0_2 = (0.000000000000000 -> (pre Sum1_2));
206
	Out1_1 = FinalSum_1;
207
tel
208

    
209
(*
210
Original block name: DiscreteFilter_1_PP/DiscreteFilter/DTFScalar/ForEach5
211
*)
212
node  ForEach5_17417_001(In1_1 : real;
213
	__time_step : real;
214
	__nb_step : int;)
215
returns(Out1_1 : real;);
216
var A_1 : real;
217
	A_2 : real;
218
	A_3 : real;
219
	A_4 : real;
220
	B_1 : real;
221
	B_2 : real;
222
	C_1 : real;
223
	C_2 : real;
224
	D_1 : real;
225
	FinalSum_1 : real;
226
	Product_1 : real;
227
	Product1_1 : real;
228
	Product2_1 : real;
229
	Product2_2 : real;
230
	Product3_1 : real;
231
	Product3_2 : real;
232
	Sum1_1 : real;
233
	Sum1_2 : real;
234
	X0_1 : real;
235
	X0_2 : real;
236
let
237
	A_1 = -1.250000000000000;
238
	A_2 = 1.000000000000000;
239
	A_3 = -1.500000000000000;
240
	A_4 = 0.000000000000000;
241
	B_1 = 1.000000000000000;
242
	B_2 = 0.000000000000000;
243
	C_1 = 0.250000000000000;
244
	C_2 = 0.750000000000000;
245
	D_1 = 0.000000000000000;
246
	FinalSum_1 = 0.0 + Product1_1 + Product_1;
247
	Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2);
248
	Product1_1 = 1.0 * D_1 * In1_1;
249
	Product2_1 = 1.0 * B_1 * In1_1;
250
	Product2_2 = 1.0 * B_2 * In1_1;
251
	Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2);
252
	Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2);
253
	Sum1_1 = 0.0 + Product3_1 + Product2_1;
254
	Sum1_2 = 0.0 + Product3_2 + Product2_2;
255
	X0_1 = (0.000000000000000 -> (pre Sum1_1));
256
	X0_2 = (0.000000000000000 -> (pre Sum1_2));
257
	Out1_1 = FinalSum_1;
258
tel
259

    
260
(*
261
Original block name: DiscreteFilter_1_PP/DiscreteFilter/DTFScalar/ForEach6
262
*)
263
node  ForEach6_17449_001(In1_1 : real;
264
	__time_step : real;
265
	__nb_step : int;)
266
returns(Out1_1 : real;);
267
var A_1 : real;
268
	A_2 : real;
269
	A_3 : real;
270
	A_4 : real;
271
	B_1 : real;
272
	B_2 : real;
273
	C_1 : real;
274
	C_2 : real;
275
	D_1 : real;
276
	FinalSum_1 : real;
277
	Product_1 : real;
278
	Product1_1 : real;
279
	Product2_1 : real;
280
	Product2_2 : real;
281
	Product3_1 : real;
282
	Product3_2 : real;
283
	Sum1_1 : real;
284
	Sum1_2 : real;
285
	X0_1 : real;
286
	X0_2 : real;
287
let
288
	A_1 = -1.250000000000000;
289
	A_2 = 1.000000000000000;
290
	A_3 = -1.500000000000000;
291
	A_4 = 0.000000000000000;
292
	B_1 = 1.000000000000000;
293
	B_2 = 0.000000000000000;
294
	C_1 = 0.250000000000000;
295
	C_2 = 0.750000000000000;
296
	D_1 = 0.000000000000000;
297
	FinalSum_1 = 0.0 + Product1_1 + Product_1;
298
	Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2);
299
	Product1_1 = 1.0 * D_1 * In1_1;
300
	Product2_1 = 1.0 * B_1 * In1_1;
301
	Product2_2 = 1.0 * B_2 * In1_1;
302
	Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2);
303
	Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2);
304
	Sum1_1 = 0.0 + Product3_1 + Product2_1;
305
	Sum1_2 = 0.0 + Product3_2 + Product2_2;
306
	X0_1 = (0.000000000000000 -> (pre Sum1_1));
307
	X0_2 = (0.000000000000000 -> (pre Sum1_2));
308
	Out1_1 = FinalSum_1;
309
tel
310

    
311
(*
312
Original block name: DiscreteFilter_1_PP/DiscreteFilter/DTFScalar
313
*)
314
node  DTFScalar_19_061(In1_1 : real;
315
	In1_2 : real;
316
	In1_3 : real;
317
	In1_4 : real;
318
	In1_5 : real;
319
	In1_6 : real;
320
	__time_step : real;
321
	__nb_step : int;)
322
returns(Out1_1 : real;
323
	Out1_2 : real;
324
	Out1_3 : real;
325
	Out1_4 : real;
326
	Out1_5 : real;
327
	Out1_6 : real;);
328
var Concatenate_1_1 : real;
329
	Concatenate_1_2 : real;
330
	Concatenate_1_3 : real;
331
	Concatenate_1_4 : real;
332
	Concatenate_1_5 : real;
333
	Concatenate_1_6 : real;
334
	ForEach1_1 : real;
335
	ForEach2_1 : real;
336
	ForEach3_1 : real;
337
	ForEach4_1 : real;
338
	ForEach5_1 : real;
339
	ForEach6_1 : real;
340
	Selector_1_In1_1 : real;
341
	Selector_2_In1_1 : real;
342
	Selector_3_In1_1 : real;
343
	Selector_4_In1_1 : real;
344
	Selector_5_In1_1 : real;
345
	Selector_6_In1_1 : real;
346
let
347
	Concatenate_1_1 = ForEach1_1;
348
	Concatenate_1_2 = ForEach2_1;
349
	Concatenate_1_3 = ForEach3_1;
350
	Concatenate_1_4 = ForEach4_1;
351
	Concatenate_1_5 = ForEach5_1;
352
	Concatenate_1_6 = ForEach6_1;
353
	ForEach1_1 = ForEach1_16818_006(Selector_1_In1_1, __time_step, __nb_step);
354
	ForEach2_1 = ForEach2_16857_006(Selector_2_In1_1, __time_step, __nb_step);
355
	ForEach3_1 = ForEach3_17353_002(Selector_3_In1_1, __time_step, __nb_step);
356
	ForEach4_1 = ForEach4_17385_002(Selector_4_In1_1, __time_step, __nb_step);
357
	ForEach5_1 = ForEach5_17417_001(Selector_5_In1_1, __time_step, __nb_step);
358
	ForEach6_1 = ForEach6_17449_001(Selector_6_In1_1, __time_step, __nb_step);
359
	Selector_1_In1_1 = In1_1;
360
	Selector_2_In1_1 = In1_2;
361
	Selector_3_In1_1 = In1_3;
362
	Selector_4_In1_1 = In1_4;
363
	Selector_5_In1_1 = In1_5;
364
	Selector_6_In1_1 = In1_6;
365
	Out1_1 = Concatenate_1_1;
366
	Out1_2 = Concatenate_1_2;
367
	Out1_3 = Concatenate_1_3;
368
	Out1_4 = Concatenate_1_4;
369
	Out1_5 = Concatenate_1_5;
370
	Out1_6 = Concatenate_1_6;
371
tel
372

    
373
(*
374
Original block name: DiscreteFilter_1_PP/DiscreteFilter
375
*)
376
node  DiscreteFilter_14_516(U_1 : real;
377
	U_2 : real;
378
	U_3 : real;
379
	U_4 : real;
380
	U_5 : real;
381
	U_6 : real;
382
	__time_step : real;
383
	__nb_step : int;)
384
returns(Y_1 : real;
385
	Y_2 : real;
386
	Y_3 : real;
387
	Y_4 : real;
388
	Y_5 : real;
389
	Y_6 : real;);
390
var DTFScalar_1 : real;
391
	DTFScalar_2 : real;
392
	DTFScalar_3 : real;
393
	DTFScalar_4 : real;
394
	DTFScalar_5 : real;
395
	DTFScalar_6 : real;
396
	Reshape_1 : real;
397
	Reshape_2 : real;
398
	Reshape_3 : real;
399
	Reshape_4 : real;
400
	Reshape_5 : real;
401
	Reshape_6 : real;
402
	ReverseReshape_1 : real;
403
	ReverseReshape_2 : real;
404
	ReverseReshape_3 : real;
405
	ReverseReshape_4 : real;
406
	ReverseReshape_5 : real;
407
	ReverseReshape_6 : real;
408
let
409
	(DTFScalar_1, DTFScalar_2, DTFScalar_3, DTFScalar_4, DTFScalar_5, DTFScalar_6) = DTFScalar_19_061(Reshape_1, Reshape_2, Reshape_3, Reshape_4, Reshape_5, Reshape_6, __time_step, __nb_step);
410
	Reshape_1 = U_1;
411
	Reshape_2 = U_2;
412
	Reshape_3 = U_3;
413
	Reshape_4 = U_4;
414
	Reshape_5 = U_5;
415
	Reshape_6 = U_6;
416
	ReverseReshape_1 = DTFScalar_1;
417
	ReverseReshape_2 = DTFScalar_2;
418
	ReverseReshape_3 = DTFScalar_3;
419
	ReverseReshape_4 = DTFScalar_4;
420
	ReverseReshape_5 = DTFScalar_5;
421
	ReverseReshape_6 = DTFScalar_6;
422
	Y_1 = ReverseReshape_1;
423
	Y_2 = ReverseReshape_2;
424
	Y_3 = ReverseReshape_3;
425
	Y_4 = ReverseReshape_4;
426
	Y_5 = ReverseReshape_5;
427
	Y_6 = ReverseReshape_6;
428
tel
429

    
430
(*
431
Original block name: DiscreteFilter_1_PP
432
*)
433
node  DiscreteFilter_1_PP(In1_1 : real;
434
	In1_2 : real;
435
	In1_3 : real;
436
	In1_4 : real;
437
	In1_5 : real;
438
	In1_6 : real;)
439
returns(Out1_1 : real;
440
	Out1_2 : real;
441
	Out1_3 : real;
442
	Out1_4 : real;
443
	Out1_5 : real;
444
	Out1_6 : real;);
445
var DiscreteFilter_1 : real;
446
	DiscreteFilter_2 : real;
447
	DiscreteFilter_3 : real;
448
	DiscreteFilter_4 : real;
449
	DiscreteFilter_5 : real;
450
	DiscreteFilter_6 : real;
451
	__time_step : real;
452
	__nb_step : int;
453
let
454
	(DiscreteFilter_1, DiscreteFilter_2, DiscreteFilter_3, DiscreteFilter_4, DiscreteFilter_5, DiscreteFilter_6) = DiscreteFilter_14_516(In1_1, In1_2, In1_3, In1_4, In1_5, In1_6, __time_step, __nb_step);
455
	Out1_1 = DiscreteFilter_1;
456
	Out1_2 = DiscreteFilter_2;
457
	Out1_3 = DiscreteFilter_3;
458
	Out1_4 = DiscreteFilter_4;
459
	Out1_5 = DiscreteFilter_5;
460
	Out1_6 = DiscreteFilter_6;
461
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
462
	__nb_step = (0 -> ((pre __nb_step) + 1));
463
tel
464

    
(457-457/1153)