Project

General

Profile

Download (945 Bytes) 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 23:10:35
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: ZeroOrderHold_PP
16
*)
17
node  ZeroOrderHold_PP(In1_1 : real;)
18
returns(Out1_1 : real;);
19
var RateTransition_1 : real;
20
	Zero_minus_OrderHold_1 : real;
21
	__time_step : real;
22
	__nb_step : int;
23
	_clk_10_0 : bool clock;
24
let
25
	RateTransition_1 = (merge _clk_10_0
26
		 (true -> (0.000000000000000 -> (pre Zero_minus_OrderHold_1)))
27
		(false -> ((0.000000000000000 -> (pre RateTransition_1)) when false(_clk_10_0))));
28
	Zero_minus_OrderHold_1 = (In1_1 when _clk_10_0);
29
	Out1_1 = RateTransition_1;
30
	__time_step = (0.0 -> ((pre __time_step) + 0.100000000000000));
31
	__nb_step = (0 -> ((pre __nb_step) + 1));
32
	_clk_10_0 = _make_clock(10, 0);
33
tel
34

    
(1024-1024/1153)