CristalCaveGem » LustreC » Lustrec-Tests

-- This file has been generated by cocoSim

-- System nodes

node memory_matrix_test (In1_1_1 : real; In1_1_2 : real; In1_1_3 : real; In1_1_4 : real; In1_1_5 : real; In1_1_6 : real; In2_1_1 : real; In2_1_2 : real; In2_1_3 : real; In2_1_4 : real; In2_1_5 : real; In2_1_6 : real; In3_1_1 : real; In3_1_2 : real; In3_1_3 : real; In3_1_4 : real; In3_1_5 : real; In3_1_6 : real; In4_1_1 : int; In4_1_2 : int; In4_1_3 : int; In4_1_4 : int; In4_1_5 : int; In4_1_6 : int; In5_1_1 : int; In5_1_2 : int; In5_1_3 : int; In5_1_4 : int; In5_1_5 : int; In5_1_6 : int; In6_1_1 : int; In6_1_2 : int; In6_1_3 : int; In6_1_4 : int; In6_1_5 : int; In6_1_6 : int; In7_1_1 : bool; In7_1_2 : bool; In7_1_3 : bool; In7_1_4 : bool; In7_1_5 : bool; In7_1_6 : bool; In8_1_1 : bool; In8_1_2 : bool; In8_1_3 : bool; In8_1_4 : bool; In8_1_5 : bool; In8_1_6 : bool; In9_1_1 : bool; In9_1_2 : bool; In9_1_3 : bool; In9_1_4 : bool; In9_1_5 : bool; In9_1_6 : bool; In10_1_1 : real; In10_1_2 : real; In10_1_3 : real; In10_1_4 : real; In10_1_5 : real; In10_1_6 : real; In11_1_1 : real; In11_1_2 : real; In11_1_3 : real; In11_1_4 : real; In11_1_5 : real; In11_1_6 : real; In12_1_1 : real; In12_1_2 : real; In12_1_3 : real; In12_1_4 : real; In12_1_5 : real; In12_1_6 : real; In13_1_1 : int; In13_1_2 : int; In13_1_3 : int; In13_1_4 : int; In13_1_5 : int; In13_1_6 : int; In14_1_1 : int; In14_1_2 : int; In14_1_3 : int; In14_1_4 : int; In14_1_5 : int; In14_1_6 : int; In15_1_1 : int; In15_1_2 : int; In15_1_3 : int; In15_1_4 : int; In15_1_5 : int; In15_1_6 : int; In16_1_1 : bool; In16_1_2 : bool; In16_1_3 : bool; In16_1_4 : bool; In16_1_5 : bool; In16_1_6 : bool; In17_1_1 : bool; In17_1_2 : bool; In17_1_3 : bool; In17_1_4 : bool; In17_1_5 : bool; In17_1_6 : bool; In18_1_1 : bool; In18_1_2 : bool; In18_1_3 : bool; In18_1_4 : bool; In18_1_5 : bool; In18_1_6 : bool)

