Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / product_matrix_multiple_test_2_PP.LUSTREC.lus @ cd1faebc

History | View | Annotate | Download (4.99 KB)

1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:55:07
5
(*
6
Original block name: product_matrix_multiple_test_2_PP
7
*)
8
node  product_matrix_multiple_test_2_PP(In1_1 : real;
9
	In1_2 : real;
10
	In1_3 : real;
11
	In1_4 : real;
12
	In1_5 : real;
13
	In1_6 : real;
14
	In1_7 : real;
15
	In1_8 : real;
16
	In4_1 : real;
17
	In4_2 : real;
18
	In4_3 : real;
19
	In4_4 : real;
20
	In4_5 : real;
21
	In4_6 : real;
22
	In4_7 : real;
23
	In4_8 : real;
24
	In5_1 : real;
25
	In5_2 : real;
26
	In5_3 : real;
27
	In5_4 : real;
28
	In5_5 : real;
29
	In5_6 : real;
30
	In10_1 : real;
31
	In10_2 : real;
32
	In10_3 : real;
33
	In10_4 : real;
34
	In10_5 : real;
35
	In10_6 : real;
36
	In10_7 : real;
37
	In10_8 : real;
38
	In10_9 : real;
39
	In11_1 : real;
40
	In11_2 : real;
41
	In11_3 : real;
42
	In11_4 : real;
43
	In11_5 : real;
44
	In11_6 : real;
45
	In12_1 : real;
46
	In12_2 : real;)
47
returns(Out2_1 : real;
48
	Out2_2 : real;);
49
var Product2_1 : real;
50
	Product2_2 : real;
51
	Product2_57_259_matrix_mult_1_1 : real;
52
	Product2_57_259_matrix_mult_1_2 : real;
53
	Product2_57_259_matrix_mult_1_3 : real;
54
	Product2_57_259_matrix_mult_1_4 : real;
55
	Product2_57_259_matrix_mult_2_1 : real;
56
	Product2_57_259_matrix_mult_2_2 : real;
57
	Product2_57_259_matrix_mult_2_3 : real;
58
	Product2_57_259_matrix_mult_2_4 : real;
59
	Product2_57_259_matrix_mult_2_5 : real;
60
	Product2_57_259_matrix_mult_2_6 : real;
61
	Product2_57_259_matrix_mult_3_1 : real;
62
	Product2_57_259_matrix_mult_3_2 : real;
63
	Product2_57_259_matrix_mult_3_3 : real;
64
	Product2_57_259_matrix_mult_3_4 : real;
65
	Product2_57_259_matrix_mult_3_5 : real;
66
	Product2_57_259_matrix_mult_3_6 : real;
67
	Product2_57_259_matrix_mult_4_1 : real;
68
	Product2_57_259_matrix_mult_4_2 : real;
69
	Product2_57_259_matrix_mult_4_3 : real;
70
	Product2_57_259_matrix_mult_4_4 : real;
71
	__time_step : real;
72
	__nb_step : int;
73
let
74
	Product2_57_259_matrix_mult_1_1 = 0.0 + (In1_1 * In4_1) + (In1_3 * In4_2) + (In1_5 * In4_3) + (In1_7 * In4_4);
75
	Product2_57_259_matrix_mult_1_3 = 0.0 + (In1_1 * In4_5) + (In1_3 * In4_6) + (In1_5 * In4_7) + (In1_7 * In4_8);
76
	Product2_57_259_matrix_mult_1_2 = 0.0 + (In1_2 * In4_1) + (In1_4 * In4_2) + (In1_6 * In4_3) + (In1_8 * In4_4);
77
	Product2_57_259_matrix_mult_1_4 = 0.0 + (In1_2 * In4_5) + (In1_4 * In4_6) + (In1_6 * In4_7) + (In1_8 * In4_8);
78
	Product2_57_259_matrix_mult_2_1 = 0.0 + (Product2_57_259_matrix_mult_1_1 * In5_1) + (Product2_57_259_matrix_mult_1_3 * In5_2);
79
	Product2_57_259_matrix_mult_2_3 = 0.0 + (Product2_57_259_matrix_mult_1_1 * In5_3) + (Product2_57_259_matrix_mult_1_3 * In5_4);
