CristalCaveGem » LustreC » Lustrec-Tests

-- This file has been generated by CoCoSim2.

-- Compiler: Lustre compiler 2 (ToLustre.m)

-- Time: 03-Dec-2018 22:15:28

(*

Original block name: unitdelay_vect_test_PP

*)

node  unitdelay_vect_test_PP(In1_1 : real;

	In1_2 : real;

	In2_1 : real;

	In2_2 : real;

	In3_1 : bool;

	In3_2 : bool;

	In4_1 : int;

	In4_2 : int;

	In5_1 : int;

	In5_2 : int;

	In6_1 : int;

	In6_2 : int;

	In7_1 : bool;

	In7_2 : bool;

	In8_1 : bool;

	In8_2 : bool;

	In9_1 : bool;

	In9_2 : bool;

	In10_1 : real;

	In10_2 : real;

	In11_1 : real;

	In11_2 : real;

	In12_1 : bool;

	In12_2 : bool;

	In13_1 : int;

	In13_2 : int;

	In14_1 : int;

	In14_2 : int;

	In15_1 : int;

	In15_2 : int;

	In16_1 : bool;

	In16_2 : bool;

	In17_1 : bool;

	In17_2 : bool;

	In18_1 : bool;

	In18_2 : bool;)

returns(Out1_1 : real;

	Out1_2 : real;

	Out2_1 : real;

	Out2_2 : real;

	Out3_1 : bool;

	Out3_2 : bool;

	Out4_1 : int;

	Out4_2 : int;

	Out5_1 : int;

	Out5_2 : int;

	Out6_1 : int;

	Out6_2 : int;

	Out7_1 : bool;

	Out7_2 : bool;

	Out8_1 : bool;

	Out8_2 : bool;

	Out9_1 : bool;

	Out9_2 : bool;

	Out10_1 : real;

	Out10_2 : real;

	Out11_1 : real;

	Out11_2 : real;

	Out12_1 : bool;

	Out12_2 : bool;

	Out13_1 : int;

	Out13_2 : int;

	Out14_1 : int;

	Out14_2 : int;

	Out15_1 : int;

	Out15_2 : int;

	Out16_1 : bool;

	Out16_2 : bool;

	Out17_1 : bool;

	Out17_2 : bool;

	Out18_1 : bool;

	Out18_2 : bool;);

var UnitDelay_1 : real;

	UnitDelay_2 : real;

	UnitDelay1_1 : real;

	UnitDelay1_2 : real;

	UnitDelay10_1 : real;

	UnitDelay10_2 : real;

	UnitDelay11_1 : bool;

	UnitDelay11_2 : bool;

	UnitDelay12_1 : int;

	UnitDelay12_2 : int;

	UnitDelay13_1 : int;

	UnitDelay13_2 : int;

	UnitDelay14_1 : int;

	UnitDelay14_2 : int;

	UnitDelay15_1 : bool;

	UnitDelay15_2 : bool;

	UnitDelay16_1 : bool;

	UnitDelay16_2 : bool;

	UnitDelay17_1 : bool;

	UnitDelay17_2 : bool;

	UnitDelay2_1 : bool;

	UnitDelay2_2 : bool;

	UnitDelay3_1 : int;

	UnitDelay3_2 : int;

	UnitDelay4_1 : int;

	UnitDelay4_2 : int;

	UnitDelay5_1 : int;

	UnitDelay5_2 : int;

	UnitDelay6_1 : bool;

	UnitDelay6_2 : bool;

	UnitDelay7_1 : bool;

	UnitDelay7_2 : bool;

	UnitDelay8_1 : bool;

	UnitDelay8_2 : bool;

	UnitDelay9_1 : real;

	UnitDelay9_2 : real;

	__time_step : real;

	__nb_step : int;

