Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_muxdemux_test / muxdemux_test.lus @ 6c3ea955

History | View | Annotate | Download (3.05 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node muxdemux_test (In2_1_1 : real; In2_1_2 : real; In2_1_3 : real)
6
returns (Out2_1_1 : real; Out2_1_2 : real; Out2_1_3 : real;
7
	Out1_2_1 : real; Out1_2_2 : real; Out1_2_3 : real; Out1_2_4 : real; Out1_2_5 : real; Out1_2_6 : real;
8
	Out3_3_1 : real; Out3_3_2 : real; Out3_3_3 : real); 
9
var
10
	Constant_1_1 : real; Constant_1_2 : real; Constant_1_3 : real; Constant_1_4 : real; Constant_1_5 : real; Constant_1_6 : real;
11
	Constant1_1_1 : real; Constant1_1_2 : real; Constant1_1_3 : real;
12
	Demux_1_1 : real; Demux_2_1 : real; Demux_3_1 : real;
13
	Demux1_1_1 : real; Demux1_2_1 : real;
14
	Demux2_1_1 : real; Demux2_2_1 : real;
15
	Demux3_1_1 : real; Demux3_2_1 : real;
16
	Mux_1_1 : real; Mux_1_2 : real; Mux_1_3 : real;
17
	Mux1_1_1 : real; Mux1_1_2 : real;
18
	Mux2_1_1 : real; Mux2_1_2 : real;
19
	Mux3_1_1 : real; Mux3_1_2 : real;
20
	Selector_1_1 : real; Selector_1_2 : real;
21
	Selector1_1_1 : real; Selector1_1_2 : real;
22
	Selector2_1_1 : real; Selector2_1_2 : real;
23
	Selector4_1_1 : real;
24
	Selector5_1_1 : real;
25
	Selector6_1_1 : real;
26
	VectorConcatenate_1_1 : real; VectorConcatenate_1_2 : real; VectorConcatenate_1_3 : real; VectorConcatenate_1_4 : real; VectorConcatenate_1_5 : real; VectorConcatenate_1_6 : real;
27
	VectorConcatenate2_1_1 : real; VectorConcatenate2_1_2 : real; VectorConcatenate2_1_3 : real;
28
	i_virtual_local : real;
29
let 
30
	Constant_1_1 = 2.00000000;
31
	Constant_1_2 = 3.00000000;
32
	Constant_1_3 = 5.00000000;
33
	Constant_1_4 = 8.00000000;
34
	Constant_1_5 = 6.00000000;
35
	Constant_1_6 = 9.00000000;
36
	Constant1_1_1 = 2.00000000;
37
	Constant1_1_2 = 3.00000000;
38
	Constant1_1_3 = 5.00000000;
39
	Demux_1_1 = In2_1_1 ;
40
	Demux_2_1 = In2_1_2 ;
41
	Demux_3_1 = In2_1_3 ;
42
	Demux1_1_1 = Selector_1_1 ;
43
	Demux1_2_1 = Selector_1_2 ;
44
	Demux2_1_1 = Selector1_1_1 ;
45
	Demux2_2_1 = Selector1_1_2 ;
46
	Demux3_1_1 = Selector2_1_1 ;
47
	Demux3_2_1 = Selector2_1_2 ;
48
	Mux_1_1 = Demux_1_1 ;
49
	Mux_1_2 = Demux_2_1 ;
50
	Mux_1_3 = Demux_3_1 ;
51
	Mux1_1_1 = Demux1_1_1 ;
52
	Mux1_1_2 = Demux1_2_1 ;
53
	Mux2_1_1 = Demux2_1_1 ;
54
	Mux2_1_2 = Demux2_2_1 ;
55
	Mux3_1_1 = Demux3_1_1 ;
56
	Mux3_1_2 = Demux3_2_1 ;
57
	Selector_1_1 = Constant_1_1;
58
	Selector_1_2 = Constant_1_4;
59
	Selector1_1_1 = Constant_1_2;
60
	Selector1_1_2 = Constant_1_5;
61
	Selector2_1_1 = Constant_1_3;
62
	Selector2_1_2 = Constant_1_6;
63
	Selector4_1_1 = Constant1_1_1;
64
	Selector5_1_1 = Constant1_1_2;
65
	Selector6_1_1 = Constant1_1_3;
66
	VectorConcatenate_1_1 = Mux1_1_1;
67
	VectorConcatenate_1_2 = Mux2_1_1;
68
	VectorConcatenate_1_3 = Mux3_1_1;
69
	VectorConcatenate_1_4 = Mux1_1_2;
70
	VectorConcatenate_1_5 = Mux2_1_2;
71
	VectorConcatenate_1_6 = Mux3_1_2;
72
	VectorConcatenate2_1_1 = Selector4_1_1;
73
	VectorConcatenate2_1_2 = Selector5_1_1;
74
	VectorConcatenate2_1_3 = Selector6_1_1;
75
	Out2_1_1 = Mux_1_1;
76
	Out2_1_2 = Mux_1_2;
77
	Out2_1_3 = Mux_1_3;
78
	Out1_2_1 = VectorConcatenate_1_1;
79
	Out1_2_2 = VectorConcatenate_1_2;
80
	Out1_2_3 = VectorConcatenate_1_3;
81
	Out1_2_4 = VectorConcatenate_1_4;
82
	Out1_2_5 = VectorConcatenate_1_5;
83
	Out1_2_6 = VectorConcatenate_1_6;
84
	Out3_3_1 = VectorConcatenate2_1_1;
85
	Out3_3_2 = VectorConcatenate2_1_2;
86
	Out3_3_3 = VectorConcatenate2_1_3;
87
	i_virtual_local= 0.0 -> 1.0;
88
tel
89