returns (Out1_1_1 : real; Out1_1_2 : real; Out1_1_3 : real; Out1_1_4 : real; Out1_1_5 : real; Out1_1_6 : real;

	Out2_2_1 : real; Out2_2_2 : real; Out2_2_3 : real; Out2_2_4 : real; Out2_2_5 : real; Out2_2_6 : real;

	Out3_3_1 : real; Out3_3_2 : real; Out3_3_3 : real; Out3_3_4 : real; Out3_3_5 : real; Out3_3_6 : real;

	Out4_4_1 : int; Out4_4_2 : int; Out4_4_3 : int; Out4_4_4 : int; Out4_4_5 : int; Out4_4_6 : int;

	Out5_5_1 : int; Out5_5_2 : int; Out5_5_3 : int; Out5_5_4 : int; Out5_5_5 : int; Out5_5_6 : int;

	Out6_6_1 : int; Out6_6_2 : int; Out6_6_3 : int; Out6_6_4 : int; Out6_6_5 : int; Out6_6_6 : int;

	Out7_7_1 : bool; Out7_7_2 : bool; Out7_7_3 : bool; Out7_7_4 : bool; Out7_7_5 : bool; Out7_7_6 : bool;

	Out8_8_1 : bool; Out8_8_2 : bool; Out8_8_3 : bool; Out8_8_4 : bool; Out8_8_5 : bool; Out8_8_6 : bool;

	Out9_9_1 : bool; Out9_9_2 : bool; Out9_9_3 : bool; Out9_9_4 : bool; Out9_9_5 : bool; Out9_9_6 : bool;

	Out10_10_1 : real; Out10_10_2 : real; Out10_10_3 : real; Out10_10_4 : real; Out10_10_5 : real; Out10_10_6 : real;

	Out11_11_1 : real; Out11_11_2 : real; Out11_11_3 : real; Out11_11_4 : real; Out11_11_5 : real; Out11_11_6 : real;

	Out12_12_1 : real; Out12_12_2 : real; Out12_12_3 : real; Out12_12_4 : real; Out12_12_5 : real; Out12_12_6 : real;

	Out13_13_1 : int; Out13_13_2 : int; Out13_13_3 : int; Out13_13_4 : int; Out13_13_5 : int; Out13_13_6 : int;

	Out14_14_1 : int; Out14_14_2 : int; Out14_14_3 : int; Out14_14_4 : int; Out14_14_5 : int; Out14_14_6 : int;

	Out15_15_1 : int; Out15_15_2 : int; Out15_15_3 : int; Out15_15_4 : int; Out15_15_5 : int; Out15_15_6 : int;

	Out16_16_1 : bool; Out16_16_2 : bool; Out16_16_3 : bool; Out16_16_4 : bool; Out16_16_5 : bool; Out16_16_6 : bool;

	Out17_17_1 : bool; Out17_17_2 : bool; Out17_17_3 : bool; Out17_17_4 : bool; Out17_17_5 : bool; Out17_17_6 : bool;

	Out18_18_1 : bool; Out18_18_2 : bool; Out18_18_3 : bool; Out18_18_4 : bool; Out18_18_5 : bool; Out18_18_6 : bool); 

var

	Memory_1_1 : real; Memory_1_2 : real; Memory_1_3 : real; Memory_1_4 : real; Memory_1_5 : real; Memory_1_6 : real;

	Memory1_1_1 : real; Memory1_1_2 : real; Memory1_1_3 : real; Memory1_1_4 : real; Memory1_1_5 : real; Memory1_1_6 : real;

	Memory10_1_1 : real; Memory10_1_2 : real; Memory10_1_3 : real; Memory10_1_4 : real; Memory10_1_5 : real; Memory10_1_6 : real;

	Memory11_1_1 : real; Memory11_1_2 : real; Memory11_1_3 : real; Memory11_1_4 : real; Memory11_1_5 : real; Memory11_1_6 : real;

	Memory12_1_1 : int; Memory12_1_2 : int; Memory12_1_3 : int; Memory12_1_4 : int; Memory12_1_5 : int; Memory12_1_6 : int;

	Memory13_1_1 : int; Memory13_1_2 : int; Memory13_1_3 : int; Memory13_1_4 : int; Memory13_1_5 : int; Memory13_1_6 : int;

	Memory14_1_1 : int; Memory14_1_2 : int; Memory14_1_3 : int; Memory14_1_4 : int; Memory14_1_5 : int; Memory14_1_6 : int;

	Memory15_1_1 : bool; Memory15_1_2 : bool; Memory15_1_3 : bool; Memory15_1_4 : bool; Memory15_1_5 : bool; Memory15_1_6 : bool;

	Memory16_1_1 : bool; Memory16_1_2 : bool; Memory16_1_3 : bool; Memory16_1_4 : bool; Memory16_1_5 : bool; Memory16_1_6 : bool;

	Memory17_1_1 : bool; Memory17_1_2 : bool; Memory17_1_3 : bool; Memory17_1_4 : bool; Memory17_1_5 : bool; Memory17_1_6 : bool;

	Memory2_1_1 : real; Memory2_1_2 : real; Memory2_1_3 : real; Memory2_1_4 : real; Memory2_1_5 : real; Memory2_1_6 : real;

	Memory3_1_1 : int; Memory3_1_2 : int; Memory3_1_3 : int; Memory3_1_4 : int; Memory3_1_5 : int; Memory3_1_6 : int;

	Memory4_1_1 : int; Memory4_1_2 : int; Memory4_1_3 : int; Memory4_1_4 : int; Memory4_1_5 : int; Memory4_1_6 : int;

	Memory5_1_1 : int; Memory5_1_2 : int; Memory5_1_3 : int; Memory5_1_4 : int; Memory5_1_5 : int; Memory5_1_6 : int;

	Memory6_1_1 : bool; Memory6_1_2 : bool; Memory6_1_3 : bool; Memory6_1_4 : bool; Memory6_1_5 : bool; Memory6_1_6 : bool;

	Memory7_1_1 : bool; Memory7_1_2 : bool; Memory7_1_3 : bool; Memory7_1_4 : bool; Memory7_1_5 : bool; Memory7_1_6 : bool;

	Memory8_1_1 : bool; Memory8_1_2 : bool; Memory8_1_3 : bool; Memory8_1_4 : bool; Memory8_1_5 : bool; Memory8_1_6 : bool;

	Memory9_1_1 : real; Memory9_1_2 : real; Memory9_1_3 : real; Memory9_1_4 : real; Memory9_1_5 : real; Memory9_1_6 : real;

	i_virtual_local : real;

