Project

General

Profile

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

    
12
(*
13
Original block name: BitwiseAND_uint8_PP
14
*)
15
node  BitwiseAND_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 = _AND_Bitwise_Unsigned_8(In1_1, In2_1);
47
	Bitwise1_1 = _AND_Bitwise_Unsigned_8(In3_1, In4_1);
48
	Bitwise1_2 = _AND_Bitwise_Unsigned_8(In3_1, In4_2);
49
	Bitwise1_3 = _AND_Bitwise_Unsigned_8(In3_1, In4_3);
50
	Bitwise2_1 = _AND_Bitwise_Unsigned_8(In5_1, 217);
51
	Bitwise2_2 = _AND_Bitwise_Unsigned_8(In5_2, 217);
52
	Bitwise2_3 = _AND_Bitwise_Unsigned_8(In5_3, 217);
53
	Bitwise3_1 = _AND_Bitwise_Unsigned_8(In6_1, _AND_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

    
(145-145/1153)