Project

General

Profile

Download (1.33 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:23:15
5
node  _make_clock(period : int;
6
	phase : int;)
7
returns(clk : bool;);
8
var count : int;
9
let
10
	count = (((period - phase) -> ((pre count) + 1)) mod period);
11
	clk = (count = 0);
12
tel
13

    
14
(*
15
Original block name: BusSelector4_PP
16
*)
17
node  BusSelector4_PP(InBus_1_BusElem1 : real;
18
	InBus_1_BusElem2 : real;
19
	InBus_1_BusElem3 : real;
20
	InBus_1_BusElem4 : real;
21
	InBus_1_BusElem5 : real;
22
	InBus_1_BusElem6 : real;)
23
returns(Out1_1 : real;
24
	Out2_1 : real;
25
	Out3_1 : real;
26
	Out4_1 : real;
27
	Out5_1 : real;
28
	Out6_1 : real;);
29
var BusSelector1_1 : real;
30
	BusSelector1_2 : real;
31
	BusSelector1_3 : real;
32
	BusSelector1_4 : real;
33
	BusSelector1_5 : real;
34
	BusSelector1_6 : real;
35
	__time_step : real;
36
	__nb_step : int;
37
	_clk_20_0 : bool clock;
38
let
39
	BusSelector1_1 = InBus_1_BusElem1;
40
	BusSelector1_2 = InBus_1_BusElem2;
41
	BusSelector1_3 = InBus_1_BusElem3;
42
	BusSelector1_4 = InBus_1_BusElem4;
43
	BusSelector1_5 = InBus_1_BusElem5;
44
	BusSelector1_6 = InBus_1_BusElem6;
45
	Out1_1 = BusSelector1_1;
46
	Out2_1 = BusSelector1_2;
47
	Out3_1 = BusSelector1_3;
48
	Out4_1 = BusSelector1_4;
49
	Out5_1 = BusSelector1_5;
50
	Out6_1 = BusSelector1_6;
51
	__time_step = (0.0 -> ((pre __time_step) + 0.010000000000000));
52
	__nb_step = (0 -> ((pre __nb_step) + 1));
53
	_clk_20_0 = _make_clock(20, 0);
54
tel
55

    
(229-229/1153)