Project

General

Profile

Download (2 KB) Statistics
| Branch: | Tag: | Revision:
1 4748b215 hbourbou
-- This file has been generated by CoCoSim2.
2
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:21:23
5
node  _OR_Bitwise_Unsigned_8(x : int;
6
	y : int;)
7
returns(z : int;);
8
let
9
	z = ( (( (x mod 2) + (y mod 2) + ((x mod 2) * (y mod 2)) ) mod 2) + (2 * (( ((x / 2) mod 2) + ((y / 2) mod 2) + (((x / 2) mod 2) * ((y / 2) mod 2)) ) mod 2)) + (4 * (( ((x / 4) mod 2) + ((y / 4) mod 2) + (((x / 4) mod 2) * ((y / 4) mod 2)) ) mod 2)) + (8 * (( ((x / 8) mod 2) + ((y / 8) mod 2) + (((x / 8) mod 2) * ((y / 8) mod 2)) ) mod 2)) + (16 * (( ((x / 16) mod 2) + ((y / 16) mod 2) + (((x / 16) mod 2) * ((y / 16) mod 2)) ) mod 2)) + (32 * (( ((x / 32) mod 2) + ((y / 32) mod 2) + (((x / 32) mod 2) * ((y / 32) mod 2)) ) mod 2)) + (64 * (( ((x / 64) mod 2) + ((y / 64) mod 2) + (((x / 64) mod 2) * ((y / 64) mod 2)) ) mod 2)) + (128 * (( ((x / 128) mod 2) + ((y / 128) mod 2) + (((x / 128) mod 2) * ((y / 128) mod 2)) ) mod 2)) );
10
tel
11
12
(*
13
Original block name: BitwiseOR_uint8_PP
14
*)
15
node  BitwiseOR_uint8_PP(In1_1 : int;
16
	In2_1 : int;
17
	In3_1 : int;
18
	In4_1 : int;
19
	In4_2 : int;
20
	In4_3 : int;
21
	In5_1 : int;
22
	In5_2 : int;
23
	In5_3 : int;)
24
returns(Out1_1 : int;
25
	Out2_1 : int;
26
	Out2_2 : int;
27
	Out2_3 : int;
28
	Out3_1 : int;
29
	Out3_2 : int;
30
	Out3_3 : int;);
31
var Bitwise_1 : int;
32
	Bitwise1_1 : int;
33
	Bitwise1_2 : int;
34
	Bitwise1_3 : int;
35
	Bitwise2_1 : int;
36
	Bitwise2_2 : int;
37
	Bitwise2_3 : int;
38
	__time_step : real;
39
	__nb_step : int;
40
let
41
	Bitwise_1 = _OR_Bitwise_Unsigned_8(In1_1, In2_1);
42
	Bitwise1_1 = _OR_Bitwise_Unsigned_8(In3_1, In4_1);
43
	Bitwise1_2 = _OR_Bitwise_Unsigned_8(In3_1, In4_2);
44
	Bitwise1_3 = _OR_Bitwise_Unsigned_8(In3_1, In4_3);
45
	Bitwise2_1 = _OR_Bitwise_Unsigned_8(In5_1, 217);
46
	Bitwise2_2 = _OR_Bitwise_Unsigned_8(In5_2, 217);
47
	Bitwise2_3 = _OR_Bitwise_Unsigned_8(In5_3, 217);
48
	Out1_1 = Bitwise_1;
49
	Out2_1 = Bitwise1_1;
50
	Out2_2 = Bitwise1_2;
51
	Out2_3 = Bitwise1_3;
52
	Out3_1 = Bitwise2_1;
53
	Out3_2 = Bitwise2_2;
54
	Out3_3 = Bitwise2_3;
55
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
56
	__nb_step = (0 -> ((pre __nb_step) + 1));
57
tel