Project

General

Profile

Download (6.74 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:31:50
5
(*
6
Original block name: DiscreteFIRFilter_1_orig_vs_preprocessed_PP/DiscreteFIRFilter/DTFScalar/ForEach1
7
*)
8
node  ForEach1_17594_078(In1_1 : real;
9
	__time_step : real;
10
	__nb_step : int;)
11
returns(Out1_1 : real;);
12
var A_1 : real;
13
	B_1 : real;
14
	C_1 : real;
15
	D_1 : real;
16
	FinalSum_1 : real;
17
	Product_1 : real;
18
	Product1_1 : real;
19
	Product2_1 : real;
20
	Product3_1 : real;
21
	Sum1_1 : real;
22
	X0_1 : real;
23
let
24
	A_1 = 0.000000000000000;
25
	B_1 = 1.000000000000000;
26
	C_1 = 0.500000000000000;
27
	D_1 = 0.400000000000000;
28
	FinalSum_1 = 0.0 + Product1_1 + Product_1;
29
	Product_1 = 0.0 + (C_1 * X0_1);
30
	Product1_1 = 1.0 * D_1 * In1_1;
31
	Product2_1 = 1.0 * B_1 * In1_1;
32
	Product3_1 = 0.0 + (A_1 * X0_1);
33
	Sum1_1 = 0.0 + Product3_1 + Product2_1;
34
	X0_1 = (0.000000000000000 -> (pre Sum1_1));
35
	Out1_1 = FinalSum_1;
36
tel
37

    
38
(*
39
Original block name: DiscreteFIRFilter_1_orig_vs_preprocessed_PP/DiscreteFIRFilter/DTFScalar/ForEach2
40
*)
41
node  ForEach2_17633_078(In1_1 : real;
42
	__time_step : real;
43
	__nb_step : int;)
44
returns(Out1_1 : real;);
45
var A_1 : real;
46
	B_1 : real;
47
	C_1 : real;
48
	D_1 : real;
49
	FinalSum_1 : real;
50
	Product_1 : real;
51
	Product1_1 : real;
52
	Product2_1 : real;
53
	Product3_1 : real;
54
	Sum1_1 : real;
55
	X0_1 : real;
56
let
57
	A_1 = 0.000000000000000;
58
	B_1 = 1.000000000000000;
59
	C_1 = 0.500000000000000;
60
	D_1 = 0.400000000000000;
61
	FinalSum_1 = 0.0 + Product1_1 + Product_1;
62
	Product_1 = 0.0 + (C_1 * X0_1);
63
	Product1_1 = 1.0 * D_1 * In1_1;
64
	Product2_1 = 1.0 * B_1 * In1_1;
65
	Product3_1 = 0.0 + (A_1 * X0_1);
66
	Sum1_1 = 0.0 + Product3_1 + Product2_1;
67
	X0_1 = (0.000000000000000 -> (pre Sum1_1));
68
	Out1_1 = FinalSum_1;
69
tel
70

    
71
(*
72
Original block name: DiscreteFIRFilter_1_orig_vs_preprocessed_PP/DiscreteFIRFilter/DTFScalar
73
*)
74
node  DTFScalar_289_047(In1_1 : real;
75
	In1_2 : real;
76
	__time_step : real;
77
	__nb_step : int;)
78
returns(Out1_1 : real;
79
	Out1_2 : real;);
80
var Concatenate_1_1 : real;
81
	Concatenate_1_2 : real;
82
	ForEach1_1 : real;
83
	ForEach2_1 : real;
84
	Selector_1_In1_1 : real;
85
	Selector_2_In1_1 : real;
86
let
87
	Concatenate_1_1 = ForEach1_1;
88
	Concatenate_1_2 = ForEach2_1;
89
	ForEach1_1 = ForEach1_17594_078(Selector_1_In1_1, __time_step, __nb_step);
90
	ForEach2_1 = ForEach2_17633_078(Selector_2_In1_1, __time_step, __nb_step);
91
	Selector_1_In1_1 = In1_1;
92
	Selector_2_In1_1 = In1_2;
93
	Out1_1 = Concatenate_1_1;
94
	Out1_2 = Concatenate_1_2;
95
tel
96

    
97
(*
98
Original block name: DiscreteFIRFilter_1_orig_vs_preprocessed_PP/DiscreteFIRFilter
99
*)
100
node  DiscreteFIRFilter_119_476(U_1 : real;
101
	U_2 : real;
102
	__time_step : real;
103
	__nb_step : int;)
104
returns(Y_1 : real;
105
	Y_2 : real;);
106
var DTFScalar_1 : real;
107
	DTFScalar_2 : real;
108
	Reshape_1 : real;
109
	Reshape_2 : real;
110
	ReverseReshape_1 : real;
111
	ReverseReshape_2 : real;
112
let
113
	(DTFScalar_1, DTFScalar_2) = DTFScalar_289_047(Reshape_1, Reshape_2, __time_step, __nb_step);
114
	Reshape_1 = U_1;
115
	Reshape_2 = U_2;
116
	ReverseReshape_1 = DTFScalar_1;
117
	ReverseReshape_2 = DTFScalar_2;
118
	Y_1 = ReverseReshape_1;
119
	Y_2 = ReverseReshape_2;
120
tel
121

    
122
(*
123
Original block name: DiscreteFIRFilter_1_orig_vs_preprocessed_PP/DiscreteFIRFilter1/DTFScalar/ForEach1
124
*)
125
node  ForEach1_125_038(In1_1 : real;
126
	__time_step : real;
127
	__nb_step : int;)
128
returns(Out1_1 : real;);
129
var A_1 : real;
130
	B_1 : real;
131
	C_1 : real;
132
	D_1 : real;
133
	FinalSum_1 : real;
134
	Product_1 : real;
135
	Product1_1 : real;
136
	Product2_1 : real;
137
	Product3_1 : real;
138
	Sum1_1 : real;
139
	X0_1 : real;
140
let
141
	A_1 = 0.000000000000000;
142
	B_1 = 1.000000000000000;
143
	C_1 = 0.500000000000000;
144
	D_1 = 0.400000000000000;
145
	FinalSum_1 = 0.0 + Product1_1 + Product_1;
146
	Product_1 = 0.0 + (C_1 * X0_1);
147
	Product1_1 = 1.0 * D_1 * In1_1;
148
	Product2_1 = 1.0 * B_1 * In1_1;
149
	Product3_1 = 0.0 + (A_1 * X0_1);
150
	Sum1_1 = 0.0 + Product3_1 + Product2_1;
151
	X0_1 = (0.000000000000000 -> (pre Sum1_1));
152
	Out1_1 = FinalSum_1;
153
tel
154

    
155
(*
156
Original block name: DiscreteFIRFilter_1_orig_vs_preprocessed_PP/DiscreteFIRFilter1/DTFScalar/ForEach2
157
*)
158
node  ForEach2_155_051(In1_1 : real;
159
	__time_step : real;
160
	__nb_step : int;)
161
returns(Out1_1 : real;);
162
var A_1 : real;
163
	B_1 : real;
164
	C_1 : real;
165
	D_1 : real;
166
	FinalSum_1 : real;
167
	Product_1 : real;
168
	Product1_1 : real;
169
	Product2_1 : real;
170
	Product3_1 : real;
171
	Sum1_1 : real;
172
	X0_1 : real;
173
let
174
	A_1 = 0.000000000000000;
175
	B_1 = 1.000000000000000;
176
	C_1 = 0.500000000000000;
177
	D_1 = 0.400000000000000;
178
	FinalSum_1 = 0.0 + Product1_1 + Product_1;
179
	Product_1 = 0.0 + (C_1 * X0_1);
180
	Product1_1 = 1.0 * D_1 * In1_1;
181
	Product2_1 = 1.0 * B_1 * In1_1;
182
	Product3_1 = 0.0 + (A_1 * X0_1);
183
	Sum1_1 = 0.0 + Product3_1 + Product2_1;
184
	X0_1 = (0.000000000000000 -> (pre Sum1_1));
185
	Out1_1 = FinalSum_1;
186
tel
187

    
188
(*
189
Original block name: DiscreteFIRFilter_1_orig_vs_preprocessed_PP/DiscreteFIRFilter1/DTFScalar
190
*)
191
node  DTFScalar_122_694(In1_1 : real;
192
	In1_2 : real;
193
	__time_step : real;
194
	__nb_step : int;)
195
returns(Out1_1 : real;
196
	Out1_2 : real;);
197
var Concatenate_1_1 : real;
198
	Concatenate_1_2 : real;
199
	ForEach1_1 : real;
200
	ForEach2_1 : real;
201
	Selector_1_In1_1 : real;
202
	Selector_2_In1_1 : real;
203
let
204
	Concatenate_1_1 = ForEach1_1;
205
	Concatenate_1_2 = ForEach2_1;
206
	ForEach1_1 = ForEach1_125_038(Selector_1_In1_1, __time_step, __nb_step);
207
	ForEach2_1 = ForEach2_155_051(Selector_2_In1_1, __time_step, __nb_step);
208
	Selector_1_In1_1 = In1_1;
209
	Selector_2_In1_1 = In1_2;
210
	Out1_1 = Concatenate_1_1;
211
	Out1_2 = Concatenate_1_2;
212
tel
213

    
214
(*
215
Original block name: DiscreteFIRFilter_1_orig_vs_preprocessed_PP/DiscreteFIRFilter1
216
*)
217
node  DiscreteFIRFilter1_120_049(U_1 : real;
218
	U_2 : real;
219
	__time_step : real;
220
	__nb_step : int;)
221
returns(Y_1 : real;
222
	Y_2 : real;);
223
var DTFScalar_1 : real;
224
	DTFScalar_2 : real;
225
	Reshape_1 : real;
226
	Reshape_2 : real;
227
	ReverseReshape_1 : real;
228
	ReverseReshape_2 : real;
229
let
230
	(DTFScalar_1, DTFScalar_2) = DTFScalar_122_694(Reshape_1, Reshape_2, __time_step, __nb_step);
231
	Reshape_1 = U_1;
232
	Reshape_2 = U_2;
233
	ReverseReshape_1 = DTFScalar_1;
234
	ReverseReshape_2 = DTFScalar_2;
235
	Y_1 = ReverseReshape_1;
236
	Y_2 = ReverseReshape_2;
237
tel
238

    
239
(*
240
Original block name: DiscreteFIRFilter_1_orig_vs_preprocessed_PP
241
*)
242
node  DiscreteFIRFilter_1_orig_vs_preprocessed_PP(_virtual : bool;)
243
returns(Out1_1 : real;
244
	Out1_2 : real;
245
	Out2_1 : real;
246
	Out2_2 : real;);
247
var Constant_1 : real;
248
	Constant_2 : real;
249
	DiscreteFIRFilter_1 : real;
250
	DiscreteFIRFilter_2 : real;
251
	DiscreteFIRFilter1_1 : real;
252
	DiscreteFIRFilter1_2 : real;
253
	__time_step : real;
254
	__nb_step : int;
255
let
256
	Constant_1 = 2.000000000000000;
257
	Constant_2 = 3.000000000000000;
258
	(DiscreteFIRFilter_1, DiscreteFIRFilter_2) = DiscreteFIRFilter_119_476(Constant_1, Constant_2, __time_step, __nb_step);
259
	(DiscreteFIRFilter1_1, DiscreteFIRFilter1_2) = DiscreteFIRFilter1_120_049(Constant_1, Constant_2, __time_step, __nb_step);
260
	Out1_1 = DiscreteFIRFilter_1;
261
	Out1_2 = DiscreteFIRFilter_2;
262
	Out2_1 = DiscreteFIRFilter1_1;
263
	Out2_2 = DiscreteFIRFilter1_2;
264
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
265
	__nb_step = (0 -> ((pre __nb_step) + 1));
266
tel
267

    
(451-451/1153)