Project

General

Profile

Download (1.75 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:21:44
5
node  _XOR_Bitwise_Unsigned_8(x : int;
6
	y : int;)
7
returns(z : int;);
8
let
9
	z = ( ((x + y) mod 2) + (2 * (((x / 2) + (y / 2)) mod 2)) + (4 * (((x / 4) + (y / 4)) mod 2)) + (8 * (((x / 8) + (y / 8)) mod 2)) + (16 * (((x / 16) + (y / 16)) mod 2)) + (32 * (((x / 32) + (y / 32)) mod 2)) + (64 * (((x / 64) + (y / 64)) mod 2)) + (128 * (((x / 128) + (y / 128)) mod 2)) );
10
tel
11

    
12
(*
13
Original block name: BitwiseXOR_uint8_PP
14
*)
15
node  BitwiseXOR_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
	In6_1 : int;
25
	In6_2 : int;
26
	In6_3 : int;)
27
returns(Out1_1 : int;
28
	Out2_1 : int;
29
	Out2_2 : int;
30
	Out2_3 : int;
31
	Out3_1 : int;
32
	Out3_2 : int;
33
	Out3_3 : int;
34
	Out4_1 : int;);
35
var Bitwise_1 : int;
36
	Bitwise1_1 : int;
37
	Bitwise1_2 : int;
38
	Bitwise1_3 : int;
39
	Bitwise2_1 : int;
40
	Bitwise2_2 : int;
41
	Bitwise2_3 : int;
42
	Bitwise3_1 : int;
43
	__time_step : real;
44
	__nb_step : int;
45
let
46
	Bitwise_1 = _XOR_Bitwise_Unsigned_8(In1_1, In2_1);
47
	Bitwise1_1 = _XOR_Bitwise_Unsigned_8(In3_1, In4_1);
48
	Bitwise1_2 = _XOR_Bitwise_Unsigned_8(In3_1, In4_2);
49
	Bitwise1_3 = _XOR_Bitwise_Unsigned_8(In3_1, In4_3);
50
	Bitwise2_1 = _XOR_Bitwise_Unsigned_8(In5_1, 217);
51
	Bitwise2_2 = _XOR_Bitwise_Unsigned_8(In5_2, 217);
52
	Bitwise2_3 = _XOR_Bitwise_Unsigned_8(In5_3, 217);
53
	Bitwise3_1 = _XOR_Bitwise_Unsigned_8(In6_1, _XOR_Bitwise_Unsigned_8(In6_2, In6_3));
54
	Out1_1 = Bitwise_1;
55
	Out2_1 = Bitwise1_1;
56
	Out2_2 = Bitwise1_2;
57
	Out2_3 = Bitwise1_3;
58
	Out3_1 = Bitwise2_1;
59
	Out3_2 = Bitwise2_2;
60
	Out3_3 = Bitwise2_3;
61
	Out4_1 = Bitwise3_1;
62
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
63
	__nb_step = (0 -> ((pre __nb_step) + 1));
64
tel
65

    
(193-193/1153)