let 

	Memory_1_1 = 0.00000000 -> pre In1_1_1;

	Memory_1_2 = 0.00000000 -> pre In1_1_2;

	Memory_1_3 = 0.00000000 -> pre In1_1_3;

	Memory_1_4 = 0.00000000 -> pre In1_1_4;

	Memory_1_5 = 0.00000000 -> pre In1_1_5;

	Memory_1_6 = 0.00000000 -> pre In1_1_6;

	Memory1_1_1 = 0.00000000 -> pre In2_1_1;

	Memory1_1_2 = 0.00000000 -> pre In2_1_2;

	Memory1_1_3 = 0.00000000 -> pre In2_1_3;

	Memory1_1_4 = 0.00000000 -> pre In2_1_4;

	Memory1_1_5 = 0.00000000 -> pre In2_1_5;

	Memory1_1_6 = 0.00000000 -> pre In2_1_6;

	Memory10_1_1 = 0.00000000 -> pre In11_1_1;

	Memory10_1_2 = 2.00000000 -> pre In11_1_2;

	Memory10_1_3 = 3.00000000 -> pre In11_1_3;

	Memory10_1_4 = 4.00000000 -> pre In11_1_4;

	Memory10_1_5 = 5.00000000 -> pre In11_1_5;

	Memory10_1_6 = 6.00000000 -> pre In11_1_6;

	Memory11_1_1 = 1.00000000 -> pre In12_1_1;

	Memory11_1_2 = 0.00000000 -> pre In12_1_2;

	Memory11_1_3 = 1.00000000 -> pre In12_1_3;

	Memory11_1_4 = 0.00000000 -> pre In12_1_4;

	Memory11_1_5 = 0.00000000 -> pre In12_1_5;

	Memory11_1_6 = 0.00000000 -> pre In12_1_6;

	Memory12_1_1 = 0 -> pre In14_1_1;

	Memory12_1_2 = 2 -> pre In14_1_2;

	Memory12_1_3 = 3 -> pre In14_1_3;

	Memory12_1_4 = 4 -> pre In14_1_4;

	Memory12_1_5 = 5 -> pre In14_1_5;

	Memory12_1_6 = 6 -> pre In14_1_6;

	Memory13_1_1 = 1 -> pre In15_1_1;

	Memory13_1_2 = 0 -> pre In15_1_2;

	Memory13_1_3 = 1 -> pre In15_1_3;

	Memory13_1_4 = 0 -> pre In15_1_4;

	Memory13_1_5 = 0 -> pre In15_1_5;

	Memory13_1_6 = 0 -> pre In15_1_6;

	Memory14_1_1 = 0 -> pre In13_1_1;

	Memory14_1_2 = 2 -> pre In13_1_2;

	Memory14_1_3 = 3 -> pre In13_1_3;

	Memory14_1_4 = 4 -> pre In13_1_4;

	Memory14_1_5 = 5 -> pre In13_1_5;

	Memory14_1_6 = 6 -> pre In13_1_6;

	Memory15_1_1 = false -> pre In17_1_1;

	Memory15_1_2 = true -> pre In17_1_2;

	Memory15_1_3 = true -> pre In17_1_3;

	Memory15_1_4 = true -> pre In17_1_4;

	Memory15_1_5 = true -> pre In17_1_5;

	Memory15_1_6 = true -> pre In17_1_6;

	Memory16_1_1 = true -> pre In18_1_1;

	Memory16_1_2 = false -> pre In18_1_2;

	Memory16_1_3 = true -> pre In18_1_3;

	Memory16_1_4 = false -> pre In18_1_4;

	Memory16_1_5 = false -> pre In18_1_5;

	Memory16_1_6 = false -> pre In18_1_6;

	Memory17_1_1 = false -> pre In16_1_1;

	Memory17_1_2 = true -> pre In16_1_2;

	Memory17_1_3 = true -> pre In16_1_3;

	Memory17_1_4 = true -> pre In16_1_4;

	Memory17_1_5 = true -> pre In16_1_5;

	Memory17_1_6 = true -> pre In16_1_6;

	Memory2_1_1 = 1.00000000 -> pre In3_1_1;

	Memory2_1_2 = 1.00000000 -> pre In3_1_2;

	Memory2_1_3 = 1.00000000 -> pre In3_1_3;

	Memory2_1_4 = 1.00000000 -> pre In3_1_4;

	Memory2_1_5 = 1.00000000 -> pre In3_1_5;

	Memory2_1_6 = 1.00000000 -> pre In3_1_6;

	Memory3_1_1 = 0 -> pre In4_1_1;

	Memory3_1_2 = 0 -> pre In4_1_2;

	Memory3_1_3 = 0 -> pre In4_1_3;

	Memory3_1_4 = 0 -> pre In4_1_4;

	Memory3_1_5 = 0 -> pre In4_1_5;

	Memory3_1_6 = 0 -> pre In4_1_6;

	Memory4_1_1 = 0 -> pre In5_1_1;

	Memory4_1_2 = 0 -> pre In5_1_2;

	Memory4_1_3 = 0 -> pre In5_1_3;

	Memory4_1_4 = 0 -> pre In5_1_4;

	Memory4_1_5 = 0 -> pre In5_1_5;

	Memory4_1_6 = 0 -> pre In5_1_6;

	Memory5_1_1 = 1 -> pre In6_1_1;

	Memory5_1_2 = 1 -> pre In6_1_2;

	Memory5_1_3 = 1 -> pre In6_1_3;

	Memory5_1_4 = 1 -> pre In6_1_4;

	Memory5_1_5 = 1 -> pre In6_1_5;

	Memory5_1_6 = 1 -> pre In6_1_6;

	Memory6_1_1 = false -> pre In7_1_1;

	Memory6_1_2 = false -> pre In7_1_2;

	Memory6_1_3 = false -> pre In7_1_3;

	Memory6_1_4 = false -> pre In7_1_4;

	Memory6_1_5 = false -> pre In7_1_5;

	Memory6_1_6 = false -> pre In7_1_6;

	Memory7_1_1 = false -> pre In8_1_1;

	Memory7_1_2 = false -> pre In8_1_2;

	Memory7_1_3 = false -> pre In8_1_3;

	Memory7_1_4 = false -> pre In8_1_4;

	Memory7_1_5 = false -> pre In8_1_5;

	Memory7_1_6 = false -> pre In8_1_6;

	Memory8_1_1 = true -> pre In9_1_1;

	Memory8_1_2 = true -> pre In9_1_2;

	Memory8_1_3 = true -> pre In9_1_3;

	Memory8_1_4 = true -> pre In9_1_4;

	Memory8_1_5 = true -> pre In9_1_5;

	Memory8_1_6 = true -> pre In9_1_6;

	Memory9_1_1 = 0.00000000 -> pre In10_1_1;

	Memory9_1_2 = 2.00000000 -> pre In10_1_2;

	Memory9_1_3 = 3.00000000 -> pre In10_1_3;

	Memory9_1_4 = 4.00000000 -> pre In10_1_4;

	Memory9_1_5 = 5.00000000 -> pre In10_1_5;

	Memory9_1_6 = 6.00000000 -> pre In10_1_6;

	Out1_1_1 = Memory_1_1;

	Out1_1_2 = Memory_1_2;

	Out1_1_3 = Memory_1_3;

	Out1_1_4 = Memory_1_4;

	Out1_1_5 = Memory_1_5;

	Out1_1_6 = Memory_1_6;

	Out2_2_1 = Memory1_1_1;

	Out2_2_2 = Memory1_1_2;

	Out2_2_3 = Memory1_1_3;

	Out2_2_4 = Memory1_1_4;

	Out2_2_5 = Memory1_1_5;

	Out2_2_6 = Memory1_1_6;

	Out3_3_1 = Memory2_1_1;

	Out3_3_2 = Memory2_1_2;

	Out3_3_3 = Memory2_1_3;

	Out3_3_4 = Memory2_1_4;

	Out3_3_5 = Memory2_1_5;

	Out3_3_6 = Memory2_1_6;

	Out4_4_1 = Memory3_1_1;

	Out4_4_2 = Memory3_1_2;

	Out4_4_3 = Memory3_1_3;

	Out4_4_4 = Memory3_1_4;

	Out4_4_5 = Memory3_1_5;

	Out4_4_6 = Memory3_1_6;

	Out5_5_1 = Memory4_1_1;

	Out5_5_2 = Memory4_1_2;

	Out5_5_3 = Memory4_1_3;

	Out5_5_4 = Memory4_1_4;

	Out5_5_5 = Memory4_1_5;

	Out5_5_6 = Memory4_1_6;

	Out6_6_1 = Memory5_1_1;

	Out6_6_2 = Memory5_1_2;

	Out6_6_3 = Memory5_1_3;

	Out6_6_4 = Memory5_1_4;

	Out6_6_5 = Memory5_1_5;

	Out6_6_6 = Memory5_1_6;

	Out7_7_1 = Memory6_1_1;

	Out7_7_2 = Memory6_1_2;

	Out7_7_3 = Memory6_1_3;

	Out7_7_4 = Memory6_1_4;

	Out7_7_5 = Memory6_1_5;

	Out7_7_6 = Memory6_1_6;

	Out8_8_1 = Memory7_1_1;

	Out8_8_2 = Memory7_1_2;

	Out8_8_3 = Memory7_1_3;

	Out8_8_4 = Memory7_1_4;

	Out8_8_5 = Memory7_1_5;

	Out8_8_6 = Memory7_1_6;

	Out9_9_1 = Memory8_1_1;

	Out9_9_2 = Memory8_1_2;

	Out9_9_3 = Memory8_1_3;

	Out9_9_4 = Memory8_1_4;

	Out9_9_5 = Memory8_1_5;

	Out9_9_6 = Memory8_1_6;

	Out10_10_1 = Memory9_1_1;

	Out10_10_2 = Memory9_1_2;

	Out10_10_3 = Memory9_1_3;

	Out10_10_4 = Memory9_1_4;

	Out10_10_5 = Memory9_1_5;

	Out10_10_6 = Memory9_1_6;

	Out11_11_1 = Memory10_1_1;

	Out11_11_2 = Memory10_1_2;

	Out11_11_3 = Memory10_1_3;

	Out11_11_4 = Memory10_1_4;

	Out11_11_5 = Memory10_1_5;

	Out11_11_6 = Memory10_1_6;

	Out12_12_1 = Memory11_1_1;

	Out12_12_2 = Memory11_1_2;

	Out12_12_3 = Memory11_1_3;

	Out12_12_4 = Memory11_1_4;

	Out12_12_5 = Memory11_1_5;

	Out12_12_6 = Memory11_1_6;

	Out13_13_1 = Memory14_1_1;

	Out13_13_2 = Memory14_1_2;

	Out13_13_3 = Memory14_1_3;

	Out13_13_4 = Memory14_1_4;

	Out13_13_5 = Memory14_1_5;

	Out13_13_6 = Memory14_1_6;

	Out14_14_1 = Memory12_1_1;

	Out14_14_2 = Memory12_1_2;

	Out14_14_3 = Memory12_1_3;

	Out14_14_4 = Memory12_1_4;

	Out14_14_5 = Memory12_1_5;

	Out14_14_6 = Memory12_1_6;

	Out15_15_1 = Memory13_1_1;

	Out15_15_2 = Memory13_1_2;

	Out15_15_3 = Memory13_1_3;

	Out15_15_4 = Memory13_1_4;

	Out15_15_5 = Memory13_1_5;

	Out15_15_6 = Memory13_1_6;

	Out16_16_1 = Memory17_1_1;

	Out16_16_2 = Memory17_1_2;

	Out16_16_3 = Memory17_1_3;

	Out16_16_4 = Memory17_1_4;

	Out16_16_5 = Memory17_1_5;

	Out16_16_6 = Memory17_1_6;

	Out17_17_1 = Memory15_1_1;

	Out17_17_2 = Memory15_1_2;

	Out17_17_3 = Memory15_1_3;

	Out17_17_4 = Memory15_1_4;

	Out17_17_5 = Memory15_1_5;

	Out17_17_6 = Memory15_1_6;

	Out18_18_1 = Memory16_1_1;

	Out18_18_2 = Memory16_1_2;

	Out18_18_3 = Memory16_1_3;

	Out18_18_4 = Memory16_1_4;

	Out18_18_5 = Memory16_1_5;

	Out18_18_6 = Memory16_1_6;

	i_virtual_local= 0.0 -> 1.0;

tel