1

 This file has been generated by CoCoSim2.

2


3

 Compiler: Lustre compiler 2 (ToLustre.m)

4

 Time: 03Dec2018 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