80
	Product2_57_259_matrix_mult_2_5 = 0.0 + (Product2_57_259_matrix_mult_1_1 * In5_5) + (Product2_57_259_matrix_mult_1_3 * In5_6);
81
	Product2_57_259_matrix_mult_2_2 = 0.0 + (Product2_57_259_matrix_mult_1_2 * In5_1) + (Product2_57_259_matrix_mult_1_4 * In5_2);
82
	Product2_57_259_matrix_mult_2_4 = 0.0 + (Product2_57_259_matrix_mult_1_2 * In5_3) + (Product2_57_259_matrix_mult_1_4 * In5_4);
83
	Product2_57_259_matrix_mult_2_6 = 0.0 + (Product2_57_259_matrix_mult_1_2 * In5_5) + (Product2_57_259_matrix_mult_1_4 * In5_6);
84
	Product2_57_259_matrix_mult_3_1 = 0.0 + (Product2_57_259_matrix_mult_2_1 * In10_1) + (Product2_57_259_matrix_mult_2_3 * In10_2) + (Product2_57_259_matrix_mult_2_5 * In10_3);
85
	Product2_57_259_matrix_mult_3_3 = 0.0 + (Product2_57_259_matrix_mult_2_1 * In10_4) + (Product2_57_259_matrix_mult_2_3 * In10_5) + (Product2_57_259_matrix_mult_2_5 * In10_6);
86
	Product2_57_259_matrix_mult_3_5 = 0.0 + (Product2_57_259_matrix_mult_2_1 * In10_7) + (Product2_57_259_matrix_mult_2_3 * In10_8) + (Product2_57_259_matrix_mult_2_5 * In10_9);
87
	Product2_57_259_matrix_mult_3_2 = 0.0 + (Product2_57_259_matrix_mult_2_2 * In10_1) + (Product2_57_259_matrix_mult_2_4 * In10_2) + (Product2_57_259_matrix_mult_2_6 * In10_3);
88
	Product2_57_259_matrix_mult_3_4 = 0.0 + (Product2_57_259_matrix_mult_2_2 * In10_4) + (Product2_57_259_matrix_mult_2_4 * In10_5) + (Product2_57_259_matrix_mult_2_6 * In10_6);
89
	Product2_57_259_matrix_mult_3_6 = 0.0 + (Product2_57_259_matrix_mult_2_2 * In10_7) + (Product2_57_259_matrix_mult_2_4 * In10_8) + (Product2_57_259_matrix_mult_2_6 * In10_9);
90
	Product2_57_259_matrix_mult_4_1 = 0.0 + (Product2_57_259_matrix_mult_3_1 * In11_1) + (Product2_57_259_matrix_mult_3_3 * In11_2) + (Product2_57_259_matrix_mult_3_5 * In11_3);
91
	Product2_57_259_matrix_mult_4_3 = 0.0 + (Product2_57_259_matrix_mult_3_1 * In11_4) + (Product2_57_259_matrix_mult_3_3 * In11_5) + (Product2_57_259_matrix_mult_3_5 * In11_6);
92
	Product2_57_259_matrix_mult_4_2 = 0.0 + (Product2_57_259_matrix_mult_3_2 * In11_1) + (Product2_57_259_matrix_mult_3_4 * In11_2) + (Product2_57_259_matrix_mult_3_6 * In11_3);
93
	Product2_57_259_matrix_mult_4_4 = 0.0 + (Product2_57_259_matrix_mult_3_2 * In11_4) + (Product2_57_259_matrix_mult_3_4 * In11_5) + (Product2_57_259_matrix_mult_3_6 * In11_6);
94
	Product2_1 = 0.0 + (Product2_57_259_matrix_mult_4_1 * In12_1) + (Product2_57_259_matrix_mult_4_3 * In12_2);
95
	Product2_2 = 0.0 + (Product2_57_259_matrix_mult_4_2 * In12_1) + (Product2_57_259_matrix_mult_4_4 * In12_2);
96
	Out2_1 = Product2_1;
97
	Out2_2 = Product2_2;
98
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
99
	__nb_step = (0 -> ((pre __nb_step) + 1));
100
tel
101