Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_unitdelay_vect_test / unitdelay_vect_test.lus @ 6c3ea955

History | View | Annotate | Download (4.65 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node unitdelay_vect_test (In1_1_1 : real; In1_1_2 : real; In2_1_1 : real; In2_1_2 : real; In3_1_1 : bool; In3_1_2 : bool; In4_1_1 : int; In4_1_2 : int; In5_1_1 : int; In5_1_2 : int; In6_1_1 : int; In6_1_2 : int; In7_1_1 : bool; In7_1_2 : bool; In8_1_1 : bool; In8_1_2 : bool; In9_1_1 : bool; In9_1_2 : bool; In10_1_1 : real; In10_1_2 : real; In11_1_1 : real; In11_1_2 : real; In12_1_1 : bool; In12_1_2 : bool; In13_1_1 : int; In13_1_2 : int; In14_1_1 : int; In14_1_2 : int; In15_1_1 : int; In15_1_2 : int; In16_1_1 : bool; In16_1_2 : bool; In17_1_1 : bool; In17_1_2 : bool; In18_1_1 : bool; In18_1_2 : bool)
6
returns (Out1_1_1 : real; Out1_1_2 : real;
7
	Out2_2_1 : real; Out2_2_2 : real;
8
	Out3_3_1 : bool; Out3_3_2 : bool;
9
	Out4_4_1 : int; Out4_4_2 : int;
10
	Out5_5_1 : int; Out5_5_2 : int;
11
	Out6_6_1 : int; Out6_6_2 : int;
12
	Out7_7_1 : bool; Out7_7_2 : bool;
13
	Out8_8_1 : bool; Out8_8_2 : bool;
14
	Out9_9_1 : bool; Out9_9_2 : bool;
15
	Out10_10_1 : real; Out10_10_2 : real;
16
	Out11_11_1 : real; Out11_11_2 : real;
17
	Out12_12_1 : bool; Out12_12_2 : bool;
18
	Out13_13_1 : int; Out13_13_2 : int;
19
	Out14_14_1 : int; Out14_14_2 : int;
20
	Out15_15_1 : int; Out15_15_2 : int;
21
	Out16_16_1 : bool; Out16_16_2 : bool;
22
	Out17_17_1 : bool; Out17_17_2 : bool;
23
	Out18_18_1 : bool; Out18_18_2 : bool); 
24
var
25
	UnitDelay_1_1 : real; UnitDelay_1_2 : real;
26
	UnitDelay1_1_1 : real; UnitDelay1_1_2 : real;
27
	UnitDelay10_1_1 : real; UnitDelay10_1_2 : real;
28
	UnitDelay11_1_1 : bool; UnitDelay11_1_2 : bool;
29
	UnitDelay12_1_1 : int; UnitDelay12_1_2 : int;
30
	UnitDelay13_1_1 : int; UnitDelay13_1_2 : int;
31
	UnitDelay14_1_1 : int; UnitDelay14_1_2 : int;
32
	UnitDelay15_1_1 : bool; UnitDelay15_1_2 : bool;
33
	UnitDelay16_1_1 : bool; UnitDelay16_1_2 : bool;
34
	UnitDelay17_1_1 : bool; UnitDelay17_1_2 : bool;
35
	UnitDelay2_1_1 : bool; UnitDelay2_1_2 : bool;
36
	UnitDelay3_1_1 : int; UnitDelay3_1_2 : int;
37
	UnitDelay4_1_1 : int; UnitDelay4_1_2 : int;
38
	UnitDelay5_1_1 : int; UnitDelay5_1_2 : int;
39
	UnitDelay6_1_1 : bool; UnitDelay6_1_2 : bool;
40
	UnitDelay7_1_1 : bool; UnitDelay7_1_2 : bool;
41
	UnitDelay8_1_1 : bool; UnitDelay8_1_2 : bool;
42
	UnitDelay9_1_1 : real; UnitDelay9_1_2 : real;
43
	i_virtual_local : real;
44
let 
45
	UnitDelay_1_1 = 0.00000000 -> pre In1_1_1;
46
	UnitDelay_1_2 = 0.00000000 -> pre In1_1_2;
47
	UnitDelay1_1_1 = 0.00000000 -> pre In2_1_1;
48
	UnitDelay1_1_2 = 0.00000000 -> pre In2_1_2;
49
	UnitDelay10_1_1 = 0.00000000 -> pre In11_1_1;
50
	UnitDelay10_1_2 = 2.00000000 -> pre In11_1_2;
51
	UnitDelay11_1_1 = true -> pre In12_1_1;
52
	UnitDelay11_1_2 = false -> pre In12_1_2;
53
	UnitDelay12_1_1 = 0 -> pre In13_1_1;
54
	UnitDelay12_1_2 = 2 -> pre In13_1_2;
55
	UnitDelay13_1_1 = 0 -> pre In14_1_1;
56
	UnitDelay13_1_2 = 2 -> pre In14_1_2;
57
	UnitDelay14_1_1 = 0 -> pre In15_1_1;
58
	UnitDelay14_1_2 = 1 -> pre In15_1_2;
59
	UnitDelay15_1_1 = false -> pre In16_1_1;
60
	UnitDelay15_1_2 = true -> pre In16_1_2;
61
	UnitDelay16_1_1 = false -> pre In17_1_1;
62
	UnitDelay16_1_2 = true -> pre In17_1_2;
63
	UnitDelay17_1_1 = false -> pre In18_1_1;
64
	UnitDelay17_1_2 = true -> pre In18_1_2;
65
	UnitDelay2_1_1 = true -> pre In3_1_1;
66
	UnitDelay2_1_2 = true -> pre In3_1_2;
67
	UnitDelay3_1_1 = 0 -> pre In4_1_1;
68
	UnitDelay3_1_2 = 0 -> pre In4_1_2;
69
	UnitDelay4_1_1 = 0 -> pre In5_1_1;
70
	UnitDelay4_1_2 = 0 -> pre In5_1_2;
71
	UnitDelay5_1_1 = 1 -> pre In6_1_1;
72
	UnitDelay5_1_2 = 1 -> pre In6_1_2;
73
	UnitDelay6_1_1 = false -> pre In7_1_1;
74
	UnitDelay6_1_2 = false -> pre In7_1_2;
75
	UnitDelay7_1_1 = false -> pre In8_1_1;
76
	UnitDelay7_1_2 = false -> pre In8_1_2;
77
	UnitDelay8_1_1 = true -> pre In9_1_1;
78
	UnitDelay8_1_2 = true -> pre In9_1_2;
79
	UnitDelay9_1_1 = 0.00000000 -> pre In10_1_1;
80
	UnitDelay9_1_2 = 2.00000000 -> pre In10_1_2;
81
	Out1_1_1 = UnitDelay_1_1;
82
	Out1_1_2 = UnitDelay_1_2;
83
	Out2_2_1 = UnitDelay1_1_1;
84
	Out2_2_2 = UnitDelay1_1_2;
85
	Out3_3_1 = UnitDelay2_1_1;
86
	Out3_3_2 = UnitDelay2_1_2;
87
	Out4_4_1 = UnitDelay3_1_1;
88
	Out4_4_2 = UnitDelay3_1_2;
89
	Out5_5_1 = UnitDelay4_1_1;
90
	Out5_5_2 = UnitDelay4_1_2;
91
	Out6_6_1 = UnitDelay5_1_1;
92
	Out6_6_2 = UnitDelay5_1_2;
93
	Out7_7_1 = UnitDelay6_1_1;
94
	Out7_7_2 = UnitDelay6_1_2;
95
	Out8_8_1 = UnitDelay7_1_1;
96
	Out8_8_2 = UnitDelay7_1_2;
97
	Out9_9_1 = UnitDelay8_1_1;
98
	Out9_9_2 = UnitDelay8_1_2;
99
	Out10_10_1 = UnitDelay9_1_1;
100
	Out10_10_2 = UnitDelay9_1_2;
101
	Out11_11_1 = UnitDelay10_1_1;
102
	Out11_11_2 = UnitDelay10_1_2;
103
	Out12_12_1 = UnitDelay11_1_1;
104
	Out12_12_2 = UnitDelay11_1_2;
105
	Out13_13_1 = UnitDelay12_1_1;
106
	Out13_13_2 = UnitDelay12_1_2;
107
	Out14_14_1 = UnitDelay13_1_1;
108
	Out14_14_2 = UnitDelay13_1_2;
109
	Out15_15_1 = UnitDelay14_1_1;
110
	Out15_15_2 = UnitDelay14_1_2;
111
	Out16_16_1 = UnitDelay15_1_1;
112
	Out16_16_2 = UnitDelay15_1_2;
113
	Out17_17_1 = UnitDelay16_1_1;
114
	Out17_17_2 = UnitDelay16_1_2;
115
	Out18_18_1 = UnitDelay17_1_1;
116
	Out18_18_2 = UnitDelay17_1_2;
117
	i_virtual_local= 0.0 -> 1.0;
118
tel
119