let

	UnitDelay_1 = (0.000000000000000 -> (pre In1_1));

	UnitDelay_2 = (0.000000000000000 -> (pre In1_2));

	UnitDelay1_1 = (0.000000000000000 -> (pre In2_1));

	UnitDelay1_2 = (0.000000000000000 -> (pre In2_2));

	UnitDelay10_1 = (0.000000000000000 -> (pre In11_1));

	UnitDelay10_2 = (2.000000000000000 -> (pre In11_2));

	UnitDelay11_1 = (true -> (pre In12_1));

	UnitDelay11_2 = (false -> (pre In12_2));

	UnitDelay12_1 = (0 -> (pre In13_1));

	UnitDelay12_2 = (2 -> (pre In13_2));

	UnitDelay13_1 = (0 -> (pre In14_1));

	UnitDelay13_2 = (2 -> (pre In14_2));

	UnitDelay14_1 = (0 -> (pre In15_1));

	UnitDelay14_2 = (1 -> (pre In15_2));

	UnitDelay15_1 = (false -> (pre In16_1));

	UnitDelay15_2 = (true -> (pre In16_2));

	UnitDelay16_1 = (false -> (pre In17_1));

	UnitDelay16_2 = (true -> (pre In17_2));

	UnitDelay17_1 = (false -> (pre In18_1));

	UnitDelay17_2 = (true -> (pre In18_2));

	UnitDelay2_1 = (true -> (pre In3_1));

	UnitDelay2_2 = (true -> (pre In3_2));

	UnitDelay3_1 = (0 -> (pre In4_1));

	UnitDelay3_2 = (0 -> (pre In4_2));

	UnitDelay4_1 = (0 -> (pre In5_1));

	UnitDelay4_2 = (0 -> (pre In5_2));

	UnitDelay5_1 = (1 -> (pre In6_1));

	UnitDelay5_2 = (1 -> (pre In6_2));

	UnitDelay6_1 = (false -> (pre In7_1));

	UnitDelay6_2 = (false -> (pre In7_2));

	UnitDelay7_1 = (false -> (pre In8_1));

	UnitDelay7_2 = (false -> (pre In8_2));

	UnitDelay8_1 = (true -> (pre In9_1));

	UnitDelay8_2 = (true -> (pre In9_2));

	UnitDelay9_1 = (0.000000000000000 -> (pre In10_1));

	UnitDelay9_2 = (2.000000000000000 -> (pre In10_2));

	Out1_1 = UnitDelay_1;

	Out1_2 = UnitDelay_2;

	Out2_1 = UnitDelay1_1;

	Out2_2 = UnitDelay1_2;

	Out3_1 = UnitDelay2_1;

	Out3_2 = UnitDelay2_2;

	Out4_1 = UnitDelay3_1;

	Out4_2 = UnitDelay3_2;

	Out5_1 = UnitDelay4_1;

	Out5_2 = UnitDelay4_2;

	Out6_1 = UnitDelay5_1;

	Out6_2 = UnitDelay5_2;

	Out7_1 = UnitDelay6_1;

	Out7_2 = UnitDelay6_2;

	Out8_1 = UnitDelay7_1;

	Out8_2 = UnitDelay7_2;

	Out9_1 = UnitDelay8_1;

	Out9_2 = UnitDelay8_2;

	Out10_1 = UnitDelay9_1;

	Out10_2 = UnitDelay9_2;

	Out11_1 = UnitDelay10_1;

	Out11_2 = UnitDelay10_2;

	Out12_1 = UnitDelay11_1;

	Out12_2 = UnitDelay11_2;

	Out13_1 = UnitDelay12_1;

	Out13_2 = UnitDelay12_2;

	Out14_1 = UnitDelay13_1;

	Out14_2 = UnitDelay13_2;

	Out15_1 = UnitDelay14_1;

	Out15_2 = UnitDelay14_2;

	Out16_1 = UnitDelay15_1;

	Out16_2 = UnitDelay15_2;

	Out17_1 = UnitDelay16_1;

	Out17_2 = UnitDelay16_2;

	Out18_1 = UnitDelay17_1;

	Out18_2 = UnitDelay17_2;

	__time_step = (0.0 -> ((pre __time_step) + 1.000000000000000));

	__nb_step = (0 -> ((pre __nb_step) + 1));

tel