diff --git a/Comparator.vhd b/Comparator.vhd index 37e3688..338fab0 100644 --- a/Comparator.vhd +++ b/Comparator.vhd @@ -3,31 +3,43 @@ use IEEE.STD_LOGIC_1164.ALL; entity Comparator is - generic( BITCOUNT: integer := 8 ); + + generic( BITCOUNT : integer := 8 ); + port( - xT, yT: in std_logic_vector((BITCOUNT-1) downto 0); - needSwap: out std_logic + X_MANT, Y_MANT : in std_logic_vector((BITCOUNT-1) downto 0); + NEED_SWAP : out std_logic ); + end Comparator; architecture ComparatorArch of Comparator is - signal xGTy: std_logic_vector((BITCOUNT-1) downto 0); - signal yGTx: std_logic_vector((BITCOUNT-1) downto 0); -begin - xGTy <= xT and (not yT); - yGTx <= (not xT) and yT; + + signal X_GT_Y : std_logic_vector((BITCOUNT-1) downto 0); + signal Y_GT_X : std_logic_vector((BITCOUNT-1) downto 0); + +begin + + X_GT_Y <= X_MANT and (not Y_MANT); + Y_GT_X <= (not X_MANT) and Y_MANT; + + NEED_SWAP_COMPUTE: process (X_GT_Y, Y_GT_X) + + variable SWAP : std_logic; + variable SWAP_CARRY : std_logic; - needSwap_compute: process (xGTy, yGTx) - variable SW: std_logic; - variable K: std_logic; begin - SW := '0'; - K := '1'; + + SWAP := '0'; + SWAP_CARRY := '1'; + for i in (BITCOUNT-1) downto 0 loop - SW := SW or ((not(xGTy(i)) and yGTx(i)) and K); - K := K and (not(xGTy(i) and not(yGTx(i)))); + SWAP := SWAP or ((not(X_GT_Y(i)) and Y_GT_X(i)) and SWAP_CARRY); + SWAP_CARRY := SWAP_CARRY and (not(X_GT_Y(i) and not(Y_GT_X(i)))); end loop; - needSwap <= SW; + + NEED_SWAP <= SWAP; + end process; end ComparatorArch; diff --git a/IEEE754Adder.xise b/IEEE754Adder.xise index 6cfbe40..e814ae0 100644 --- a/IEEE754Adder.xise +++ b/IEEE754Adder.xise @@ -66,23 +66,25 @@ - - + + - - - - - + + + + + + + @@ -203,9 +205,9 @@ - - - + + + @@ -274,7 +276,7 @@ - + @@ -289,10 +291,10 @@ - - - - + + + + @@ -301,6 +303,7 @@ + @@ -316,7 +319,7 @@ - + @@ -340,8 +343,8 @@ - - + + @@ -360,7 +363,7 @@ - + @@ -415,7 +418,7 @@ - + diff --git a/NaNCheck.vhd b/NaNCheck.vhd index 1ba7ed4..0fb9aa3 100644 --- a/NaNCheck.vhd +++ b/NaNCheck.vhd @@ -2,37 +2,44 @@ library IEEE; use IEEE.STD_LOGIC_1164.ALL; entity NaNCheck is + port( - X, Y: in std_logic_vector(31 downto 0); - isNan: out std_logic + X, Y : in std_logic_vector(31 downto 0); + IS_NAN : out std_logic ); + end NaNCheck; architecture NaNCheckArch of NaNCheck is + component TypeCheck is + port( - N: in std_logic_vector(31 downto 0); - NaN, INF: out std_logic + N : in std_logic_vector(31 downto 0); + NAN, INF : out std_logic ); + end component; - signal xNan: std_logic; - signal xInf: std_logic; - signal xSign: std_logic; - signal yNan: std_logic; - signal yInf: std_logic; - signal ySign: std_logic; + signal X_NAN : std_logic; + signal X_INF : std_logic; + signal X_SIGN : std_logic; + signal Y_NAN : std_logic; + signal Y_INF : std_logic; + signal Y_SIGN : std_logic; begin - xCheck: TypeCheck - port map (N => X, NaN => xNan, INF => xInf); - yCheck: TypeCheck - port map (N => Y, NaN => yNan, INF => yInf); - xSign <= X(31); - ySign <= Y(31); + xCheck: TypeCheck + port map (N => X, NAN => X_NAN, INF => X_INF); + + yCheck: TypeCheck + port map (N => Y, NAN => Y_NAN, INF => Y_INF); + + X_SIGN <= X(31); + Y_SIGN <= Y(31); - isNan <= xNan or yNan or (xInf and xSign and yInf and (not ySign)) or (xInf and (not xSign) and yInf and ySign); + IS_NAN <= X_NAN or Y_NAN or (X_INF and X_SIGN and Y_INF and (not Y_SIGN)) or (X_INF and (not X_SIGN) and Y_INF and Y_SIGN); end NaNCheckArch; diff --git a/SpecialCasesCheck.vhd b/SpecialCasesCheck.vhd index dfaf432..81918e6 100644 --- a/SpecialCasesCheck.vhd +++ b/SpecialCasesCheck.vhd @@ -2,32 +2,43 @@ library IEEE; use IEEE.STD_LOGIC_1164.ALL; entity SpecialCasesCheck is + port( - X, Y: in std_logic_vector(31 downto 0); - isNaN, isZero: out std_logic + X, Y : in std_logic_vector(31 downto 0); + IS_NAN, IS_ZERO : out std_logic ); + end SpecialCasesCheck; architecture SpecialCasesCheckArch of SpecialCasesCheck is + component NaNCheck is + port( - X, Y: in std_logic_vector(31 downto 0); - isNaN: out std_logic + X, Y : in std_logic_vector(31 downto 0); + IS_NAN : out std_logic ); + end component; component ZeroCheck is + port( - X, Y: in std_logic_vector(31 downto 0); - isZero: out std_logic + X, Y : in std_logic_vector(31 downto 0); + IS_ZERO : out std_logic ); + end component; + begin + NC: NaNCheck - port map (X => X, Y => Y, isNaN => isNaN); + port map (X => X, Y => Y, IS_NAN => IS_NAN); + ZC: ZeroCheck - port map (X => X, Y => Y, isZero => isZero); + port map (X => X, Y => Y, IS_ZERO => IS_ZERO); + end SpecialCasesCheckArch; diff --git a/Swap.vhd b/Swap.vhd index 2320648..35bc370 100644 --- a/Swap.vhd +++ b/Swap.vhd @@ -2,25 +2,32 @@ library IEEE; use IEEE.STD_LOGIC_1164.ALL; entity Swap is - generic(BITCOUNT : integer := 8); + + generic( + BITCOUNT : integer := 8 + ); + port( X_IN, Y_IN : in std_logic_vector((BITCOUNT-1) downto 0); SW : in std_logic; X_OUT, Y_OUT : out std_logic_vector((BITCOUNT-1) downto 0) ); + end Swap; architecture SwapArch of Swap is begin - SWAP_PRO: process(X_IN, Y_IN, SW) + + SWAP_PROCESS: process(X_IN, Y_IN, SW) + begin + for i in (BITCOUNT-1) downto 0 loop - X_OUT(i) <= (not(SW) and X_IN(i)) or (SW and Y_IN(i)); Y_OUT(i) <= (not(SW) and Y_IN(i)) or (SW and X_IN(i)); - end loop; + end process; end SwapArch; diff --git a/TwoComplement.vhd b/TwoComplement.vhd index 543bc1c..4877bd8 100644 --- a/TwoComplement.vhd +++ b/TwoComplement.vhd @@ -2,30 +2,53 @@ library IEEE; use IEEE.STD_LOGIC_1164.ALL; entity TwoComplement is - generic(BITCOUNT : integer := 8); + + generic( + BITCOUNT : integer := 8 + ); + port( DIFF_EXP_C2 : in std_logic_vector((BITCOUNT-1) downto 0); - DIFF_EXP_ABS : out std_logic_vector((BITCOUNT-2) downto 0); + DIFF_EXP : out std_logic_vector((BITCOUNT-1) downto 0) ); + end TwoComplement; architecture TwoComplementArch of TwoComplement is - signal S : std_logic; - signal M : std_logic_vector((BITCOUNT-2) downto 0); -begin - S <= DIFF_EXP_C2(BITCOUNT-1); - M <= DIFF_EXP_C2((BITCOUNT-2) downto 0); + + signal SIGN : std_logic; + signal DIFF_EXP_ABS : std_logic_vector((BITCOUNT-2) downto 0); + +begin + + SIGN <= DIFF_EXP_C2(BITCOUNT-1); + + C2_PROCESS : process(DIFF_EXP_C2, SIGN) - C2 : process(DIFF_EXP_C2) begin + for i in (BITCOUNT-2) downto 0 loop - M(i) <= S xor M(i); + DIFF_EXP_ABS(i) <= SIGN xor DIFF_EXP_C2(i); end loop; + end process; - --sommare 1 a M se S = '1' + SUM : process(DIFF_EXP_ABS, SIGN) - DIFF_EXP_ABS <= M; + variable CARRY : std_logic; + + begin + + CARRY := SIGN; + + for i in 0 to (BITCOUNT-2) loop + DIFF_EXP(i) <= DIFF_EXP_ABS(i) xor CARRY; + CARRY := DIFF_EXP_ABS(i) and CARRY; + end loop; + + DIFF_EXP(BITCOUNT-1) <= CARRY; + + end process; end TwoComplementArch; diff --git a/TwoComplementTest.vhd b/TwoComplementTest.vhd new file mode 100644 index 0000000..5192b81 --- /dev/null +++ b/TwoComplementTest.vhd @@ -0,0 +1,85 @@ +LIBRARY ieee; +USE ieee.std_logic_1164.ALL; + +-- Uncomment the following library declaration if using +-- arithmetic functions with Signed or Unsigned values +--USE ieee.numeric_std.ALL; + +ENTITY TwoComplementTest IS +END TwoComplementTest; + +ARCHITECTURE behavior OF TwoComplementTest IS + + -- Component Declaration for the Unit Under Test (UUT) + + COMPONENT TwoComplement + PORT( + DIFF_EXP_C2 : IN std_logic_vector(7 downto 0); + DIFF_EXP : OUT std_logic_vector(7 downto 0) + ); + END COMPONENT; + + + --Inputs + signal DIFF_EXP_C2 : std_logic_vector(7 downto 0) := "00000000"; + + --Outputs + signal DIFF_EXP : std_logic_vector(7 downto 0); + signal clock : std_logic; + -- No clocks detected in port list. Replace clock below with + -- appropriate port name + + constant clock_period : time := 10 ns; + +BEGIN + + -- Instantiate the Unit Under Test (UUT) + uut: TwoComplement PORT MAP ( + DIFF_EXP_C2 => DIFF_EXP_C2, + DIFF_EXP => DIFF_EXP + ); + + -- Clock process definitions + clock_process :process + begin + clock <= '0'; + wait for clock_period/2; + clock <= '1'; + wait for clock_period/2; + end process; + + + -- Stimulus process + stim_proc: process + begin + -- hold reset state for 100 ns. + wait for 100 ns; + + wait for clock_period*10; + + -- insert stimulus here + + wait; + end process; + + test_process :process + begin + DIFF_EXP_C2 <= "01001110"; + wait for clock_period; + DIFF_EXP_C2 <= "11111111"; + wait for clock_period; + DIFF_EXP_C2 <= "10000000"; + wait for clock_period; + DIFF_EXP_C2 <= "01111111"; + wait for clock_period; + DIFF_EXP_C2 <= "01100101"; + wait for clock_period; + DIFF_EXP_C2 <= "10011101"; + wait for clock_period; + DIFF_EXP_C2 <= "11100010"; + wait for clock_period; + DIFF_EXP_C2 <= "10010011"; + wait for clock_period; + end process; + +END; diff --git a/TwoComplementTest_isim_beh.exe b/TwoComplementTest_isim_beh.exe new file mode 100644 index 0000000..11ae4f7 Binary files /dev/null and b/TwoComplementTest_isim_beh.exe differ diff --git a/TwoComplementTest_isim_beh.wdb b/TwoComplementTest_isim_beh.wdb new file mode 100644 index 0000000..23dc2a8 Binary files /dev/null and b/TwoComplementTest_isim_beh.wdb differ diff --git a/TypeCheck.vhd b/TypeCheck.vhd index 8d95d1e..a2fda1b 100644 --- a/TypeCheck.vhd +++ b/TypeCheck.vhd @@ -2,42 +2,60 @@ library IEEE; use IEEE.STD_LOGIC_1164.ALL; entity TypeCheck is + port( - N: in std_logic_vector(31 downto 0); - NaN, INF: out std_logic + N : in std_logic_vector(31 downto 0); + NAN, INF : out std_logic ); + end TypeCheck; architecture TypeCheckArch of TypeCheck is - signal G_Bus: std_logic_vector(7 downto 0); - signal T_Bus: std_logic_vector(22 downto 0); - signal G: std_logic := '1'; - signal T: std_logic := '0'; + + signal G_BUS : std_logic_vector(7 downto 0); + signal T_BUS : std_logic_vector(22 downto 0); + signal G : std_logic := '1'; + signal T : std_logic := '0'; + begin - G_Bus <= N(30 downto 23); - T_Bus <= N(22 downto 0); + + G_BUS <= N(30 downto 23); + T_BUS <= N(22 downto 0); - G_compute: process (G_Bus) - variable G_tmp: std_logic; + G_compute: process (G_BUS) + + variable G_TMP : std_logic; + begin - G_tmp := '1'; - for i in G_Bus'range loop - G_tmp := G_tmp and G_Bus(i); + + G_TMP := '1'; + + for i in G_BUS'range loop + G_TMP := G_TMP and G_BUS(i); end loop; - G <= G_tmp; + + G <= G_TMP; + end process; - T_compute: process (T_Bus) - variable T_tmp: std_logic; + T_compute: process (T_BUS) + + variable T_TMP : std_logic; + begin - T_tmp := '0'; - for i in T_Bus'range loop - T_tmp := T_tmp or T_Bus(i); + + T_TMP := '0'; + + for i in T_BUS'range loop + T_TMP := T_TMP or T_BUS(i); end loop; - T <= T_tmp; + + T <= T_TMP; + end process; - NaN <= G and T; + NAN <= G and T; INF <= G and (not T); + end TypeCheckArch; diff --git a/ZeroCheck.vhd b/ZeroCheck.vhd index e13ff55..78b151c 100644 --- a/ZeroCheck.vhd +++ b/ZeroCheck.vhd @@ -3,38 +3,50 @@ use IEEE.STD_LOGIC_1164.ALL; entity ZeroCheck is + port( - X, Y: in std_logic_vector(31 downto 0); - isZero: out std_logic + X, Y : in std_logic_vector(31 downto 0); + IS_ZERO : out std_logic ); + end ZeroCheck; architecture ZeroCheckArch of ZeroCheck is + component EqualCheck is - generic( BITCOUNT: integer := 8 ); - port( - X, Y: in std_logic_vector( (BITCOUNT-1) downto 0 ); - isEqual: out std_logic + + generic( + BITCOUNT : integer := 8 ); + + port( + X, Y : in std_logic_vector((BITCOUNT-1) downto 0); + IS_EQUAL : out std_logic + ); + end component; - signal xSign: std_logic; - signal ySign: std_logic; - signal xAbs: std_logic_vector(30 downto 0); - signal yAbs: std_logic_vector(30 downto 0); - signal isSameAbsValue: std_logic; - signal isSameSign: std_logic; + signal S_SIGN : std_logic; + signal Y_SIGN : std_logic; + signal X_ABS : std_logic_vector(30 downto 0); + signal Y_ABS : std_logic_vector(30 downto 0); + signal IS_SAME_ABS_VALUE : std_logic; + signal IS_SAME_SIGN : std_logic; + begin - xSign <= X(31); - ySign <= Y(31); - xAbs <= X(30 downto 0); - yAbs <= Y(30 downto 0); - isSameSign <= xSign xnor ySign; + S_SIGN <= X(31); + Y_SIGN <= Y(31); + X_ABS <= X(30 downto 0); + Y_ABS <= Y(30 downto 0); + + IS_SAME_SIGN <= S_SIGN xnor Y_SIGN; + AbsCheck: EqualCheck generic map ( BITCOUNT => 31 ) - port map (X => xAbs, Y => yAbs, isEqual => isSameAbsValue); + port map (X => X_ABS, Y => Y_ABS, IS_EQUAL => IS_SAME_ABS_VALUE); + + IS_ZERO <= (not IS_SAME_SIGN) and IS_SAME_ABS_VALUE; - isZero <= (not isSameSign) and isSameAbsValue; end ZeroCheckArch; diff --git a/equalCheck.vhd b/equalCheck.vhd index 15cd1ba..96b05e3 100644 --- a/equalCheck.vhd +++ b/equalCheck.vhd @@ -2,26 +2,40 @@ library IEEE; use IEEE.STD_LOGIC_1164.ALL; entity EqualCheck is - generic( BITCOUNT: integer := 8 ); - port( - X, Y: in std_logic_vector( (BITCOUNT-1) downto 0 ); - isEqual: out std_logic + + generic( + BITCOUNT: integer := 8 ); + + port( + X, Y : in std_logic_vector((BITCOUNT-1) downto 0); + IS_EQUAL : out std_logic + ); + end EqualCheck; architecture EqualCheckArch of EqualCheck is - signal compVec: std_logic_vector( (BITCOUNT-1) downto 0 ); -begin - compVec <= X xor Y; + + signal COMP_VEC : std_logic_vector((BITCOUNT-1) downto 0); - res_compute: process (compVec) - variable res_tmp: std_logic; +begin + + COMP_VEC <= X xor Y; + + RES_COMPUTE: process (COMP_VEC) + + variable RES_TMP : std_logic; + begin - res_tmp := '0'; - for i in compVec'range loop - res_tmp := res_tmp or compVec(i); + + RES_TMP := '0'; + + for i in COMP_VEC'range loop + RES_TMP := RES_TMP or COMP_VEC(i); end loop; - isEqual <= not res_tmp; + + IS_EQUAL <= not RES_TMP; + end process; end EqualCheckArch; diff --git a/fuse.log b/fuse.log index f57a166..b6e5b65 100644 --- a/fuse.log +++ b/fuse.log @@ -1,21 +1,21 @@ -Running: /opt/Xilinx/14.7/ISE_DS/ISE/bin/lin64/unwrapped/fuse -relaunch -intstyle "ise" -incremental -lib "secureip" -o "/home/ise/gianni/IEEE754Adder/FullAdderTest_isim_beh.exe" -prj "/home/ise/gianni/IEEE754Adder/FullAdderTest_beh.prj" "work.FullAdderTest" +Running: /opt/Xilinx/14.7/ISE_DS/ISE/bin/lin64/unwrapped/fuse -intstyle ise -incremental -lib secureip -o /home/ise/gianni/IEEE754Adder/TwoComplementTest_isim_beh.exe -prj /home/ise/gianni/IEEE754Adder/TwoComplementTest_beh.prj work.TwoComplementTest ISim P.20160913 (signature 0xfbc00daa) Number of CPUs detected in this system: 1 Turning on mult-threading, number of parallel sub-compilation jobs: 0 Determining compilation order of HDL files -Parsing VHDL file "/home/ise/gianni/IEEE754Adder/FullAdder.vhd" into library work -Parsing VHDL file "/home/ise/gianni/IEEE754Adder/FullAdderTest.vhd" into library work +Parsing VHDL file "/home/ise/gianni/IEEE754Adder/TwoComplement.vhd" into library work +Parsing VHDL file "/home/ise/gianni/IEEE754Adder/TwoComplementTest.vhd" into library work Starting static elaboration Completed static elaboration Fuse Memory Usage: 95308 KB -Fuse CPU Usage: 2530 ms +Fuse CPU Usage: 2300 ms Compiling package standard Compiling package std_logic_1164 -Compiling architecture fulladderarch of entity FullAdder [fulladder_default] -Compiling architecture behavior of entity fulladdertest +Compiling architecture twocomplementarch of entity TwoComplement [\TwoComplement(8)\] +Compiling architecture behavior of entity twocomplementtest Time Resolution for simulation is 1ps. Compiled 5 VHDL Units -Built simulation executable /home/ise/gianni/IEEE754Adder/FullAdderTest_isim_beh.exe -Fuse Memory Usage: 103940 KB -Fuse CPU Usage: 2640 ms -GCC CPU Usage: 440 ms +Built simulation executable /home/ise/gianni/IEEE754Adder/TwoComplementTest_isim_beh.exe +Fuse Memory Usage: 103960 KB +Fuse CPU Usage: 2400 ms +GCC CPU Usage: 1480 ms diff --git a/fuseRelaunch.cmd b/fuseRelaunch.cmd index 489428f..07c2c4c 100644 --- a/fuseRelaunch.cmd +++ b/fuseRelaunch.cmd @@ -1 +1 @@ --intstyle "ise" -incremental -lib "secureip" -o "/home/ise/gianni/IEEE754Adder/FullAdderTest_isim_beh.exe" -prj "/home/ise/gianni/IEEE754Adder/FullAdderTest_beh.prj" "work.FullAdderTest" +-intstyle "ise" -incremental -lib "secureip" -o "/home/ise/gianni/IEEE754Adder/TwoComplementTest_isim_beh.exe" -prj "/home/ise/gianni/IEEE754Adder/TwoComplementTest_beh.prj" "work.TwoComplementTest" diff --git a/isim.log b/isim.log index cabc714..e1e823f 100644 --- a/isim.log +++ b/isim.log @@ -1,5 +1,5 @@ ISim log file -Running: /home/ise/gianni/IEEE754Adder/FullAdderTest_isim_beh.exe -intstyle ise -gui -tclbatch isim.cmd -wdb /home/ise/gianni/IEEE754Adder/FullAdderTest_isim_beh.wdb +Running: /home/ise/gianni/IEEE754Adder/TwoComplementTest_isim_beh.exe -intstyle ise -gui -tclbatch isim.cmd -wdb /home/ise/gianni/IEEE754Adder/TwoComplementTest_isim_beh.wdb ISim P.20160913 (signature 0xfbc00daa) ---------------------------------------------------------------------- WARNING:Security:42 - Your software subscription period has lapsed. Your current version of Xilinx tools will continue to function, but you no longer qualify for Xilinx software updates or new releases. @@ -13,14 +13,4 @@ Time resolution is 1 ps # run 1000 ns Simulator is doing circuit initialization process. Finished circuit initialization process. -ISim P.20160913 (signature 0xfbc00daa) ----------------------------------------------------------------------- -WARNING:Security:42 - Your software subscription period has lapsed. Your current version of Xilinx tools will continue to function, but you no longer qualify for Xilinx software updates or new releases. - - ----------------------------------------------------------------------- -This is a Full version of ISim. -# run 1000 ns -Simulator is doing circuit initialization process. -Finished circuit initialization process. # exit 0 diff --git a/isim/ComparatorTest_isim_beh.exe.sim/ComparatorTest_isim_beh.exe b/isim/ComparatorTest_isim_beh.exe.sim/ComparatorTest_isim_beh.exe deleted file mode 100644 index caf9c4a..0000000 Binary files a/isim/ComparatorTest_isim_beh.exe.sim/ComparatorTest_isim_beh.exe and /dev/null differ diff --git a/isim/ComparatorTest_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg b/isim/ComparatorTest_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg deleted file mode 100644 index 6d2714f..0000000 Binary files a/isim/ComparatorTest_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg and /dev/null differ diff --git a/isim/ComparatorTest_isim_beh.exe.sim/isimkernel.log b/isim/ComparatorTest_isim_beh.exe.sim/isimkernel.log deleted file mode 100644 index 626b56f..0000000 --- a/isim/ComparatorTest_isim_beh.exe.sim/isimkernel.log +++ /dev/null @@ -1,28 +0,0 @@ -Command line: - ComparatorTest_isim_beh.exe - -simmode gui - -simrunnum 0 - -socket 40809 - -Tue Aug 27 09:47:36 2019 - - - Elaboration Time: 0.12 sec - - Current Memory Usage: 198.607 Meg - - Total Signals : 9 - Total Nets : 34 - Total Signal Drivers : 4 - Total Blocks : 3 - Total Primitive Blocks : 2 - Total Processes : 5 - Total Traceable Variables : 10 - Total Scalar Nets and Variables : 396 - - Total Simulation Time: 0.13 sec - - Current Memory Usage: 276.206 Meg - -Tue Aug 27 09:47:41 2019 - diff --git a/isim/ComparatorTest_isim_beh.exe.sim/netId.dat b/isim/ComparatorTest_isim_beh.exe.sim/netId.dat deleted file mode 100644 index 7e9a792..0000000 Binary files a/isim/ComparatorTest_isim_beh.exe.sim/netId.dat and /dev/null differ diff --git a/isim/ComparatorTest_isim_beh.exe.sim/tmp_save/_1 b/isim/ComparatorTest_isim_beh.exe.sim/tmp_save/_1 deleted file mode 100644 index 0d504ae..0000000 Binary files a/isim/ComparatorTest_isim_beh.exe.sim/tmp_save/_1 and /dev/null differ diff --git a/isim/ComparatorTest_isim_beh.exe.sim/work/ComparatorTest_isim_beh.exe_main.c b/isim/ComparatorTest_isim_beh.exe.sim/work/ComparatorTest_isim_beh.exe_main.c deleted file mode 100644 index 63a70f6..0000000 --- a/isim/ComparatorTest_isim_beh.exe.sim/work/ComparatorTest_isim_beh.exe_main.c +++ /dev/null @@ -1,40 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -#include "xsi.h" - -struct XSI_INFO xsi_info; - -char *IEEE_P_2592010699; -char *STD_STANDARD; - - -int main(int argc, char **argv) -{ - xsi_init_design(argc, argv); - xsi_register_info(&xsi_info); - - xsi_register_min_prec_unit(-12); - ieee_p_2592010699_init(); - work_a_0883098610_0495709306_init(); - work_a_1038528572_2372691052_init(); - - - xsi_register_tops("work_a_1038528572_2372691052"); - - IEEE_P_2592010699 = xsi_get_engine_memory("ieee_p_2592010699"); - xsi_register_ieee_std_logic_1164(IEEE_P_2592010699); - STD_STANDARD = xsi_get_engine_memory("std_standard"); - - return xsi_run_simulation(argc, argv); - -} diff --git a/isim/ComparatorTest_isim_beh.exe.sim/work/a_0883098610_0495709306.c b/isim/ComparatorTest_isim_beh.exe.sim/work/a_0883098610_0495709306.c deleted file mode 100644 index 385e92b..0000000 --- a/isim/ComparatorTest_isim_beh.exe.sim/work/a_0883098610_0495709306.c +++ /dev/null @@ -1,314 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif -static const char *ng0 = "/home/ise/gianni/IEEE754Adder/Comparator.vhd"; -extern char *IEEE_P_2592010699; - -char *ieee_p_2592010699_sub_16439989832805790689_503743352(char *, char *, char *, char *, char *, char *); -char *ieee_p_2592010699_sub_207919886985903570_503743352(char *, char *, char *, char *); -unsigned char ieee_p_2592010699_sub_3488546069778340532_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_3488768496604610246_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_374109322130769762_503743352(char *, unsigned char ); - - -static void work_a_0883098610_0495709306_p_0(char *t0) -{ - char t1[16]; - char t4[16]; - char *t2; - char *t3; - char *t5; - char *t6; - char *t7; - char *t8; - char *t9; - unsigned int t10; - unsigned int t11; - unsigned char t12; - char *t13; - char *t14; - char *t15; - char *t16; - char *t17; - char *t18; - -LAB0: xsi_set_current_line(17, ng0); - -LAB3: t2 = (t0 + 1032U); - t3 = *((char **)t2); - t2 = (t0 + 6144U); - t5 = (t0 + 1192U); - t6 = *((char **)t5); - t5 = (t0 + 6160U); - t7 = ieee_p_2592010699_sub_207919886985903570_503743352(IEEE_P_2592010699, t4, t6, t5); - t8 = ieee_p_2592010699_sub_16439989832805790689_503743352(IEEE_P_2592010699, t1, t3, t2, t7, t4); - t9 = (t1 + 12U); - t10 = *((unsigned int *)t9); - t11 = (1U * t10); - t12 = (8U != t11); - if (t12 == 1) - goto LAB5; - -LAB6: t13 = (t0 + 4112); - t14 = (t13 + 56U); - t15 = *((char **)t14); - t16 = (t15 + 56U); - t17 = *((char **)t16); - memcpy(t17, t8, 8U); - xsi_driver_first_trans_fast(t13); - -LAB2: t18 = (t0 + 4000); - *((int *)t18) = 1; - -LAB1: return; -LAB4: goto LAB2; - -LAB5: xsi_size_not_matching(8U, t11, 0); - goto LAB6; - -} - -static void work_a_0883098610_0495709306_p_1(char *t0) -{ - char t1[16]; - char t2[16]; - char *t3; - char *t4; - char *t5; - char *t6; - char *t7; - char *t8; - char *t9; - unsigned int t10; - unsigned int t11; - unsigned char t12; - char *t13; - char *t14; - char *t15; - char *t16; - char *t17; - char *t18; - -LAB0: xsi_set_current_line(18, ng0); - -LAB3: t3 = (t0 + 1032U); - t4 = *((char **)t3); - t3 = (t0 + 6144U); - t5 = ieee_p_2592010699_sub_207919886985903570_503743352(IEEE_P_2592010699, t2, t4, t3); - t6 = (t0 + 1192U); - t7 = *((char **)t6); - t6 = (t0 + 6160U); - t8 = ieee_p_2592010699_sub_16439989832805790689_503743352(IEEE_P_2592010699, t1, t5, t2, t7, t6); - t9 = (t1 + 12U); - t10 = *((unsigned int *)t9); - t11 = (1U * t10); - t12 = (8U != t11); - if (t12 == 1) - goto LAB5; - -LAB6: t13 = (t0 + 4176); - t14 = (t13 + 56U); - t15 = *((char **)t14); - t16 = (t15 + 56U); - t17 = *((char **)t16); - memcpy(t17, t8, 8U); - xsi_driver_first_trans_fast(t13); - -LAB2: t18 = (t0 + 4016); - *((int *)t18) = 1; - -LAB1: return; -LAB4: goto LAB2; - -LAB5: xsi_size_not_matching(8U, t11, 0); - goto LAB6; - -} - -static void work_a_0883098610_0495709306_p_2(char *t0) -{ - char *t1; - char *t2; - int t3; - int t4; - int t5; - char *t6; - char *t7; - unsigned char t8; - char *t9; - int t10; - int t11; - unsigned int t12; - unsigned int t13; - unsigned int t14; - char *t15; - unsigned char t16; - unsigned char t17; - char *t18; - char *t19; - int t20; - int t21; - unsigned int t22; - unsigned int t23; - unsigned int t24; - char *t25; - unsigned char t26; - unsigned char t27; - char *t28; - char *t29; - unsigned char t30; - unsigned char t31; - unsigned char t32; - char *t33; - -LAB0: xsi_set_current_line(24, ng0); - t1 = (t0 + 2088U); - t2 = *((char **)t1); - t1 = (t2 + 0); - *((unsigned char *)t1) = (unsigned char)2; - xsi_set_current_line(25, ng0); - t1 = (t0 + 2208U); - t2 = *((char **)t1); - t1 = (t2 + 0); - *((unsigned char *)t1) = (unsigned char)3; - xsi_set_current_line(26, ng0); - t3 = (8 - 1); - t1 = (t0 + 6254); - *((int *)t1) = t3; - t2 = (t0 + 6258); - *((int *)t2) = 0; - t4 = t3; - t5 = 0; - -LAB2: if (t4 >= t5) - goto LAB3; - -LAB5: xsi_set_current_line(30, ng0); - t1 = (t0 + 2088U); - t2 = *((char **)t1); - t8 = *((unsigned char *)t2); - t1 = (t0 + 4240); - t6 = (t1 + 56U); - t7 = *((char **)t6); - t9 = (t7 + 56U); - t15 = *((char **)t9); - *((unsigned char *)t15) = t8; - xsi_driver_first_trans_fast_port(t1); - t1 = (t0 + 4032); - *((int *)t1) = 1; - -LAB1: return; -LAB3: xsi_set_current_line(27, ng0); - t6 = (t0 + 2088U); - t7 = *((char **)t6); - t8 = *((unsigned char *)t7); - t6 = (t0 + 1512U); - t9 = *((char **)t6); - t6 = (t0 + 6254); - t10 = *((int *)t6); - t11 = (t10 - 7); - t12 = (t11 * -1); - xsi_vhdl_check_range_of_index(7, 0, -1, *((int *)t6)); - t13 = (1U * t12); - t14 = (0 + t13); - t15 = (t9 + t14); - t16 = *((unsigned char *)t15); - t17 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t16); - t18 = (t0 + 1672U); - t19 = *((char **)t18); - t18 = (t0 + 6254); - t20 = *((int *)t18); - t21 = (t20 - 7); - t22 = (t21 * -1); - xsi_vhdl_check_range_of_index(7, 0, -1, *((int *)t18)); - t23 = (1U * t22); - t24 = (0 + t23); - t25 = (t19 + t24); - t26 = *((unsigned char *)t25); - t27 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t17, t26); - t28 = (t0 + 2208U); - t29 = *((char **)t28); - t30 = *((unsigned char *)t29); - t31 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t27, t30); - t32 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t8, t31); - t28 = (t0 + 2088U); - t33 = *((char **)t28); - t28 = (t33 + 0); - *((unsigned char *)t28) = t32; - xsi_set_current_line(28, ng0); - t1 = (t0 + 2208U); - t2 = *((char **)t1); - t8 = *((unsigned char *)t2); - t1 = (t0 + 1512U); - t6 = *((char **)t1); - t1 = (t0 + 6254); - t3 = *((int *)t1); - t10 = (t3 - 7); - t12 = (t10 * -1); - xsi_vhdl_check_range_of_index(7, 0, -1, *((int *)t1)); - t13 = (1U * t12); - t14 = (0 + t13); - t7 = (t6 + t14); - t16 = *((unsigned char *)t7); - t9 = (t0 + 1672U); - t15 = *((char **)t9); - t9 = (t0 + 6254); - t11 = *((int *)t9); - t20 = (t11 - 7); - t22 = (t20 * -1); - xsi_vhdl_check_range_of_index(7, 0, -1, *((int *)t9)); - t23 = (1U * t22); - t24 = (0 + t23); - t18 = (t15 + t24); - t17 = *((unsigned char *)t18); - t26 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t17); - t27 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t16, t26); - t30 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t27); - t31 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t8, t30); - t19 = (t0 + 2208U); - t25 = *((char **)t19); - t19 = (t25 + 0); - *((unsigned char *)t19) = t31; - -LAB4: t1 = (t0 + 6254); - t4 = *((int *)t1); - t2 = (t0 + 6258); - t5 = *((int *)t2); - if (t4 == t5) - goto LAB5; - -LAB6: t3 = (t4 + -1); - t4 = t3; - t6 = (t0 + 6254); - *((int *)t6) = t4; - goto LAB2; - -} - - -extern void work_a_0883098610_0495709306_init() -{ - static char *pe[] = {(void *)work_a_0883098610_0495709306_p_0,(void *)work_a_0883098610_0495709306_p_1,(void *)work_a_0883098610_0495709306_p_2}; - xsi_register_didat("work_a_0883098610_0495709306", "isim/ComparatorTest_isim_beh.exe.sim/work/a_0883098610_0495709306.didat"); - xsi_register_executes(pe); -} diff --git a/isim/ComparatorTest_isim_beh.exe.sim/work/a_0883098610_0495709306.didat b/isim/ComparatorTest_isim_beh.exe.sim/work/a_0883098610_0495709306.didat deleted file mode 100644 index c3aeaac..0000000 Binary files a/isim/ComparatorTest_isim_beh.exe.sim/work/a_0883098610_0495709306.didat and /dev/null differ diff --git a/isim/ComparatorTest_isim_beh.exe.sim/work/a_0883098610_0495709306.lin64.o b/isim/ComparatorTest_isim_beh.exe.sim/work/a_0883098610_0495709306.lin64.o deleted file mode 100644 index a84c764..0000000 Binary files a/isim/ComparatorTest_isim_beh.exe.sim/work/a_0883098610_0495709306.lin64.o and /dev/null differ diff --git a/isim/ComparatorTest_isim_beh.exe.sim/work/a_1038528572_2372691052.c b/isim/ComparatorTest_isim_beh.exe.sim/work/a_1038528572_2372691052.c deleted file mode 100644 index 77dc387..0000000 --- a/isim/ComparatorTest_isim_beh.exe.sim/work/a_1038528572_2372691052.c +++ /dev/null @@ -1,157 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif -static const char *ng0 = "/home/ise/gianni/IEEE754Adder/ComparatorTest.vhd"; - - - -static void work_a_1038528572_2372691052_p_0(char *t0) -{ - char *t1; - char *t2; - char *t3; - char *t4; - char *t5; - char *t6; - int64 t7; - int64 t8; - -LAB0: t1 = (t0 + 2784U); - t2 = *((char **)t1); - if (t2 == 0) - goto LAB2; - -LAB3: goto *t2; - -LAB2: xsi_set_current_line(45, ng0); - t2 = (t0 + 3416); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(46, ng0); - t2 = (t0 + 1808U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t8 = (t7 / 2); - t2 = (t0 + 2592); - xsi_process_wait(t2, t8); - -LAB6: *((char **)t1) = &&LAB7; - -LAB1: return; -LAB4: xsi_set_current_line(47, ng0); - t2 = (t0 + 3416); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(48, ng0); - t2 = (t0 + 1808U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t8 = (t7 / 2); - t2 = (t0 + 2592); - xsi_process_wait(t2, t8); - -LAB10: *((char **)t1) = &&LAB11; - goto LAB1; - -LAB5: goto LAB4; - -LAB7: goto LAB5; - -LAB8: goto LAB2; - -LAB9: goto LAB8; - -LAB11: goto LAB9; - -} - -static void work_a_1038528572_2372691052_p_1(char *t0) -{ - char *t1; - char *t2; - int64 t3; - char *t4; - int64 t5; - -LAB0: t1 = (t0 + 3032U); - t2 = *((char **)t1); - if (t2 == 0) - goto LAB2; - -LAB3: goto *t2; - -LAB2: xsi_set_current_line(56, ng0); - t3 = (100 * 1000LL); - t2 = (t0 + 2840); - xsi_process_wait(t2, t3); - -LAB6: *((char **)t1) = &&LAB7; - -LAB1: return; -LAB4: xsi_set_current_line(58, ng0); - t2 = (t0 + 1808U); - t4 = *((char **)t2); - t3 = *((int64 *)t4); - t5 = (t3 * 10); - t2 = (t0 + 2840); - xsi_process_wait(t2, t5); - -LAB10: *((char **)t1) = &&LAB11; - goto LAB1; - -LAB5: goto LAB4; - -LAB7: goto LAB5; - -LAB8: xsi_set_current_line(62, ng0); - -LAB14: *((char **)t1) = &&LAB15; - goto LAB1; - -LAB9: goto LAB8; - -LAB11: goto LAB9; - -LAB12: goto LAB2; - -LAB13: goto LAB12; - -LAB15: goto LAB13; - -} - - -extern void work_a_1038528572_2372691052_init() -{ - static char *pe[] = {(void *)work_a_1038528572_2372691052_p_0,(void *)work_a_1038528572_2372691052_p_1}; - xsi_register_didat("work_a_1038528572_2372691052", "isim/ComparatorTest_isim_beh.exe.sim/work/a_1038528572_2372691052.didat"); - xsi_register_executes(pe); -} diff --git a/isim/ComparatorTest_isim_beh.exe.sim/work/a_1038528572_2372691052.didat b/isim/ComparatorTest_isim_beh.exe.sim/work/a_1038528572_2372691052.didat deleted file mode 100644 index 10e428c..0000000 Binary files a/isim/ComparatorTest_isim_beh.exe.sim/work/a_1038528572_2372691052.didat and /dev/null differ diff --git a/isim/ComparatorTest_isim_beh.exe.sim/work/a_1038528572_2372691052.lin64.o b/isim/ComparatorTest_isim_beh.exe.sim/work/a_1038528572_2372691052.lin64.o deleted file mode 100644 index c936347..0000000 Binary files a/isim/ComparatorTest_isim_beh.exe.sim/work/a_1038528572_2372691052.lin64.o and /dev/null differ diff --git a/isim/FullAdderTest_isim_beh.exe.sim/FullAdderTest_isim_beh.exe b/isim/FullAdderTest_isim_beh.exe.sim/FullAdderTest_isim_beh.exe deleted file mode 100644 index c722895..0000000 Binary files a/isim/FullAdderTest_isim_beh.exe.sim/FullAdderTest_isim_beh.exe and /dev/null differ diff --git a/isim/FullAdderTest_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg b/isim/FullAdderTest_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg deleted file mode 100644 index 1f5a984..0000000 Binary files a/isim/FullAdderTest_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg and /dev/null differ diff --git a/isim/FullAdderTest_isim_beh.exe.sim/isimcrash.log b/isim/FullAdderTest_isim_beh.exe.sim/isimcrash.log deleted file mode 100644 index e69de29..0000000 diff --git a/isim/FullAdderTest_isim_beh.exe.sim/isimkernel.log b/isim/FullAdderTest_isim_beh.exe.sim/isimkernel.log deleted file mode 100644 index 0832383..0000000 --- a/isim/FullAdderTest_isim_beh.exe.sim/isimkernel.log +++ /dev/null @@ -1,28 +0,0 @@ -Command line: - FullAdderTest_isim_beh.exe - -simmode gui - -simrunnum 0 - -socket 51967 - -Tue Aug 27 15:05:31 2019 - - - Elaboration Time: 0.11 sec - - Current Memory Usage: 198.607 Meg - - Total Signals : 11 - Total Nets : 6 - Total Signal Drivers : 6 - Total Blocks : 3 - Total Primitive Blocks : 2 - Total Processes : 4 - Total Traceable Variables : 9 - Total Scalar Nets and Variables : 367 - - Total Simulation Time: 0.15 sec - - Current Memory Usage: 276.206 Meg - -Tue Aug 27 15:08:11 2019 - diff --git a/isim/FullAdderTest_isim_beh.exe.sim/netId.dat b/isim/FullAdderTest_isim_beh.exe.sim/netId.dat deleted file mode 100644 index 0ad1d5f..0000000 Binary files a/isim/FullAdderTest_isim_beh.exe.sim/netId.dat and /dev/null differ diff --git a/isim/FullAdderTest_isim_beh.exe.sim/tmp_save/_1 b/isim/FullAdderTest_isim_beh.exe.sim/tmp_save/_1 deleted file mode 100644 index 9a8e736..0000000 Binary files a/isim/FullAdderTest_isim_beh.exe.sim/tmp_save/_1 and /dev/null differ diff --git a/isim/FullAdderTest_isim_beh.exe.sim/work/FullAdderTest_isim_beh.exe_main.c b/isim/FullAdderTest_isim_beh.exe.sim/work/FullAdderTest_isim_beh.exe_main.c deleted file mode 100644 index ae6b199..0000000 --- a/isim/FullAdderTest_isim_beh.exe.sim/work/FullAdderTest_isim_beh.exe_main.c +++ /dev/null @@ -1,40 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -#include "xsi.h" - -struct XSI_INFO xsi_info; - -char *IEEE_P_2592010699; -char *STD_STANDARD; - - -int main(int argc, char **argv) -{ - xsi_init_design(argc, argv); - xsi_register_info(&xsi_info); - - xsi_register_min_prec_unit(-12); - ieee_p_2592010699_init(); - work_a_1130988942_2801528920_init(); - work_a_2258021406_2372691052_init(); - - - xsi_register_tops("work_a_2258021406_2372691052"); - - IEEE_P_2592010699 = xsi_get_engine_memory("ieee_p_2592010699"); - xsi_register_ieee_std_logic_1164(IEEE_P_2592010699); - STD_STANDARD = xsi_get_engine_memory("std_standard"); - - return xsi_run_simulation(argc, argv); - -} diff --git a/isim/FullAdderTest_isim_beh.exe.sim/work/FullAdderTest_isim_beh.exe_main.lin64.o b/isim/FullAdderTest_isim_beh.exe.sim/work/FullAdderTest_isim_beh.exe_main.lin64.o deleted file mode 100644 index 3c2c910..0000000 Binary files a/isim/FullAdderTest_isim_beh.exe.sim/work/FullAdderTest_isim_beh.exe_main.lin64.o and /dev/null differ diff --git a/isim/FullAdderTest_isim_beh.exe.sim/work/a_1130988942_2801528920.c b/isim/FullAdderTest_isim_beh.exe.sim/work/a_1130988942_2801528920.c deleted file mode 100644 index 7e57773..0000000 --- a/isim/FullAdderTest_isim_beh.exe.sim/work/a_1130988942_2801528920.c +++ /dev/null @@ -1,151 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif -static const char *ng0 = "/home/ise/gianni/IEEE754Adder/FullAdder.vhd"; -extern char *IEEE_P_2592010699; - -unsigned char ieee_p_2592010699_sub_3488546069778340532_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_3488768496604610246_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_3488768497506413324_503743352(char *, unsigned char , unsigned char ); - - -static void work_a_1130988942_2801528920_p_0(char *t0) -{ - char *t1; - char *t2; - unsigned char t3; - char *t4; - unsigned char t5; - unsigned char t6; - char *t7; - unsigned char t8; - unsigned char t9; - char *t10; - char *t11; - char *t12; - char *t13; - char *t14; - -LAB0: xsi_set_current_line(14, ng0); - -LAB3: t1 = (t0 + 1352U); - t2 = *((char **)t1); - t3 = *((unsigned char *)t2); - t1 = (t0 + 1032U); - t4 = *((char **)t1); - t5 = *((unsigned char *)t4); - t6 = ieee_p_2592010699_sub_3488768497506413324_503743352(IEEE_P_2592010699, t3, t5); - t1 = (t0 + 1192U); - t7 = *((char **)t1); - t8 = *((unsigned char *)t7); - t9 = ieee_p_2592010699_sub_3488768497506413324_503743352(IEEE_P_2592010699, t6, t8); - t1 = (t0 + 3488); - t10 = (t1 + 56U); - t11 = *((char **)t10); - t12 = (t11 + 56U); - t13 = *((char **)t12); - *((unsigned char *)t13) = t9; - xsi_driver_first_trans_fast_port(t1); - -LAB2: t14 = (t0 + 3392); - *((int *)t14) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_1130988942_2801528920_p_1(char *t0) -{ - char *t1; - char *t2; - unsigned char t3; - char *t4; - unsigned char t5; - unsigned char t6; - char *t7; - unsigned char t8; - char *t9; - unsigned char t10; - unsigned char t11; - unsigned char t12; - char *t13; - unsigned char t14; - char *t15; - unsigned char t16; - unsigned char t17; - unsigned char t18; - char *t19; - char *t20; - char *t21; - char *t22; - char *t23; - -LAB0: xsi_set_current_line(15, ng0); - -LAB3: t1 = (t0 + 1352U); - t2 = *((char **)t1); - t3 = *((unsigned char *)t2); - t1 = (t0 + 1032U); - t4 = *((char **)t1); - t5 = *((unsigned char *)t4); - t6 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t3, t5); - t1 = (t0 + 1352U); - t7 = *((char **)t1); - t8 = *((unsigned char *)t7); - t1 = (t0 + 1192U); - t9 = *((char **)t1); - t10 = *((unsigned char *)t9); - t11 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t8, t10); - t12 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t6, t11); - t1 = (t0 + 1032U); - t13 = *((char **)t1); - t14 = *((unsigned char *)t13); - t1 = (t0 + 1192U); - t15 = *((char **)t1); - t16 = *((unsigned char *)t15); - t17 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t14, t16); - t18 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t12, t17); - t1 = (t0 + 3552); - t19 = (t1 + 56U); - t20 = *((char **)t19); - t21 = (t20 + 56U); - t22 = *((char **)t21); - *((unsigned char *)t22) = t18; - xsi_driver_first_trans_fast_port(t1); - -LAB2: t23 = (t0 + 3408); - *((int *)t23) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - - -extern void work_a_1130988942_2801528920_init() -{ - static char *pe[] = {(void *)work_a_1130988942_2801528920_p_0,(void *)work_a_1130988942_2801528920_p_1}; - xsi_register_didat("work_a_1130988942_2801528920", "isim/FullAdderTest_isim_beh.exe.sim/work/a_1130988942_2801528920.didat"); - xsi_register_executes(pe); -} diff --git a/isim/FullAdderTest_isim_beh.exe.sim/work/a_1130988942_2801528920.didat b/isim/FullAdderTest_isim_beh.exe.sim/work/a_1130988942_2801528920.didat deleted file mode 100644 index e695974..0000000 Binary files a/isim/FullAdderTest_isim_beh.exe.sim/work/a_1130988942_2801528920.didat and /dev/null differ diff --git a/isim/FullAdderTest_isim_beh.exe.sim/work/a_1130988942_2801528920.lin64.o b/isim/FullAdderTest_isim_beh.exe.sim/work/a_1130988942_2801528920.lin64.o deleted file mode 100644 index 4afcf1b..0000000 Binary files a/isim/FullAdderTest_isim_beh.exe.sim/work/a_1130988942_2801528920.lin64.o and /dev/null differ diff --git a/isim/FullAdderTest_isim_beh.exe.sim/work/a_2258021406_2372691052.c b/isim/FullAdderTest_isim_beh.exe.sim/work/a_2258021406_2372691052.c deleted file mode 100644 index 1c67586..0000000 --- a/isim/FullAdderTest_isim_beh.exe.sim/work/a_2258021406_2372691052.c +++ /dev/null @@ -1,427 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif -static const char *ng0 = "/home/ise/gianni/IEEE754Adder/FullAdderTest.vhd"; - - - -static void work_a_2258021406_2372691052_p_0(char *t0) -{ - char *t1; - char *t2; - char *t3; - char *t4; - char *t5; - char *t6; - int64 t7; - int64 t8; - -LAB0: t1 = (t0 + 3104U); - t2 = *((char **)t1); - if (t2 == 0) - goto LAB2; - -LAB3: goto *t2; - -LAB2: xsi_set_current_line(54, ng0); - t2 = (t0 + 3736); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(55, ng0); - t2 = (t0 + 2128U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t8 = (t7 / 2); - t2 = (t0 + 2912); - xsi_process_wait(t2, t8); - -LAB6: *((char **)t1) = &&LAB7; - -LAB1: return; -LAB4: xsi_set_current_line(56, ng0); - t2 = (t0 + 3736); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(57, ng0); - t2 = (t0 + 2128U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t8 = (t7 / 2); - t2 = (t0 + 2912); - xsi_process_wait(t2, t8); - -LAB10: *((char **)t1) = &&LAB11; - goto LAB1; - -LAB5: goto LAB4; - -LAB7: goto LAB5; - -LAB8: goto LAB2; - -LAB9: goto LAB8; - -LAB11: goto LAB9; - -} - -static void work_a_2258021406_2372691052_p_1(char *t0) -{ - char *t1; - char *t2; - char *t3; - char *t4; - char *t5; - char *t6; - int64 t7; - -LAB0: t1 = (t0 + 3352U); - t2 = *((char **)t1); - if (t2 == 0) - goto LAB2; - -LAB3: goto *t2; - -LAB2: xsi_set_current_line(63, ng0); - t2 = (t0 + 3800); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(64, ng0); - t2 = (t0 + 3864); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(65, ng0); - t2 = (t0 + 3928); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(66, ng0); - t2 = (t0 + 2128U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t2 = (t0 + 3160); - xsi_process_wait(t2, t7); - -LAB6: *((char **)t1) = &&LAB7; - -LAB1: return; -LAB4: xsi_set_current_line(67, ng0); - t2 = (t0 + 3800); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(68, ng0); - t2 = (t0 + 3864); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(69, ng0); - t2 = (t0 + 3928); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(70, ng0); - t2 = (t0 + 2128U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t2 = (t0 + 3160); - xsi_process_wait(t2, t7); - -LAB10: *((char **)t1) = &&LAB11; - goto LAB1; - -LAB5: goto LAB4; - -LAB7: goto LAB5; - -LAB8: xsi_set_current_line(71, ng0); - t2 = (t0 + 3800); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(72, ng0); - t2 = (t0 + 3864); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(73, ng0); - t2 = (t0 + 3928); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(74, ng0); - t2 = (t0 + 2128U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t2 = (t0 + 3160); - xsi_process_wait(t2, t7); - -LAB14: *((char **)t1) = &&LAB15; - goto LAB1; - -LAB9: goto LAB8; - -LAB11: goto LAB9; - -LAB12: xsi_set_current_line(75, ng0); - t2 = (t0 + 3800); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(76, ng0); - t2 = (t0 + 3864); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(77, ng0); - t2 = (t0 + 3928); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(78, ng0); - t2 = (t0 + 2128U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t2 = (t0 + 3160); - xsi_process_wait(t2, t7); - -LAB18: *((char **)t1) = &&LAB19; - goto LAB1; - -LAB13: goto LAB12; - -LAB15: goto LAB13; - -LAB16: xsi_set_current_line(79, ng0); - t2 = (t0 + 3800); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(80, ng0); - t2 = (t0 + 3864); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(81, ng0); - t2 = (t0 + 3928); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(82, ng0); - t2 = (t0 + 2128U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t2 = (t0 + 3160); - xsi_process_wait(t2, t7); - -LAB22: *((char **)t1) = &&LAB23; - goto LAB1; - -LAB17: goto LAB16; - -LAB19: goto LAB17; - -LAB20: xsi_set_current_line(83, ng0); - t2 = (t0 + 3800); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(84, ng0); - t2 = (t0 + 3864); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(85, ng0); - t2 = (t0 + 3928); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(86, ng0); - t2 = (t0 + 2128U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t2 = (t0 + 3160); - xsi_process_wait(t2, t7); - -LAB26: *((char **)t1) = &&LAB27; - goto LAB1; - -LAB21: goto LAB20; - -LAB23: goto LAB21; - -LAB24: xsi_set_current_line(87, ng0); - t2 = (t0 + 3800); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(88, ng0); - t2 = (t0 + 3864); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(89, ng0); - t2 = (t0 + 3928); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(90, ng0); - t2 = (t0 + 2128U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t2 = (t0 + 3160); - xsi_process_wait(t2, t7); - -LAB30: *((char **)t1) = &&LAB31; - goto LAB1; - -LAB25: goto LAB24; - -LAB27: goto LAB25; - -LAB28: xsi_set_current_line(91, ng0); - t2 = (t0 + 3800); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(92, ng0); - t2 = (t0 + 3864); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(93, ng0); - t2 = (t0 + 3928); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(94, ng0); - t2 = (t0 + 2128U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t2 = (t0 + 3160); - xsi_process_wait(t2, t7); - -LAB34: *((char **)t1) = &&LAB35; - goto LAB1; - -LAB29: goto LAB28; - -LAB31: goto LAB29; - -LAB32: goto LAB2; - -LAB33: goto LAB32; - -LAB35: goto LAB33; - -} - - -extern void work_a_2258021406_2372691052_init() -{ - static char *pe[] = {(void *)work_a_2258021406_2372691052_p_0,(void *)work_a_2258021406_2372691052_p_1}; - xsi_register_didat("work_a_2258021406_2372691052", "isim/FullAdderTest_isim_beh.exe.sim/work/a_2258021406_2372691052.didat"); - xsi_register_executes(pe); -} diff --git a/isim/FullAdderTest_isim_beh.exe.sim/work/a_2258021406_2372691052.didat b/isim/FullAdderTest_isim_beh.exe.sim/work/a_2258021406_2372691052.didat deleted file mode 100644 index 5aaad93..0000000 Binary files a/isim/FullAdderTest_isim_beh.exe.sim/work/a_2258021406_2372691052.didat and /dev/null differ diff --git a/isim/FullAdderTest_isim_beh.exe.sim/work/a_2258021406_2372691052.lin64.o b/isim/FullAdderTest_isim_beh.exe.sim/work/a_2258021406_2372691052.lin64.o deleted file mode 100644 index abcba90..0000000 Binary files a/isim/FullAdderTest_isim_beh.exe.sim/work/a_2258021406_2372691052.lin64.o and /dev/null differ diff --git a/isim/NaNCheck_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg b/isim/NaNCheck_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg deleted file mode 100644 index 83b039f..0000000 Binary files a/isim/NaNCheck_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg and /dev/null differ diff --git a/isim/NaNCheck_isim_beh.exe.sim/NaNCheck_isim_beh.exe b/isim/NaNCheck_isim_beh.exe.sim/NaNCheck_isim_beh.exe deleted file mode 100755 index 0222332..0000000 Binary files a/isim/NaNCheck_isim_beh.exe.sim/NaNCheck_isim_beh.exe and /dev/null differ diff --git a/isim/NaNCheck_isim_beh.exe.sim/isimcrash.log b/isim/NaNCheck_isim_beh.exe.sim/isimcrash.log deleted file mode 100644 index e69de29..0000000 diff --git a/isim/NaNCheck_isim_beh.exe.sim/isimkernel.log b/isim/NaNCheck_isim_beh.exe.sim/isimkernel.log deleted file mode 100644 index 2a6ce76..0000000 --- a/isim/NaNCheck_isim_beh.exe.sim/isimkernel.log +++ /dev/null @@ -1,29 +0,0 @@ -Command line: - NaNCheck_isim_beh.exe - -simmode gui - -simrunnum 0 - -socket 39524 - -Sat Aug 24 12:14:44 2019 - - - Elaboration Time: 0.02 sec - - Current Memory Usage: 195.346 Meg - - Total Signals : 23 - Total Nets : 137 - Total Signal Drivers : 15 - Total Blocks : 4 - Total Primitive Blocks : 3 - Total Processes : 15 - Total Traceable Variables : 8 - Total Scalar Nets and Variables : 497 -Total Line Count : 27 - - Total Simulation Time: 0.04 sec - - Current Memory Usage: 272.945 Meg - -Sat Aug 24 12:14:54 2019 - diff --git a/isim/NaNCheck_isim_beh.exe.sim/netId.dat b/isim/NaNCheck_isim_beh.exe.sim/netId.dat deleted file mode 100644 index eeeafb3..0000000 Binary files a/isim/NaNCheck_isim_beh.exe.sim/netId.dat and /dev/null differ diff --git a/isim/NaNCheck_isim_beh.exe.sim/tmp_save/_1 b/isim/NaNCheck_isim_beh.exe.sim/tmp_save/_1 deleted file mode 100644 index e72cd25..0000000 Binary files a/isim/NaNCheck_isim_beh.exe.sim/tmp_save/_1 and /dev/null differ diff --git a/isim/NaNCheck_isim_beh.exe.sim/work/NaNCheck_isim_beh.exe_main.c b/isim/NaNCheck_isim_beh.exe.sim/work/NaNCheck_isim_beh.exe_main.c deleted file mode 100644 index 9e013cf..0000000 --- a/isim/NaNCheck_isim_beh.exe.sim/work/NaNCheck_isim_beh.exe_main.c +++ /dev/null @@ -1,40 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -#include "xsi.h" - -struct XSI_INFO xsi_info; - -char *IEEE_P_2592010699; -char *STD_STANDARD; - - -int main(int argc, char **argv) -{ - xsi_init_design(argc, argv); - xsi_register_info(&xsi_info); - - xsi_register_min_prec_unit(-12); - ieee_p_2592010699_init(); - work_a_0557987184_1272247069_init(); - work_a_4078426953_2628201599_init(); - - - xsi_register_tops("work_a_4078426953_2628201599"); - - IEEE_P_2592010699 = xsi_get_engine_memory("ieee_p_2592010699"); - xsi_register_ieee_std_logic_1164(IEEE_P_2592010699); - STD_STANDARD = xsi_get_engine_memory("std_standard"); - - return xsi_run_simulation(argc, argv); - -} diff --git a/isim/NaNCheck_isim_beh.exe.sim/work/NaNCheck_isim_beh.exe_main.lin64.o b/isim/NaNCheck_isim_beh.exe.sim/work/NaNCheck_isim_beh.exe_main.lin64.o deleted file mode 100644 index 3f2127b..0000000 Binary files a/isim/NaNCheck_isim_beh.exe.sim/work/NaNCheck_isim_beh.exe_main.lin64.o and /dev/null differ diff --git a/isim/NaNCheck_isim_beh.exe.sim/work/a_0557987184_1272247069.c b/isim/NaNCheck_isim_beh.exe.sim/work/a_0557987184_1272247069.c deleted file mode 100644 index 8273723..0000000 --- a/isim/NaNCheck_isim_beh.exe.sim/work/a_0557987184_1272247069.c +++ /dev/null @@ -1,368 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif -static const char *ng0 = "/home/Luca/ISE/IEEE754Adder/TypeCheck.vhd"; -extern char *IEEE_P_2592010699; - -unsigned char ieee_p_2592010699_sub_3488546069778340532_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_3488768496604610246_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_374109322130769762_503743352(char *, unsigned char ); - - -static void work_a_0557987184_1272247069_p_0(char *t0) -{ - char *t1; - char *t2; - unsigned int t3; - unsigned int t4; - unsigned int t5; - char *t6; - char *t7; - char *t8; - char *t9; - char *t10; - char *t11; - -LAB0: xsi_set_current_line(17, ng0); - -LAB3: t1 = (t0 + 1032U); - t2 = *((char **)t1); - t3 = (31 - 30); - t4 = (t3 * 1U); - t5 = (0 + t4); - t1 = (t2 + t5); - t6 = (t0 + 5104); - t7 = (t6 + 56U); - t8 = *((char **)t7); - t9 = (t8 + 56U); - t10 = *((char **)t9); - memcpy(t10, t1, 8U); - xsi_driver_first_trans_fast(t6); - -LAB2: t11 = (t0 + 4944); - *((int *)t11) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_0557987184_1272247069_p_1(char *t0) -{ - char *t1; - char *t2; - unsigned int t3; - unsigned int t4; - unsigned int t5; - char *t6; - char *t7; - char *t8; - char *t9; - char *t10; - char *t11; - -LAB0: xsi_set_current_line(18, ng0); - -LAB3: t1 = (t0 + 1032U); - t2 = *((char **)t1); - t3 = (31 - 22); - t4 = (t3 * 1U); - t5 = (0 + t4); - t1 = (t2 + t5); - t6 = (t0 + 5168); - t7 = (t6 + 56U); - t8 = *((char **)t7); - t9 = (t8 + 56U); - t10 = *((char **)t9); - memcpy(t10, t1, 23U); - xsi_driver_first_trans_fast(t6); - -LAB2: t11 = (t0 + 4960); - *((int *)t11) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_0557987184_1272247069_p_2(char *t0) -{ - char *t1; - char *t2; - int t3; - int t4; - char *t5; - char *t6; - unsigned char t7; - char *t8; - int t9; - int t10; - unsigned int t11; - unsigned int t12; - unsigned int t13; - char *t14; - unsigned char t15; - unsigned char t16; - char *t17; - char *t18; - -LAB0: xsi_set_current_line(23, ng0); - t1 = (t0 + 2288U); - t2 = *((char **)t1); - t1 = (t2 + 0); - *((unsigned char *)t1) = (unsigned char)3; - xsi_set_current_line(24, ng0); - t1 = (t0 + 7603); - *((int *)t1) = 7; - t2 = (t0 + 7607); - *((int *)t2) = 0; - t3 = 7; - t4 = 0; - -LAB2: if (t3 >= t4) - goto LAB3; - -LAB5: xsi_set_current_line(27, ng0); - t1 = (t0 + 2288U); - t2 = *((char **)t1); - t7 = *((unsigned char *)t2); - t1 = (t0 + 5232); - t5 = (t1 + 56U); - t6 = *((char **)t5); - t8 = (t6 + 56U); - t14 = *((char **)t8); - *((unsigned char *)t14) = t7; - xsi_driver_first_trans_fast(t1); - t1 = (t0 + 4976); - *((int *)t1) = 1; - -LAB1: return; -LAB3: xsi_set_current_line(25, ng0); - t5 = (t0 + 2288U); - t6 = *((char **)t5); - t7 = *((unsigned char *)t6); - t5 = (t0 + 1512U); - t8 = *((char **)t5); - t5 = (t0 + 7603); - t9 = *((int *)t5); - t10 = (t9 - 7); - t11 = (t10 * -1); - t12 = (1U * t11); - t13 = (0 + t12); - t14 = (t8 + t13); - t15 = *((unsigned char *)t14); - t16 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t7, t15); - t17 = (t0 + 2288U); - t18 = *((char **)t17); - t17 = (t18 + 0); - *((unsigned char *)t17) = t16; - -LAB4: t1 = (t0 + 7603); - t3 = *((int *)t1); - t2 = (t0 + 7607); - t4 = *((int *)t2); - if (t3 == t4) - goto LAB5; - -LAB6: t9 = (t3 + -1); - t3 = t9; - t5 = (t0 + 7603); - *((int *)t5) = t3; - goto LAB2; - -} - -static void work_a_0557987184_1272247069_p_3(char *t0) -{ - char *t1; - char *t2; - int t3; - int t4; - char *t5; - char *t6; - unsigned char t7; - char *t8; - int t9; - int t10; - unsigned int t11; - unsigned int t12; - unsigned int t13; - char *t14; - unsigned char t15; - unsigned char t16; - char *t17; - char *t18; - -LAB0: xsi_set_current_line(33, ng0); - t1 = (t0 + 2408U); - t2 = *((char **)t1); - t1 = (t2 + 0); - *((unsigned char *)t1) = (unsigned char)2; - xsi_set_current_line(34, ng0); - t1 = (t0 + 7611); - *((int *)t1) = 22; - t2 = (t0 + 7615); - *((int *)t2) = 0; - t3 = 22; - t4 = 0; - -LAB2: if (t3 >= t4) - goto LAB3; - -LAB5: xsi_set_current_line(37, ng0); - t1 = (t0 + 2408U); - t2 = *((char **)t1); - t7 = *((unsigned char *)t2); - t1 = (t0 + 5296); - t5 = (t1 + 56U); - t6 = *((char **)t5); - t8 = (t6 + 56U); - t14 = *((char **)t8); - *((unsigned char *)t14) = t7; - xsi_driver_first_trans_fast(t1); - t1 = (t0 + 4992); - *((int *)t1) = 1; - -LAB1: return; -LAB3: xsi_set_current_line(35, ng0); - t5 = (t0 + 2408U); - t6 = *((char **)t5); - t7 = *((unsigned char *)t6); - t5 = (t0 + 1672U); - t8 = *((char **)t5); - t5 = (t0 + 7611); - t9 = *((int *)t5); - t10 = (t9 - 22); - t11 = (t10 * -1); - t12 = (1U * t11); - t13 = (0 + t12); - t14 = (t8 + t13); - t15 = *((unsigned char *)t14); - t16 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t7, t15); - t17 = (t0 + 2408U); - t18 = *((char **)t17); - t17 = (t18 + 0); - *((unsigned char *)t17) = t16; - -LAB4: t1 = (t0 + 7611); - t3 = *((int *)t1); - t2 = (t0 + 7615); - t4 = *((int *)t2); - if (t3 == t4) - goto LAB5; - -LAB6: t9 = (t3 + -1); - t3 = t9; - t5 = (t0 + 7611); - *((int *)t5) = t3; - goto LAB2; - -} - -static void work_a_0557987184_1272247069_p_4(char *t0) -{ - char *t1; - char *t2; - unsigned char t3; - char *t4; - unsigned char t5; - unsigned char t6; - char *t7; - char *t8; - char *t9; - char *t10; - char *t11; - -LAB0: xsi_set_current_line(40, ng0); - -LAB3: t1 = (t0 + 1832U); - t2 = *((char **)t1); - t3 = *((unsigned char *)t2); - t1 = (t0 + 1992U); - t4 = *((char **)t1); - t5 = *((unsigned char *)t4); - t6 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t3, t5); - t1 = (t0 + 5360); - t7 = (t1 + 56U); - t8 = *((char **)t7); - t9 = (t8 + 56U); - t10 = *((char **)t9); - *((unsigned char *)t10) = t6; - xsi_driver_first_trans_fast_port(t1); - -LAB2: t11 = (t0 + 5008); - *((int *)t11) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_0557987184_1272247069_p_5(char *t0) -{ - char *t1; - char *t2; - unsigned char t3; - char *t4; - unsigned char t5; - unsigned char t6; - unsigned char t7; - char *t8; - char *t9; - char *t10; - char *t11; - char *t12; - -LAB0: xsi_set_current_line(41, ng0); - -LAB3: t1 = (t0 + 1832U); - t2 = *((char **)t1); - t3 = *((unsigned char *)t2); - t1 = (t0 + 1992U); - t4 = *((char **)t1); - t5 = *((unsigned char *)t4); - t6 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t5); - t7 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t3, t6); - t1 = (t0 + 5424); - t8 = (t1 + 56U); - t9 = *((char **)t8); - t10 = (t9 + 56U); - t11 = *((char **)t10); - *((unsigned char *)t11) = t7; - xsi_driver_first_trans_fast_port(t1); - -LAB2: t12 = (t0 + 5024); - *((int *)t12) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - - -extern void work_a_0557987184_1272247069_init() -{ - static char *pe[] = {(void *)work_a_0557987184_1272247069_p_0,(void *)work_a_0557987184_1272247069_p_1,(void *)work_a_0557987184_1272247069_p_2,(void *)work_a_0557987184_1272247069_p_3,(void *)work_a_0557987184_1272247069_p_4,(void *)work_a_0557987184_1272247069_p_5}; - xsi_register_didat("work_a_0557987184_1272247069", "isim/NaNCheck_isim_beh.exe.sim/work/a_0557987184_1272247069.didat"); - xsi_register_executes(pe); -} diff --git a/isim/NaNCheck_isim_beh.exe.sim/work/a_0557987184_1272247069.didat b/isim/NaNCheck_isim_beh.exe.sim/work/a_0557987184_1272247069.didat deleted file mode 100644 index 74180b4..0000000 Binary files a/isim/NaNCheck_isim_beh.exe.sim/work/a_0557987184_1272247069.didat and /dev/null differ diff --git a/isim/NaNCheck_isim_beh.exe.sim/work/a_0557987184_1272247069.lin64.o b/isim/NaNCheck_isim_beh.exe.sim/work/a_0557987184_1272247069.lin64.o deleted file mode 100644 index 885e58d..0000000 Binary files a/isim/NaNCheck_isim_beh.exe.sim/work/a_0557987184_1272247069.lin64.o and /dev/null differ diff --git a/isim/NaNCheck_isim_beh.exe.sim/work/a_4078426953_2628201599.c b/isim/NaNCheck_isim_beh.exe.sim/work/a_4078426953_2628201599.c deleted file mode 100644 index 4475b29..0000000 --- a/isim/NaNCheck_isim_beh.exe.sim/work/a_4078426953_2628201599.c +++ /dev/null @@ -1,221 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif -static const char *ng0 = "/home/Luca/ISE/IEEE754Adder/NaNCheck.vhd"; -extern char *IEEE_P_2592010699; - -unsigned char ieee_p_2592010699_sub_3488546069778340532_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_3488768496604610246_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_374109322130769762_503743352(char *, unsigned char ); - - -static void work_a_4078426953_2628201599_p_0(char *t0) -{ - char *t1; - char *t2; - int t3; - unsigned int t4; - unsigned int t5; - unsigned int t6; - unsigned char t7; - char *t8; - char *t9; - char *t10; - char *t11; - char *t12; - char *t13; - -LAB0: xsi_set_current_line(32, ng0); - -LAB3: t1 = (t0 + 1032U); - t2 = *((char **)t1); - t3 = (31 - 31); - t4 = (t3 * -1); - t5 = (1U * t4); - t6 = (0 + t5); - t1 = (t2 + t6); - t7 = *((unsigned char *)t1); - t8 = (t0 + 4392); - t9 = (t8 + 56U); - t10 = *((char **)t9); - t11 = (t10 + 56U); - t12 = *((char **)t11); - *((unsigned char *)t12) = t7; - xsi_driver_first_trans_fast(t8); - -LAB2: t13 = (t0 + 4280); - *((int *)t13) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_4078426953_2628201599_p_1(char *t0) -{ - char *t1; - char *t2; - int t3; - unsigned int t4; - unsigned int t5; - unsigned int t6; - unsigned char t7; - char *t8; - char *t9; - char *t10; - char *t11; - char *t12; - char *t13; - -LAB0: xsi_set_current_line(33, ng0); - -LAB3: t1 = (t0 + 1192U); - t2 = *((char **)t1); - t3 = (31 - 31); - t4 = (t3 * -1); - t5 = (1U * t4); - t6 = (0 + t5); - t1 = (t2 + t6); - t7 = *((unsigned char *)t1); - t8 = (t0 + 4456); - t9 = (t8 + 56U); - t10 = *((char **)t9); - t11 = (t10 + 56U); - t12 = *((char **)t11); - *((unsigned char *)t12) = t7; - xsi_driver_first_trans_fast(t8); - -LAB2: t13 = (t0 + 4296); - *((int *)t13) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_4078426953_2628201599_p_2(char *t0) -{ - char *t1; - char *t2; - unsigned char t3; - char *t4; - unsigned char t5; - unsigned char t6; - char *t7; - unsigned char t8; - char *t9; - unsigned char t10; - unsigned char t11; - char *t12; - unsigned char t13; - unsigned char t14; - char *t15; - unsigned char t16; - unsigned char t17; - unsigned char t18; - unsigned char t19; - char *t20; - unsigned char t21; - char *t22; - unsigned char t23; - unsigned char t24; - unsigned char t25; - char *t26; - unsigned char t27; - unsigned char t28; - char *t29; - unsigned char t30; - unsigned char t31; - unsigned char t32; - char *t33; - char *t34; - char *t35; - char *t36; - char *t37; - -LAB0: xsi_set_current_line(35, ng0); - -LAB3: t1 = (t0 + 1512U); - t2 = *((char **)t1); - t3 = *((unsigned char *)t2); - t1 = (t0 + 1992U); - t4 = *((char **)t1); - t5 = *((unsigned char *)t4); - t6 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t3, t5); - t1 = (t0 + 1672U); - t7 = *((char **)t1); - t8 = *((unsigned char *)t7); - t1 = (t0 + 1832U); - t9 = *((char **)t1); - t10 = *((unsigned char *)t9); - t11 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t8, t10); - t1 = (t0 + 2152U); - t12 = *((char **)t1); - t13 = *((unsigned char *)t12); - t14 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t11, t13); - t1 = (t0 + 2312U); - t15 = *((char **)t1); - t16 = *((unsigned char *)t15); - t17 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t16); - t18 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t14, t17); - t19 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t6, t18); - t1 = (t0 + 1672U); - t20 = *((char **)t1); - t21 = *((unsigned char *)t20); - t1 = (t0 + 1832U); - t22 = *((char **)t1); - t23 = *((unsigned char *)t22); - t24 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t23); - t25 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t21, t24); - t1 = (t0 + 2152U); - t26 = *((char **)t1); - t27 = *((unsigned char *)t26); - t28 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t25, t27); - t1 = (t0 + 2312U); - t29 = *((char **)t1); - t30 = *((unsigned char *)t29); - t31 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t28, t30); - t32 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t19, t31); - t1 = (t0 + 4520); - t33 = (t1 + 56U); - t34 = *((char **)t33); - t35 = (t34 + 56U); - t36 = *((char **)t35); - *((unsigned char *)t36) = t32; - xsi_driver_first_trans_fast_port(t1); - -LAB2: t37 = (t0 + 4312); - *((int *)t37) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - - -extern void work_a_4078426953_2628201599_init() -{ - static char *pe[] = {(void *)work_a_4078426953_2628201599_p_0,(void *)work_a_4078426953_2628201599_p_1,(void *)work_a_4078426953_2628201599_p_2}; - xsi_register_didat("work_a_4078426953_2628201599", "isim/NaNCheck_isim_beh.exe.sim/work/a_4078426953_2628201599.didat"); - xsi_register_executes(pe); -} diff --git a/isim/NaNCheck_isim_beh.exe.sim/work/a_4078426953_2628201599.didat b/isim/NaNCheck_isim_beh.exe.sim/work/a_4078426953_2628201599.didat deleted file mode 100644 index c265ff3..0000000 Binary files a/isim/NaNCheck_isim_beh.exe.sim/work/a_4078426953_2628201599.didat and /dev/null differ diff --git a/isim/NaNCheck_isim_beh.exe.sim/work/a_4078426953_2628201599.lin64.o b/isim/NaNCheck_isim_beh.exe.sim/work/a_4078426953_2628201599.lin64.o deleted file mode 100644 index 5e98347..0000000 Binary files a/isim/NaNCheck_isim_beh.exe.sim/work/a_4078426953_2628201599.lin64.o and /dev/null differ diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg b/isim/SpecialCasesTest_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg deleted file mode 100644 index 596464d..0000000 Binary files a/isim/SpecialCasesTest_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg and /dev/null differ diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/SpecialCasesTest_isim_beh.exe b/isim/SpecialCasesTest_isim_beh.exe.sim/SpecialCasesTest_isim_beh.exe deleted file mode 100755 index 46e4d1c..0000000 Binary files a/isim/SpecialCasesTest_isim_beh.exe.sim/SpecialCasesTest_isim_beh.exe and /dev/null differ diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/isimcrash.log b/isim/SpecialCasesTest_isim_beh.exe.sim/isimcrash.log deleted file mode 100644 index e69de29..0000000 diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/isimkernel.log b/isim/SpecialCasesTest_isim_beh.exe.sim/isimkernel.log deleted file mode 100644 index e1d5e42..0000000 --- a/isim/SpecialCasesTest_isim_beh.exe.sim/isimkernel.log +++ /dev/null @@ -1,29 +0,0 @@ -Command line: - SpecialCasesTest_isim_beh.exe - -simmode gui - -simrunnum 0 - -socket 47173 - -Sat Aug 24 12:20:10 2019 - - - Elaboration Time: 0.01 sec - - Current Memory Usage: 195.359 Meg - - Total Signals : 48 - Total Nets : 239 - Total Signal Drivers : 29 - Total Blocks : 8 - Total Primitive Blocks : 4 - Total Processes : 26 - Total Traceable Variables : 10 - Total Scalar Nets and Variables : 601 -Total Line Count : 143 - - Total Simulation Time: 0.04 sec - - Current Memory Usage: 272.957 Meg - -Sat Aug 24 14:38:35 2019 - diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/netId.dat b/isim/SpecialCasesTest_isim_beh.exe.sim/netId.dat deleted file mode 100644 index 9425dee..0000000 Binary files a/isim/SpecialCasesTest_isim_beh.exe.sim/netId.dat and /dev/null differ diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/tmp_save/_1 b/isim/SpecialCasesTest_isim_beh.exe.sim/tmp_save/_1 deleted file mode 100644 index 967f95c..0000000 Binary files a/isim/SpecialCasesTest_isim_beh.exe.sim/tmp_save/_1 and /dev/null differ diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/SpecialCasesTest_isim_beh.exe_main.c b/isim/SpecialCasesTest_isim_beh.exe.sim/work/SpecialCasesTest_isim_beh.exe_main.c deleted file mode 100644 index ce18a45..0000000 --- a/isim/SpecialCasesTest_isim_beh.exe.sim/work/SpecialCasesTest_isim_beh.exe_main.c +++ /dev/null @@ -1,44 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -#include "xsi.h" - -struct XSI_INFO xsi_info; - -char *IEEE_P_2592010699; -char *STD_STANDARD; - - -int main(int argc, char **argv) -{ - xsi_init_design(argc, argv); - xsi_register_info(&xsi_info); - - xsi_register_min_prec_unit(-12); - ieee_p_2592010699_init(); - work_a_0557987184_1272247069_init(); - work_a_3914402253_2628201599_init(); - work_a_2347761600_1146481140_init(); - work_a_1540508602_4151211736_init(); - work_a_2912948712_3395701438_init(); - work_a_4189535622_2372691052_init(); - - - xsi_register_tops("work_a_4189535622_2372691052"); - - IEEE_P_2592010699 = xsi_get_engine_memory("ieee_p_2592010699"); - xsi_register_ieee_std_logic_1164(IEEE_P_2592010699); - STD_STANDARD = xsi_get_engine_memory("std_standard"); - - return xsi_run_simulation(argc, argv); - -} diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/SpecialCasesTest_isim_beh.exe_main.lin64.o b/isim/SpecialCasesTest_isim_beh.exe.sim/work/SpecialCasesTest_isim_beh.exe_main.lin64.o deleted file mode 100644 index 3084f28..0000000 Binary files a/isim/SpecialCasesTest_isim_beh.exe.sim/work/SpecialCasesTest_isim_beh.exe_main.lin64.o and /dev/null differ diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_0557987184_1272247069.c b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_0557987184_1272247069.c deleted file mode 100644 index 4000fbb..0000000 --- a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_0557987184_1272247069.c +++ /dev/null @@ -1,368 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif -static const char *ng0 = "/home/Luca/ISE/IEEE754Adder/TypeCheck.vhd"; -extern char *IEEE_P_2592010699; - -unsigned char ieee_p_2592010699_sub_3488546069778340532_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_3488768496604610246_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_374109322130769762_503743352(char *, unsigned char ); - - -static void work_a_0557987184_1272247069_p_0(char *t0) -{ - char *t1; - char *t2; - unsigned int t3; - unsigned int t4; - unsigned int t5; - char *t6; - char *t7; - char *t8; - char *t9; - char *t10; - char *t11; - -LAB0: xsi_set_current_line(17, ng0); - -LAB3: t1 = (t0 + 1032U); - t2 = *((char **)t1); - t3 = (31 - 30); - t4 = (t3 * 1U); - t5 = (0 + t4); - t1 = (t2 + t5); - t6 = (t0 + 5104); - t7 = (t6 + 56U); - t8 = *((char **)t7); - t9 = (t8 + 56U); - t10 = *((char **)t9); - memcpy(t10, t1, 8U); - xsi_driver_first_trans_fast(t6); - -LAB2: t11 = (t0 + 4944); - *((int *)t11) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_0557987184_1272247069_p_1(char *t0) -{ - char *t1; - char *t2; - unsigned int t3; - unsigned int t4; - unsigned int t5; - char *t6; - char *t7; - char *t8; - char *t9; - char *t10; - char *t11; - -LAB0: xsi_set_current_line(18, ng0); - -LAB3: t1 = (t0 + 1032U); - t2 = *((char **)t1); - t3 = (31 - 22); - t4 = (t3 * 1U); - t5 = (0 + t4); - t1 = (t2 + t5); - t6 = (t0 + 5168); - t7 = (t6 + 56U); - t8 = *((char **)t7); - t9 = (t8 + 56U); - t10 = *((char **)t9); - memcpy(t10, t1, 23U); - xsi_driver_first_trans_fast(t6); - -LAB2: t11 = (t0 + 4960); - *((int *)t11) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_0557987184_1272247069_p_2(char *t0) -{ - char *t1; - char *t2; - int t3; - int t4; - char *t5; - char *t6; - unsigned char t7; - char *t8; - int t9; - int t10; - unsigned int t11; - unsigned int t12; - unsigned int t13; - char *t14; - unsigned char t15; - unsigned char t16; - char *t17; - char *t18; - -LAB0: xsi_set_current_line(23, ng0); - t1 = (t0 + 2288U); - t2 = *((char **)t1); - t1 = (t2 + 0); - *((unsigned char *)t1) = (unsigned char)3; - xsi_set_current_line(24, ng0); - t1 = (t0 + 7603); - *((int *)t1) = 7; - t2 = (t0 + 7607); - *((int *)t2) = 0; - t3 = 7; - t4 = 0; - -LAB2: if (t3 >= t4) - goto LAB3; - -LAB5: xsi_set_current_line(27, ng0); - t1 = (t0 + 2288U); - t2 = *((char **)t1); - t7 = *((unsigned char *)t2); - t1 = (t0 + 5232); - t5 = (t1 + 56U); - t6 = *((char **)t5); - t8 = (t6 + 56U); - t14 = *((char **)t8); - *((unsigned char *)t14) = t7; - xsi_driver_first_trans_fast(t1); - t1 = (t0 + 4976); - *((int *)t1) = 1; - -LAB1: return; -LAB3: xsi_set_current_line(25, ng0); - t5 = (t0 + 2288U); - t6 = *((char **)t5); - t7 = *((unsigned char *)t6); - t5 = (t0 + 1512U); - t8 = *((char **)t5); - t5 = (t0 + 7603); - t9 = *((int *)t5); - t10 = (t9 - 7); - t11 = (t10 * -1); - t12 = (1U * t11); - t13 = (0 + t12); - t14 = (t8 + t13); - t15 = *((unsigned char *)t14); - t16 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t7, t15); - t17 = (t0 + 2288U); - t18 = *((char **)t17); - t17 = (t18 + 0); - *((unsigned char *)t17) = t16; - -LAB4: t1 = (t0 + 7603); - t3 = *((int *)t1); - t2 = (t0 + 7607); - t4 = *((int *)t2); - if (t3 == t4) - goto LAB5; - -LAB6: t9 = (t3 + -1); - t3 = t9; - t5 = (t0 + 7603); - *((int *)t5) = t3; - goto LAB2; - -} - -static void work_a_0557987184_1272247069_p_3(char *t0) -{ - char *t1; - char *t2; - int t3; - int t4; - char *t5; - char *t6; - unsigned char t7; - char *t8; - int t9; - int t10; - unsigned int t11; - unsigned int t12; - unsigned int t13; - char *t14; - unsigned char t15; - unsigned char t16; - char *t17; - char *t18; - -LAB0: xsi_set_current_line(33, ng0); - t1 = (t0 + 2408U); - t2 = *((char **)t1); - t1 = (t2 + 0); - *((unsigned char *)t1) = (unsigned char)2; - xsi_set_current_line(34, ng0); - t1 = (t0 + 7611); - *((int *)t1) = 22; - t2 = (t0 + 7615); - *((int *)t2) = 0; - t3 = 22; - t4 = 0; - -LAB2: if (t3 >= t4) - goto LAB3; - -LAB5: xsi_set_current_line(37, ng0); - t1 = (t0 + 2408U); - t2 = *((char **)t1); - t7 = *((unsigned char *)t2); - t1 = (t0 + 5296); - t5 = (t1 + 56U); - t6 = *((char **)t5); - t8 = (t6 + 56U); - t14 = *((char **)t8); - *((unsigned char *)t14) = t7; - xsi_driver_first_trans_fast(t1); - t1 = (t0 + 4992); - *((int *)t1) = 1; - -LAB1: return; -LAB3: xsi_set_current_line(35, ng0); - t5 = (t0 + 2408U); - t6 = *((char **)t5); - t7 = *((unsigned char *)t6); - t5 = (t0 + 1672U); - t8 = *((char **)t5); - t5 = (t0 + 7611); - t9 = *((int *)t5); - t10 = (t9 - 22); - t11 = (t10 * -1); - t12 = (1U * t11); - t13 = (0 + t12); - t14 = (t8 + t13); - t15 = *((unsigned char *)t14); - t16 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t7, t15); - t17 = (t0 + 2408U); - t18 = *((char **)t17); - t17 = (t18 + 0); - *((unsigned char *)t17) = t16; - -LAB4: t1 = (t0 + 7611); - t3 = *((int *)t1); - t2 = (t0 + 7615); - t4 = *((int *)t2); - if (t3 == t4) - goto LAB5; - -LAB6: t9 = (t3 + -1); - t3 = t9; - t5 = (t0 + 7611); - *((int *)t5) = t3; - goto LAB2; - -} - -static void work_a_0557987184_1272247069_p_4(char *t0) -{ - char *t1; - char *t2; - unsigned char t3; - char *t4; - unsigned char t5; - unsigned char t6; - char *t7; - char *t8; - char *t9; - char *t10; - char *t11; - -LAB0: xsi_set_current_line(40, ng0); - -LAB3: t1 = (t0 + 1832U); - t2 = *((char **)t1); - t3 = *((unsigned char *)t2); - t1 = (t0 + 1992U); - t4 = *((char **)t1); - t5 = *((unsigned char *)t4); - t6 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t3, t5); - t1 = (t0 + 5360); - t7 = (t1 + 56U); - t8 = *((char **)t7); - t9 = (t8 + 56U); - t10 = *((char **)t9); - *((unsigned char *)t10) = t6; - xsi_driver_first_trans_fast_port(t1); - -LAB2: t11 = (t0 + 5008); - *((int *)t11) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_0557987184_1272247069_p_5(char *t0) -{ - char *t1; - char *t2; - unsigned char t3; - char *t4; - unsigned char t5; - unsigned char t6; - unsigned char t7; - char *t8; - char *t9; - char *t10; - char *t11; - char *t12; - -LAB0: xsi_set_current_line(41, ng0); - -LAB3: t1 = (t0 + 1832U); - t2 = *((char **)t1); - t3 = *((unsigned char *)t2); - t1 = (t0 + 1992U); - t4 = *((char **)t1); - t5 = *((unsigned char *)t4); - t6 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t5); - t7 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t3, t6); - t1 = (t0 + 5424); - t8 = (t1 + 56U); - t9 = *((char **)t8); - t10 = (t9 + 56U); - t11 = *((char **)t10); - *((unsigned char *)t11) = t7; - xsi_driver_first_trans_fast_port(t1); - -LAB2: t12 = (t0 + 5024); - *((int *)t12) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - - -extern void work_a_0557987184_1272247069_init() -{ - static char *pe[] = {(void *)work_a_0557987184_1272247069_p_0,(void *)work_a_0557987184_1272247069_p_1,(void *)work_a_0557987184_1272247069_p_2,(void *)work_a_0557987184_1272247069_p_3,(void *)work_a_0557987184_1272247069_p_4,(void *)work_a_0557987184_1272247069_p_5}; - xsi_register_didat("work_a_0557987184_1272247069", "isim/SpecialCasesTest_isim_beh.exe.sim/work/a_0557987184_1272247069.didat"); - xsi_register_executes(pe); -} diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_0557987184_1272247069.didat b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_0557987184_1272247069.didat deleted file mode 100644 index 67b25b6..0000000 Binary files a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_0557987184_1272247069.didat and /dev/null differ diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_0557987184_1272247069.lin64.o b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_0557987184_1272247069.lin64.o deleted file mode 100644 index 04f8f6a..0000000 Binary files a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_0557987184_1272247069.lin64.o and /dev/null differ diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_1540508602_4151211736.c b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_1540508602_4151211736.c deleted file mode 100644 index b48da64..0000000 --- a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_1540508602_4151211736.c +++ /dev/null @@ -1,278 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif -static const char *ng0 = "/home/Luca/ISE/IEEE754Adder/ZeroCheck.vhd"; -extern char *IEEE_P_2592010699; - -unsigned char ieee_p_2592010699_sub_3488768496604610246_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_3496108612141461530_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_374109322130769762_503743352(char *, unsigned char ); - - -static void work_a_1540508602_4151211736_p_0(char *t0) -{ - char *t1; - char *t2; - int t3; - unsigned int t4; - unsigned int t5; - unsigned int t6; - unsigned char t7; - char *t8; - char *t9; - char *t10; - char *t11; - char *t12; - char *t13; - -LAB0: xsi_set_current_line(28, ng0); - -LAB3: t1 = (t0 + 1032U); - t2 = *((char **)t1); - t3 = (31 - 31); - t4 = (t3 * -1); - t5 = (1U * t4); - t6 = (0 + t5); - t1 = (t2 + t6); - t7 = *((unsigned char *)t1); - t8 = (t0 + 5184); - t9 = (t8 + 56U); - t10 = *((char **)t9); - t11 = (t10 + 56U); - t12 = *((char **)t11); - *((unsigned char *)t12) = t7; - xsi_driver_first_trans_fast(t8); - -LAB2: t13 = (t0 + 5024); - *((int *)t13) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_1540508602_4151211736_p_1(char *t0) -{ - char *t1; - char *t2; - int t3; - unsigned int t4; - unsigned int t5; - unsigned int t6; - unsigned char t7; - char *t8; - char *t9; - char *t10; - char *t11; - char *t12; - char *t13; - -LAB0: xsi_set_current_line(29, ng0); - -LAB3: t1 = (t0 + 1192U); - t2 = *((char **)t1); - t3 = (31 - 31); - t4 = (t3 * -1); - t5 = (1U * t4); - t6 = (0 + t5); - t1 = (t2 + t6); - t7 = *((unsigned char *)t1); - t8 = (t0 + 5248); - t9 = (t8 + 56U); - t10 = *((char **)t9); - t11 = (t10 + 56U); - t12 = *((char **)t11); - *((unsigned char *)t12) = t7; - xsi_driver_first_trans_fast(t8); - -LAB2: t13 = (t0 + 5040); - *((int *)t13) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_1540508602_4151211736_p_2(char *t0) -{ - char *t1; - char *t2; - unsigned int t3; - unsigned int t4; - unsigned int t5; - char *t6; - char *t7; - char *t8; - char *t9; - char *t10; - char *t11; - -LAB0: xsi_set_current_line(30, ng0); - -LAB3: t1 = (t0 + 1032U); - t2 = *((char **)t1); - t3 = (31 - 30); - t4 = (t3 * 1U); - t5 = (0 + t4); - t1 = (t2 + t5); - t6 = (t0 + 5312); - t7 = (t6 + 56U); - t8 = *((char **)t7); - t9 = (t8 + 56U); - t10 = *((char **)t9); - memcpy(t10, t1, 31U); - xsi_driver_first_trans_fast(t6); - -LAB2: t11 = (t0 + 5056); - *((int *)t11) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_1540508602_4151211736_p_3(char *t0) -{ - char *t1; - char *t2; - unsigned int t3; - unsigned int t4; - unsigned int t5; - char *t6; - char *t7; - char *t8; - char *t9; - char *t10; - char *t11; - -LAB0: xsi_set_current_line(31, ng0); - -LAB3: t1 = (t0 + 1192U); - t2 = *((char **)t1); - t3 = (31 - 30); - t4 = (t3 * 1U); - t5 = (0 + t4); - t1 = (t2 + t5); - t6 = (t0 + 5376); - t7 = (t6 + 56U); - t8 = *((char **)t7); - t9 = (t8 + 56U); - t10 = *((char **)t9); - memcpy(t10, t1, 31U); - xsi_driver_first_trans_fast(t6); - -LAB2: t11 = (t0 + 5072); - *((int *)t11) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_1540508602_4151211736_p_4(char *t0) -{ - char *t1; - char *t2; - unsigned char t3; - char *t4; - unsigned char t5; - unsigned char t6; - char *t7; - char *t8; - char *t9; - char *t10; - char *t11; - -LAB0: xsi_set_current_line(33, ng0); - -LAB3: t1 = (t0 + 1512U); - t2 = *((char **)t1); - t3 = *((unsigned char *)t2); - t1 = (t0 + 1672U); - t4 = *((char **)t1); - t5 = *((unsigned char *)t4); - t6 = ieee_p_2592010699_sub_3496108612141461530_503743352(IEEE_P_2592010699, t3, t5); - t1 = (t0 + 5440); - t7 = (t1 + 56U); - t8 = *((char **)t7); - t9 = (t8 + 56U); - t10 = *((char **)t9); - *((unsigned char *)t10) = t6; - xsi_driver_first_trans_fast(t1); - -LAB2: t11 = (t0 + 5088); - *((int *)t11) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_1540508602_4151211736_p_5(char *t0) -{ - char *t1; - char *t2; - unsigned char t3; - unsigned char t4; - char *t5; - unsigned char t6; - unsigned char t7; - char *t8; - char *t9; - char *t10; - char *t11; - char *t12; - -LAB0: xsi_set_current_line(38, ng0); - -LAB3: t1 = (t0 + 2312U); - t2 = *((char **)t1); - t3 = *((unsigned char *)t2); - t4 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t3); - t1 = (t0 + 2152U); - t5 = *((char **)t1); - t6 = *((unsigned char *)t5); - t7 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t4, t6); - t1 = (t0 + 5504); - t8 = (t1 + 56U); - t9 = *((char **)t8); - t10 = (t9 + 56U); - t11 = *((char **)t10); - *((unsigned char *)t11) = t7; - xsi_driver_first_trans_fast_port(t1); - -LAB2: t12 = (t0 + 5104); - *((int *)t12) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - - -extern void work_a_1540508602_4151211736_init() -{ - static char *pe[] = {(void *)work_a_1540508602_4151211736_p_0,(void *)work_a_1540508602_4151211736_p_1,(void *)work_a_1540508602_4151211736_p_2,(void *)work_a_1540508602_4151211736_p_3,(void *)work_a_1540508602_4151211736_p_4,(void *)work_a_1540508602_4151211736_p_5}; - xsi_register_didat("work_a_1540508602_4151211736", "isim/SpecialCasesTest_isim_beh.exe.sim/work/a_1540508602_4151211736.didat"); - xsi_register_executes(pe); -} diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_1540508602_4151211736.didat b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_1540508602_4151211736.didat deleted file mode 100644 index 7ab54c2..0000000 Binary files a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_1540508602_4151211736.didat and /dev/null differ diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_1540508602_4151211736.lin64.o b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_1540508602_4151211736.lin64.o deleted file mode 100644 index 2250849..0000000 Binary files a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_1540508602_4151211736.lin64.o and /dev/null differ diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2347761600_1146481140.c b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2347761600_1146481140.c deleted file mode 100644 index cf30619..0000000 --- a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2347761600_1146481140.c +++ /dev/null @@ -1,180 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif -static const char *ng0 = "/home/Luca/ISE/IEEE754Adder/EqualCheck.vhd"; -extern char *IEEE_P_2592010699; - -char *ieee_p_2592010699_sub_16439989833707593767_503743352(char *, char *, char *, char *, char *, char *); -unsigned char ieee_p_2592010699_sub_3488546069778340532_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_374109322130769762_503743352(char *, unsigned char ); - - -static void work_a_2347761600_1146481140_p_0(char *t0) -{ - char t1[16]; - char *t2; - char *t3; - char *t4; - char *t5; - char *t6; - char *t7; - unsigned int t8; - unsigned int t9; - unsigned char t10; - char *t11; - char *t12; - char *t13; - char *t14; - char *t15; - char *t16; - -LAB0: xsi_set_current_line(15, ng0); - -LAB3: t2 = (t0 + 1032U); - t3 = *((char **)t2); - t2 = (t0 + 5352U); - t4 = (t0 + 1192U); - t5 = *((char **)t4); - t4 = (t0 + 5368U); - t6 = ieee_p_2592010699_sub_16439989833707593767_503743352(IEEE_P_2592010699, t1, t3, t2, t5, t4); - t7 = (t1 + 12U); - t8 = *((unsigned int *)t7); - t9 = (1U * t8); - t10 = (31U != t9); - if (t10 == 1) - goto LAB5; - -LAB6: t11 = (t0 + 3568); - t12 = (t11 + 56U); - t13 = *((char **)t12); - t14 = (t13 + 56U); - t15 = *((char **)t14); - memcpy(t15, t6, 31U); - xsi_driver_first_trans_fast(t11); - -LAB2: t16 = (t0 + 3472); - *((int *)t16) = 1; - -LAB1: return; -LAB4: goto LAB2; - -LAB5: xsi_size_not_matching(31U, t9, 0); - goto LAB6; - -} - -static void work_a_2347761600_1146481140_p_1(char *t0) -{ - char *t1; - char *t2; - int t3; - int t4; - char *t5; - char *t6; - unsigned char t7; - char *t8; - int t9; - int t10; - unsigned int t11; - unsigned int t12; - unsigned int t13; - char *t14; - unsigned char t15; - unsigned char t16; - char *t17; - char *t18; - -LAB0: xsi_set_current_line(20, ng0); - t1 = (t0 + 1928U); - t2 = *((char **)t1); - t1 = (t2 + 0); - *((unsigned char *)t1) = (unsigned char)2; - xsi_set_current_line(21, ng0); - t1 = (t0 + 5506); - *((int *)t1) = 30; - t2 = (t0 + 5510); - *((int *)t2) = 0; - t3 = 30; - t4 = 0; - -LAB2: if (t3 >= t4) - goto LAB3; - -LAB5: xsi_set_current_line(24, ng0); - t1 = (t0 + 1928U); - t2 = *((char **)t1); - t7 = *((unsigned char *)t2); - t15 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t7); - t1 = (t0 + 3632); - t5 = (t1 + 56U); - t6 = *((char **)t5); - t8 = (t6 + 56U); - t14 = *((char **)t8); - *((unsigned char *)t14) = t15; - xsi_driver_first_trans_fast_port(t1); - t1 = (t0 + 3488); - *((int *)t1) = 1; - -LAB1: return; -LAB3: xsi_set_current_line(22, ng0); - t5 = (t0 + 1928U); - t6 = *((char **)t5); - t7 = *((unsigned char *)t6); - t5 = (t0 + 1512U); - t8 = *((char **)t5); - t5 = (t0 + 5506); - t9 = *((int *)t5); - t10 = (t9 - 30); - t11 = (t10 * -1); - t12 = (1U * t11); - t13 = (0 + t12); - t14 = (t8 + t13); - t15 = *((unsigned char *)t14); - t16 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t7, t15); - t17 = (t0 + 1928U); - t18 = *((char **)t17); - t17 = (t18 + 0); - *((unsigned char *)t17) = t16; - -LAB4: t1 = (t0 + 5506); - t3 = *((int *)t1); - t2 = (t0 + 5510); - t4 = *((int *)t2); - if (t3 == t4) - goto LAB5; - -LAB6: t9 = (t3 + -1); - t3 = t9; - t5 = (t0 + 5506); - *((int *)t5) = t3; - goto LAB2; - -} - - -extern void work_a_2347761600_1146481140_init() -{ - static char *pe[] = {(void *)work_a_2347761600_1146481140_p_0,(void *)work_a_2347761600_1146481140_p_1}; - xsi_register_didat("work_a_2347761600_1146481140", "isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2347761600_1146481140.didat"); - xsi_register_executes(pe); -} diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2347761600_1146481140.didat b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2347761600_1146481140.didat deleted file mode 100644 index bf5031d..0000000 Binary files a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2347761600_1146481140.didat and /dev/null differ diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2347761600_1146481140.lin64.o b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2347761600_1146481140.lin64.o deleted file mode 100644 index 52eebb1..0000000 Binary files a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2347761600_1146481140.lin64.o and /dev/null differ diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2912948712_3395701438.c b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2912948712_3395701438.c deleted file mode 100644 index 5f5233a..0000000 --- a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2912948712_3395701438.c +++ /dev/null @@ -1,31 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif - - - - -extern void work_a_2912948712_3395701438_init() -{ - xsi_register_didat("work_a_2912948712_3395701438", "isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2912948712_3395701438.didat"); -} diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2912948712_3395701438.didat b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2912948712_3395701438.didat deleted file mode 100644 index d6eac18..0000000 Binary files a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2912948712_3395701438.didat and /dev/null differ diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2912948712_3395701438.lin64.o b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2912948712_3395701438.lin64.o deleted file mode 100644 index a7aa5d1..0000000 Binary files a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_2912948712_3395701438.lin64.o and /dev/null differ diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_3914402253_2628201599.c b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_3914402253_2628201599.c deleted file mode 100644 index c03abc5..0000000 --- a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_3914402253_2628201599.c +++ /dev/null @@ -1,221 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif -static const char *ng0 = "/home/Luca/ISE/IEEE754Adder/NaNCheck.vhd"; -extern char *IEEE_P_2592010699; - -unsigned char ieee_p_2592010699_sub_3488546069778340532_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_3488768496604610246_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_374109322130769762_503743352(char *, unsigned char ); - - -static void work_a_3914402253_2628201599_p_0(char *t0) -{ - char *t1; - char *t2; - int t3; - unsigned int t4; - unsigned int t5; - unsigned int t6; - unsigned char t7; - char *t8; - char *t9; - char *t10; - char *t11; - char *t12; - char *t13; - -LAB0: xsi_set_current_line(32, ng0); - -LAB3: t1 = (t0 + 1032U); - t2 = *((char **)t1); - t3 = (31 - 31); - t4 = (t3 * -1); - t5 = (1U * t4); - t6 = (0 + t5); - t1 = (t2 + t6); - t7 = *((unsigned char *)t1); - t8 = (t0 + 4392); - t9 = (t8 + 56U); - t10 = *((char **)t9); - t11 = (t10 + 56U); - t12 = *((char **)t11); - *((unsigned char *)t12) = t7; - xsi_driver_first_trans_fast(t8); - -LAB2: t13 = (t0 + 4280); - *((int *)t13) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_3914402253_2628201599_p_1(char *t0) -{ - char *t1; - char *t2; - int t3; - unsigned int t4; - unsigned int t5; - unsigned int t6; - unsigned char t7; - char *t8; - char *t9; - char *t10; - char *t11; - char *t12; - char *t13; - -LAB0: xsi_set_current_line(33, ng0); - -LAB3: t1 = (t0 + 1192U); - t2 = *((char **)t1); - t3 = (31 - 31); - t4 = (t3 * -1); - t5 = (1U * t4); - t6 = (0 + t5); - t1 = (t2 + t6); - t7 = *((unsigned char *)t1); - t8 = (t0 + 4456); - t9 = (t8 + 56U); - t10 = *((char **)t9); - t11 = (t10 + 56U); - t12 = *((char **)t11); - *((unsigned char *)t12) = t7; - xsi_driver_first_trans_fast(t8); - -LAB2: t13 = (t0 + 4296); - *((int *)t13) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_3914402253_2628201599_p_2(char *t0) -{ - char *t1; - char *t2; - unsigned char t3; - char *t4; - unsigned char t5; - unsigned char t6; - char *t7; - unsigned char t8; - char *t9; - unsigned char t10; - unsigned char t11; - char *t12; - unsigned char t13; - unsigned char t14; - char *t15; - unsigned char t16; - unsigned char t17; - unsigned char t18; - unsigned char t19; - char *t20; - unsigned char t21; - char *t22; - unsigned char t23; - unsigned char t24; - unsigned char t25; - char *t26; - unsigned char t27; - unsigned char t28; - char *t29; - unsigned char t30; - unsigned char t31; - unsigned char t32; - char *t33; - char *t34; - char *t35; - char *t36; - char *t37; - -LAB0: xsi_set_current_line(35, ng0); - -LAB3: t1 = (t0 + 1512U); - t2 = *((char **)t1); - t3 = *((unsigned char *)t2); - t1 = (t0 + 1992U); - t4 = *((char **)t1); - t5 = *((unsigned char *)t4); - t6 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t3, t5); - t1 = (t0 + 1672U); - t7 = *((char **)t1); - t8 = *((unsigned char *)t7); - t1 = (t0 + 1832U); - t9 = *((char **)t1); - t10 = *((unsigned char *)t9); - t11 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t8, t10); - t1 = (t0 + 2152U); - t12 = *((char **)t1); - t13 = *((unsigned char *)t12); - t14 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t11, t13); - t1 = (t0 + 2312U); - t15 = *((char **)t1); - t16 = *((unsigned char *)t15); - t17 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t16); - t18 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t14, t17); - t19 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t6, t18); - t1 = (t0 + 1672U); - t20 = *((char **)t1); - t21 = *((unsigned char *)t20); - t1 = (t0 + 1832U); - t22 = *((char **)t1); - t23 = *((unsigned char *)t22); - t24 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t23); - t25 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t21, t24); - t1 = (t0 + 2152U); - t26 = *((char **)t1); - t27 = *((unsigned char *)t26); - t28 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t25, t27); - t1 = (t0 + 2312U); - t29 = *((char **)t1); - t30 = *((unsigned char *)t29); - t31 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t28, t30); - t32 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t19, t31); - t1 = (t0 + 4520); - t33 = (t1 + 56U); - t34 = *((char **)t33); - t35 = (t34 + 56U); - t36 = *((char **)t35); - *((unsigned char *)t36) = t32; - xsi_driver_first_trans_fast_port(t1); - -LAB2: t37 = (t0 + 4312); - *((int *)t37) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - - -extern void work_a_3914402253_2628201599_init() -{ - static char *pe[] = {(void *)work_a_3914402253_2628201599_p_0,(void *)work_a_3914402253_2628201599_p_1,(void *)work_a_3914402253_2628201599_p_2}; - xsi_register_didat("work_a_3914402253_2628201599", "isim/SpecialCasesTest_isim_beh.exe.sim/work/a_3914402253_2628201599.didat"); - xsi_register_executes(pe); -} diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_3914402253_2628201599.didat b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_3914402253_2628201599.didat deleted file mode 100644 index 5998717..0000000 Binary files a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_3914402253_2628201599.didat and /dev/null differ diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_3914402253_2628201599.lin64.o b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_3914402253_2628201599.lin64.o deleted file mode 100644 index 14cc44b..0000000 Binary files a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_3914402253_2628201599.lin64.o and /dev/null differ diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_4189535622_2372691052.c b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_4189535622_2372691052.c deleted file mode 100644 index 7680b4c..0000000 --- a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_4189535622_2372691052.c +++ /dev/null @@ -1,1141 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif -static const char *ng0 = "/home/Luca/ISE/IEEE754Adder/SpecialCasesTest.vhd"; -extern char *IEEE_P_2592010699; - -unsigned char ieee_p_2592010699_sub_3488546069778340532_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_3488768497506413324_503743352(char *, unsigned char , unsigned char ); - - -static void work_a_4189535622_2372691052_p_0(char *t0) -{ - char *t1; - char *t2; - char *t3; - char *t4; - char *t5; - char *t6; - int64 t7; - int64 t8; - -LAB0: t1 = (t0 + 3424U); - t2 = *((char **)t1); - if (t2 == 0) - goto LAB2; - -LAB3: goto *t2; - -LAB2: xsi_set_current_line(52, ng0); - t2 = (t0 + 4320); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(53, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t8 = (t7 / 2); - t2 = (t0 + 3232); - xsi_process_wait(t2, t8); - -LAB6: *((char **)t1) = &&LAB7; - -LAB1: return; -LAB4: xsi_set_current_line(54, ng0); - t2 = (t0 + 4320); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(55, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t8 = (t7 / 2); - t2 = (t0 + 3232); - xsi_process_wait(t2, t8); - -LAB10: *((char **)t1) = &&LAB11; - goto LAB1; - -LAB5: goto LAB4; - -LAB7: goto LAB5; - -LAB8: goto LAB2; - -LAB9: goto LAB8; - -LAB11: goto LAB9; - -} - -static void work_a_4189535622_2372691052_p_1(char *t0) -{ - char *t1; - char *t2; - char *t3; - char *t4; - char *t5; - char *t6; - char *t7; - char *t8; - int64 t9; - -LAB0: t1 = (t0 + 3672U); - t2 = *((char **)t1); - if (t2 == 0) - goto LAB2; - -LAB3: goto *t2; - -LAB2: xsi_set_current_line(61, ng0); - t2 = (t0 + 7296); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(62, ng0); - t2 = (t0 + 7328); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(63, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(64, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(65, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB6: *((char **)t1) = &&LAB7; - -LAB1: return; -LAB4: xsi_set_current_line(66, ng0); - t2 = (t0 + 7360); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(67, ng0); - t2 = (t0 + 7392); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(68, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(69, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(70, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB10: *((char **)t1) = &&LAB11; - goto LAB1; - -LAB5: goto LAB4; - -LAB7: goto LAB5; - -LAB8: xsi_set_current_line(71, ng0); - t2 = (t0 + 7424); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(72, ng0); - t2 = (t0 + 7456); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(73, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(74, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(75, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB14: *((char **)t1) = &&LAB15; - goto LAB1; - -LAB9: goto LAB8; - -LAB11: goto LAB9; - -LAB12: xsi_set_current_line(76, ng0); - t2 = (t0 + 7488); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(77, ng0); - t2 = (t0 + 7520); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(78, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(79, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(80, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB18: *((char **)t1) = &&LAB19; - goto LAB1; - -LAB13: goto LAB12; - -LAB15: goto LAB13; - -LAB16: xsi_set_current_line(81, ng0); - t2 = (t0 + 7552); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(82, ng0); - t2 = (t0 + 7584); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(83, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(84, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(85, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB22: *((char **)t1) = &&LAB23; - goto LAB1; - -LAB17: goto LAB16; - -LAB19: goto LAB17; - -LAB20: xsi_set_current_line(86, ng0); - t2 = (t0 + 7616); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(87, ng0); - t2 = (t0 + 7648); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(88, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(89, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(90, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB26: *((char **)t1) = &&LAB27; - goto LAB1; - -LAB21: goto LAB20; - -LAB23: goto LAB21; - -LAB24: xsi_set_current_line(91, ng0); - t2 = (t0 + 7680); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(92, ng0); - t2 = (t0 + 7712); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(93, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(94, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(95, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB30: *((char **)t1) = &&LAB31; - goto LAB1; - -LAB25: goto LAB24; - -LAB27: goto LAB25; - -LAB28: xsi_set_current_line(96, ng0); - t2 = (t0 + 7744); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(97, ng0); - t2 = (t0 + 7776); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(98, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(99, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(100, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB34: *((char **)t1) = &&LAB35; - goto LAB1; - -LAB29: goto LAB28; - -LAB31: goto LAB29; - -LAB32: xsi_set_current_line(101, ng0); - t2 = (t0 + 7808); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(102, ng0); - t2 = (t0 + 7840); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(103, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(104, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(105, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB38: *((char **)t1) = &&LAB39; - goto LAB1; - -LAB33: goto LAB32; - -LAB35: goto LAB33; - -LAB36: xsi_set_current_line(106, ng0); - t2 = (t0 + 7872); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(107, ng0); - t2 = (t0 + 7904); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(108, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(109, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(110, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB42: *((char **)t1) = &&LAB43; - goto LAB1; - -LAB37: goto LAB36; - -LAB39: goto LAB37; - -LAB40: xsi_set_current_line(111, ng0); - t2 = (t0 + 7936); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(112, ng0); - t2 = (t0 + 7968); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(113, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(114, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(115, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB46: *((char **)t1) = &&LAB47; - goto LAB1; - -LAB41: goto LAB40; - -LAB43: goto LAB41; - -LAB44: xsi_set_current_line(116, ng0); - t2 = (t0 + 8000); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(117, ng0); - t2 = (t0 + 8032); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(118, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(119, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(120, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB50: *((char **)t1) = &&LAB51; - goto LAB1; - -LAB45: goto LAB44; - -LAB47: goto LAB45; - -LAB48: xsi_set_current_line(121, ng0); - t2 = (t0 + 8064); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(122, ng0); - t2 = (t0 + 8096); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(123, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(124, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(125, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB54: *((char **)t1) = &&LAB55; - goto LAB1; - -LAB49: goto LAB48; - -LAB51: goto LAB49; - -LAB52: xsi_set_current_line(126, ng0); - t2 = (t0 + 8128); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(127, ng0); - t2 = (t0 + 8160); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(128, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(129, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(130, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB58: *((char **)t1) = &&LAB59; - goto LAB1; - -LAB53: goto LAB52; - -LAB55: goto LAB53; - -LAB56: xsi_set_current_line(131, ng0); - t2 = (t0 + 8192); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(132, ng0); - t2 = (t0 + 8224); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(133, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(134, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(135, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB62: *((char **)t1) = &&LAB63; - goto LAB1; - -LAB57: goto LAB56; - -LAB59: goto LAB57; - -LAB60: xsi_set_current_line(136, ng0); - t2 = (t0 + 8256); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(137, ng0); - t2 = (t0 + 8288); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(138, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(139, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(140, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB66: *((char **)t1) = &&LAB67; - goto LAB1; - -LAB61: goto LAB60; - -LAB63: goto LAB61; - -LAB64: xsi_set_current_line(141, ng0); - t2 = (t0 + 8320); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(142, ng0); - t2 = (t0 + 8352); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(143, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(144, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(145, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB70: *((char **)t1) = &&LAB71; - goto LAB1; - -LAB65: goto LAB64; - -LAB67: goto LAB65; - -LAB68: xsi_set_current_line(146, ng0); - t2 = (t0 + 8384); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(147, ng0); - t2 = (t0 + 8416); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(148, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(149, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(150, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB74: *((char **)t1) = &&LAB75; - goto LAB1; - -LAB69: goto LAB68; - -LAB71: goto LAB69; - -LAB72: xsi_set_current_line(151, ng0); - t2 = (t0 + 8448); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(152, ng0); - t2 = (t0 + 8480); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(153, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(154, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(155, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB78: *((char **)t1) = &&LAB79; - goto LAB1; - -LAB73: goto LAB72; - -LAB75: goto LAB73; - -LAB76: xsi_set_current_line(156, ng0); - t2 = (t0 + 8512); - t4 = (t0 + 4384); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(157, ng0); - t2 = (t0 + 8544); - t4 = (t0 + 4448); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 56U); - t8 = *((char **)t7); - memcpy(t8, t2, 32U); - xsi_driver_first_trans_fast(t4); - xsi_set_current_line(158, ng0); - t2 = (t0 + 4512); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(159, ng0); - t2 = (t0 + 4576); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(160, ng0); - t2 = (t0 + 2448U); - t3 = *((char **)t2); - t9 = *((int64 *)t3); - t2 = (t0 + 3480); - xsi_process_wait(t2, t9); - -LAB82: *((char **)t1) = &&LAB83; - goto LAB1; - -LAB77: goto LAB76; - -LAB79: goto LAB77; - -LAB80: goto LAB2; - -LAB81: goto LAB80; - -LAB83: goto LAB81; - -} - -static void work_a_4189535622_2372691052_p_2(char *t0) -{ - char *t1; - char *t2; - unsigned char t3; - char *t4; - unsigned char t5; - unsigned char t6; - char *t7; - unsigned char t8; - char *t9; - unsigned char t10; - unsigned char t11; - unsigned char t12; - char *t13; - char *t14; - char *t15; - char *t16; - char *t17; - -LAB0: xsi_set_current_line(163, ng0); - -LAB3: t1 = (t0 + 1832U); - t2 = *((char **)t1); - t3 = *((unsigned char *)t2); - t1 = (t0 + 1352U); - t4 = *((char **)t1); - t5 = *((unsigned char *)t4); - t6 = ieee_p_2592010699_sub_3488768497506413324_503743352(IEEE_P_2592010699, t3, t5); - t1 = (t0 + 1992U); - t7 = *((char **)t1); - t8 = *((unsigned char *)t7); - t1 = (t0 + 1512U); - t9 = *((char **)t1); - t10 = *((unsigned char *)t9); - t11 = ieee_p_2592010699_sub_3488768497506413324_503743352(IEEE_P_2592010699, t8, t10); - t12 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t6, t11); - t1 = (t0 + 4640); - t13 = (t1 + 56U); - t14 = *((char **)t13); - t15 = (t14 + 56U); - t16 = *((char **)t15); - *((unsigned char *)t16) = t12; - xsi_driver_first_trans_fast(t1); - -LAB2: t17 = (t0 + 4240); - *((int *)t17) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - - -extern void work_a_4189535622_2372691052_init() -{ - static char *pe[] = {(void *)work_a_4189535622_2372691052_p_0,(void *)work_a_4189535622_2372691052_p_1,(void *)work_a_4189535622_2372691052_p_2}; - xsi_register_didat("work_a_4189535622_2372691052", "isim/SpecialCasesTest_isim_beh.exe.sim/work/a_4189535622_2372691052.didat"); - xsi_register_executes(pe); -} diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_4189535622_2372691052.didat b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_4189535622_2372691052.didat deleted file mode 100644 index 3d35f77..0000000 Binary files a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_4189535622_2372691052.didat and /dev/null differ diff --git a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_4189535622_2372691052.lin64.o b/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_4189535622_2372691052.lin64.o deleted file mode 100644 index 4d39ed6..0000000 Binary files a/isim/SpecialCasesTest_isim_beh.exe.sim/work/a_4189535622_2372691052.lin64.o and /dev/null differ diff --git a/isim/SwapTest_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg b/isim/SwapTest_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg deleted file mode 100644 index 1a31121..0000000 Binary files a/isim/SwapTest_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg and /dev/null differ diff --git a/isim/SwapTest_isim_beh.exe.sim/isimcrash.log b/isim/SwapTest_isim_beh.exe.sim/isimcrash.log deleted file mode 100644 index e69de29..0000000 diff --git a/isim/SwapTest_isim_beh.exe.sim/isimkernel.log b/isim/SwapTest_isim_beh.exe.sim/isimkernel.log deleted file mode 100644 index 67d1e0d..0000000 --- a/isim/SwapTest_isim_beh.exe.sim/isimkernel.log +++ /dev/null @@ -1,28 +0,0 @@ -Command line: - SwapTest_isim_beh.exe - -simmode gui - -simrunnum 0 - -socket 45337 - -Tue Aug 27 12:56:25 2019 - - - Elaboration Time: 0.09 sec - - Current Memory Usage: 198.603 Meg - - Total Signals : 11 - Total Nets : 34 - Total Signal Drivers : 3 - Total Blocks : 3 - Total Primitive Blocks : 2 - Total Processes : 3 - Total Traceable Variables : 10 - Total Scalar Nets and Variables : 396 - - Total Simulation Time: 0.11 sec - - Current Memory Usage: 276.201 Meg - -Tue Aug 27 12:56:46 2019 - diff --git a/isim/SwapTest_isim_beh.exe.sim/netId.dat b/isim/SwapTest_isim_beh.exe.sim/netId.dat deleted file mode 100644 index 374c0d8..0000000 Binary files a/isim/SwapTest_isim_beh.exe.sim/netId.dat and /dev/null differ diff --git a/isim/SwapTest_isim_beh.exe.sim/tmp_save/_1 b/isim/SwapTest_isim_beh.exe.sim/tmp_save/_1 deleted file mode 100644 index d3a7c09..0000000 Binary files a/isim/SwapTest_isim_beh.exe.sim/tmp_save/_1 and /dev/null differ diff --git a/isim/SwapTest_isim_beh.exe.sim/work/SwapTest_isim_beh.exe_main.lin64.o b/isim/SwapTest_isim_beh.exe.sim/work/SwapTest_isim_beh.exe_main.lin64.o deleted file mode 100644 index 189c260..0000000 Binary files a/isim/SwapTest_isim_beh.exe.sim/work/SwapTest_isim_beh.exe_main.lin64.o and /dev/null differ diff --git a/isim/SwapTest_isim_beh.exe.sim/work/a_0464846403_2372691052.c b/isim/SwapTest_isim_beh.exe.sim/work/a_0464846403_2372691052.c deleted file mode 100644 index 25f09c8..0000000 --- a/isim/SwapTest_isim_beh.exe.sim/work/a_0464846403_2372691052.c +++ /dev/null @@ -1,157 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif -static const char *ng0 = "/home/ise/gianni/IEEE754Adder/SwapTest.vhd"; - - - -static void work_a_0464846403_2372691052_p_0(char *t0) -{ - char *t1; - char *t2; - char *t3; - char *t4; - char *t5; - char *t6; - int64 t7; - int64 t8; - -LAB0: t1 = (t0 + 3104U); - t2 = *((char **)t1); - if (t2 == 0) - goto LAB2; - -LAB3: goto *t2; - -LAB2: xsi_set_current_line(54, ng0); - t2 = (t0 + 3736); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(55, ng0); - t2 = (t0 + 2128U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t8 = (t7 / 2); - t2 = (t0 + 2912); - xsi_process_wait(t2, t8); - -LAB6: *((char **)t1) = &&LAB7; - -LAB1: return; -LAB4: xsi_set_current_line(56, ng0); - t2 = (t0 + 3736); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(57, ng0); - t2 = (t0 + 2128U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t8 = (t7 / 2); - t2 = (t0 + 2912); - xsi_process_wait(t2, t8); - -LAB10: *((char **)t1) = &&LAB11; - goto LAB1; - -LAB5: goto LAB4; - -LAB7: goto LAB5; - -LAB8: goto LAB2; - -LAB9: goto LAB8; - -LAB11: goto LAB9; - -} - -static void work_a_0464846403_2372691052_p_1(char *t0) -{ - char *t1; - char *t2; - int64 t3; - char *t4; - int64 t5; - -LAB0: t1 = (t0 + 3352U); - t2 = *((char **)t1); - if (t2 == 0) - goto LAB2; - -LAB3: goto *t2; - -LAB2: xsi_set_current_line(65, ng0); - t3 = (100 * 1000LL); - t2 = (t0 + 3160); - xsi_process_wait(t2, t3); - -LAB6: *((char **)t1) = &&LAB7; - -LAB1: return; -LAB4: xsi_set_current_line(67, ng0); - t2 = (t0 + 2128U); - t4 = *((char **)t2); - t3 = *((int64 *)t4); - t5 = (t3 * 10); - t2 = (t0 + 3160); - xsi_process_wait(t2, t5); - -LAB10: *((char **)t1) = &&LAB11; - goto LAB1; - -LAB5: goto LAB4; - -LAB7: goto LAB5; - -LAB8: xsi_set_current_line(71, ng0); - -LAB14: *((char **)t1) = &&LAB15; - goto LAB1; - -LAB9: goto LAB8; - -LAB11: goto LAB9; - -LAB12: goto LAB2; - -LAB13: goto LAB12; - -LAB15: goto LAB13; - -} - - -extern void work_a_0464846403_2372691052_init() -{ - static char *pe[] = {(void *)work_a_0464846403_2372691052_p_0,(void *)work_a_0464846403_2372691052_p_1}; - xsi_register_didat("work_a_0464846403_2372691052", "isim/SwapTest_isim_beh.exe.sim/work/a_0464846403_2372691052.didat"); - xsi_register_executes(pe); -} diff --git a/isim/SwapTest_isim_beh.exe.sim/work/a_0464846403_2372691052.didat b/isim/SwapTest_isim_beh.exe.sim/work/a_0464846403_2372691052.didat deleted file mode 100644 index a0d6c8b..0000000 Binary files a/isim/SwapTest_isim_beh.exe.sim/work/a_0464846403_2372691052.didat and /dev/null differ diff --git a/isim/SwapTest_isim_beh.exe.sim/work/a_0464846403_2372691052.lin64.o b/isim/SwapTest_isim_beh.exe.sim/work/a_0464846403_2372691052.lin64.o deleted file mode 100644 index 2dc3b58..0000000 Binary files a/isim/SwapTest_isim_beh.exe.sim/work/a_0464846403_2372691052.lin64.o and /dev/null differ diff --git a/isim/SwapTest_isim_beh.exe.sim/work/a_2579272516_1004118533.c b/isim/SwapTest_isim_beh.exe.sim/work/a_2579272516_1004118533.c deleted file mode 100644 index 056f514..0000000 --- a/isim/SwapTest_isim_beh.exe.sim/work/a_2579272516_1004118533.c +++ /dev/null @@ -1,207 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif -static const char *ng0 = "/home/ise/gianni/IEEE754Adder/Swap.vhd"; -extern char *IEEE_P_2592010699; - -unsigned char ieee_p_2592010699_sub_3488546069778340532_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_3488768496604610246_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_374109322130769762_503743352(char *, unsigned char ); - - -static void work_a_2579272516_1004118533_p_0(char *t0) -{ - int t1; - char *t2; - char *t3; - int t4; - int t5; - char *t6; - char *t7; - unsigned char t8; - unsigned char t9; - char *t10; - int t11; - int t12; - unsigned int t13; - unsigned int t14; - unsigned int t15; - char *t16; - unsigned char t17; - unsigned char t18; - char *t19; - char *t20; - unsigned char t21; - char *t22; - int t23; - int t24; - unsigned int t25; - unsigned int t26; - unsigned int t27; - char *t28; - unsigned char t29; - unsigned char t30; - unsigned char t31; - char *t32; - int t33; - int t34; - unsigned int t35; - unsigned int t36; - unsigned int t37; - char *t38; - char *t39; - char *t40; - char *t41; - char *t42; - -LAB0: xsi_set_current_line(18, ng0); - t1 = (8 - 1); - t2 = (t0 + 5109); - *((int *)t2) = t1; - t3 = (t0 + 5113); - *((int *)t3) = 0; - t4 = t1; - t5 = 0; - -LAB2: if (t4 >= t5) - goto LAB3; - -LAB5: t2 = (t0 + 3264); - *((int *)t2) = 1; - -LAB1: return; -LAB3: xsi_set_current_line(20, ng0); - t6 = (t0 + 1352U); - t7 = *((char **)t6); - t8 = *((unsigned char *)t7); - t9 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t8); - t6 = (t0 + 1032U); - t10 = *((char **)t6); - t6 = (t0 + 5109); - t11 = *((int *)t6); - t12 = (t11 - 7); - t13 = (t12 * -1); - xsi_vhdl_check_range_of_index(7, 0, -1, *((int *)t6)); - t14 = (1U * t13); - t15 = (0 + t14); - t16 = (t10 + t15); - t17 = *((unsigned char *)t16); - t18 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t9, t17); - t19 = (t0 + 1352U); - t20 = *((char **)t19); - t21 = *((unsigned char *)t20); - t19 = (t0 + 1192U); - t22 = *((char **)t19); - t19 = (t0 + 5109); - t23 = *((int *)t19); - t24 = (t23 - 7); - t25 = (t24 * -1); - xsi_vhdl_check_range_of_index(7, 0, -1, *((int *)t19)); - t26 = (1U * t25); - t27 = (0 + t26); - t28 = (t22 + t27); - t29 = *((unsigned char *)t28); - t30 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t21, t29); - t31 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t18, t30); - t32 = (t0 + 5109); - t33 = *((int *)t32); - t34 = (t33 - 7); - t35 = (t34 * -1); - t36 = (1 * t35); - t37 = (0U + t36); - t38 = (t0 + 3344); - t39 = (t38 + 56U); - t40 = *((char **)t39); - t41 = (t40 + 56U); - t42 = *((char **)t41); - *((unsigned char *)t42) = t31; - xsi_driver_first_trans_delta(t38, t37, 1, 0LL); - xsi_set_current_line(21, ng0); - t2 = (t0 + 1352U); - t3 = *((char **)t2); - t8 = *((unsigned char *)t3); - t9 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t8); - t2 = (t0 + 1192U); - t6 = *((char **)t2); - t2 = (t0 + 5109); - t1 = *((int *)t2); - t11 = (t1 - 7); - t13 = (t11 * -1); - xsi_vhdl_check_range_of_index(7, 0, -1, *((int *)t2)); - t14 = (1U * t13); - t15 = (0 + t14); - t7 = (t6 + t15); - t17 = *((unsigned char *)t7); - t18 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t9, t17); - t10 = (t0 + 1352U); - t16 = *((char **)t10); - t21 = *((unsigned char *)t16); - t10 = (t0 + 1032U); - t19 = *((char **)t10); - t10 = (t0 + 5109); - t12 = *((int *)t10); - t23 = (t12 - 7); - t25 = (t23 * -1); - xsi_vhdl_check_range_of_index(7, 0, -1, *((int *)t10)); - t26 = (1U * t25); - t27 = (0 + t26); - t20 = (t19 + t27); - t29 = *((unsigned char *)t20); - t30 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t21, t29); - t31 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t18, t30); - t22 = (t0 + 5109); - t24 = *((int *)t22); - t33 = (t24 - 7); - t35 = (t33 * -1); - t36 = (1 * t35); - t37 = (0U + t36); - t28 = (t0 + 3408); - t32 = (t28 + 56U); - t38 = *((char **)t32); - t39 = (t38 + 56U); - t40 = *((char **)t39); - *((unsigned char *)t40) = t31; - xsi_driver_first_trans_delta(t28, t37, 1, 0LL); - -LAB4: t2 = (t0 + 5109); - t4 = *((int *)t2); - t3 = (t0 + 5113); - t5 = *((int *)t3); - if (t4 == t5) - goto LAB5; - -LAB6: t1 = (t4 + -1); - t4 = t1; - t6 = (t0 + 5109); - *((int *)t6) = t4; - goto LAB2; - -} - - -extern void work_a_2579272516_1004118533_init() -{ - static char *pe[] = {(void *)work_a_2579272516_1004118533_p_0}; - xsi_register_didat("work_a_2579272516_1004118533", "isim/SwapTest_isim_beh.exe.sim/work/a_2579272516_1004118533.didat"); - xsi_register_executes(pe); -} diff --git a/isim/SwapTest_isim_beh.exe.sim/work/a_2579272516_1004118533.didat b/isim/SwapTest_isim_beh.exe.sim/work/a_2579272516_1004118533.didat deleted file mode 100644 index 841edee..0000000 Binary files a/isim/SwapTest_isim_beh.exe.sim/work/a_2579272516_1004118533.didat and /dev/null differ diff --git a/isim/SwapTest_isim_beh.exe.sim/work/a_2579272516_1004118533.lin64.o b/isim/SwapTest_isim_beh.exe.sim/work/a_2579272516_1004118533.lin64.o deleted file mode 100644 index c2ec3f3..0000000 Binary files a/isim/SwapTest_isim_beh.exe.sim/work/a_2579272516_1004118533.lin64.o and /dev/null differ diff --git a/isim/TwoComplementTest_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg b/isim/TwoComplementTest_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg new file mode 100644 index 0000000..14089f4 Binary files /dev/null and b/isim/TwoComplementTest_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg differ diff --git a/isim/SwapTest_isim_beh.exe.sim/SwapTest_isim_beh.exe b/isim/TwoComplementTest_isim_beh.exe.sim/TwoComplementTest_isim_beh.exe similarity index 52% rename from isim/SwapTest_isim_beh.exe.sim/SwapTest_isim_beh.exe rename to isim/TwoComplementTest_isim_beh.exe.sim/TwoComplementTest_isim_beh.exe index aacfd9e..61cd68d 100644 Binary files a/isim/SwapTest_isim_beh.exe.sim/SwapTest_isim_beh.exe and b/isim/TwoComplementTest_isim_beh.exe.sim/TwoComplementTest_isim_beh.exe differ diff --git a/isim/ComparatorTest_isim_beh.exe.sim/isimcrash.log b/isim/TwoComplementTest_isim_beh.exe.sim/isimcrash.log similarity index 100% rename from isim/ComparatorTest_isim_beh.exe.sim/isimcrash.log rename to isim/TwoComplementTest_isim_beh.exe.sim/isimcrash.log diff --git a/isim/TwoComplementTest_isim_beh.exe.sim/isimkernel.log b/isim/TwoComplementTest_isim_beh.exe.sim/isimkernel.log new file mode 100644 index 0000000..7130d67 --- /dev/null +++ b/isim/TwoComplementTest_isim_beh.exe.sim/isimkernel.log @@ -0,0 +1,28 @@ +Command line: + TwoComplementTest_isim_beh.exe + -simmode gui + -simrunnum 0 + -socket 59889 + +Thu Aug 29 13:06:30 2019 + + + Elaboration Time: 0.13 sec + + Current Memory Usage: 198.607 Meg + + Total Signals : 7 + Total Nets : 25 + Total Signal Drivers : 5 + Total Blocks : 3 + Total Primitive Blocks : 2 + Total Processes : 6 + Total Traceable Variables : 10 + Total Scalar Nets and Variables : 387 + + Total Simulation Time: 0.17 sec + + Current Memory Usage: 276.206 Meg + +Thu Aug 29 13:10:59 2019 + diff --git a/isim/TwoComplementTest_isim_beh.exe.sim/netId.dat b/isim/TwoComplementTest_isim_beh.exe.sim/netId.dat new file mode 100644 index 0000000..e91d354 Binary files /dev/null and b/isim/TwoComplementTest_isim_beh.exe.sim/netId.dat differ diff --git a/isim/TwoComplementTest_isim_beh.exe.sim/tmp_save/_1 b/isim/TwoComplementTest_isim_beh.exe.sim/tmp_save/_1 new file mode 100644 index 0000000..fb79e3d Binary files /dev/null and b/isim/TwoComplementTest_isim_beh.exe.sim/tmp_save/_1 differ diff --git a/isim/SwapTest_isim_beh.exe.sim/work/SwapTest_isim_beh.exe_main.c b/isim/TwoComplementTest_isim_beh.exe.sim/work/TwoComplementTest_isim_beh.exe_main.c similarity index 90% rename from isim/SwapTest_isim_beh.exe.sim/work/SwapTest_isim_beh.exe_main.c rename to isim/TwoComplementTest_isim_beh.exe.sim/work/TwoComplementTest_isim_beh.exe_main.c index 6fe603b..607f1d8 100644 --- a/isim/SwapTest_isim_beh.exe.sim/work/SwapTest_isim_beh.exe_main.c +++ b/isim/TwoComplementTest_isim_beh.exe.sim/work/TwoComplementTest_isim_beh.exe_main.c @@ -25,11 +25,11 @@ int main(int argc, char **argv) xsi_register_min_prec_unit(-12); ieee_p_2592010699_init(); - work_a_2579272516_1004118533_init(); - work_a_0464846403_2372691052_init(); + work_a_3935631676_2318913362_init(); + work_a_2858062612_2372691052_init(); - xsi_register_tops("work_a_0464846403_2372691052"); + xsi_register_tops("work_a_2858062612_2372691052"); IEEE_P_2592010699 = xsi_get_engine_memory("ieee_p_2592010699"); xsi_register_ieee_std_logic_1164(IEEE_P_2592010699); diff --git a/isim/ComparatorTest_isim_beh.exe.sim/work/ComparatorTest_isim_beh.exe_main.lin64.o b/isim/TwoComplementTest_isim_beh.exe.sim/work/TwoComplementTest_isim_beh.exe_main.lin64.o similarity index 63% rename from isim/ComparatorTest_isim_beh.exe.sim/work/ComparatorTest_isim_beh.exe_main.lin64.o rename to isim/TwoComplementTest_isim_beh.exe.sim/work/TwoComplementTest_isim_beh.exe_main.lin64.o index 4ec6a81..be43fa2 100644 Binary files a/isim/ComparatorTest_isim_beh.exe.sim/work/ComparatorTest_isim_beh.exe_main.lin64.o and b/isim/TwoComplementTest_isim_beh.exe.sim/work/TwoComplementTest_isim_beh.exe_main.lin64.o differ diff --git a/isim/TwoComplementTest_isim_beh.exe.sim/work/a_2858062612_2372691052.c b/isim/TwoComplementTest_isim_beh.exe.sim/work/a_2858062612_2372691052.c new file mode 100644 index 0000000..fd9e1a6 --- /dev/null +++ b/isim/TwoComplementTest_isim_beh.exe.sim/work/a_2858062612_2372691052.c @@ -0,0 +1,364 @@ +/**********************************************************************/ +/* ____ ____ */ +/* / /\/ / */ +/* /___/ \ / */ +/* \ \ \/ */ +/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ +/* / / All Right Reserved. */ +/* /---/ /\ */ +/* \ \ / \ */ +/* \___\/\___\ */ +/***********************************************************************/ + +/* This file is designed for use with ISim build 0xfbc00daa */ + +#define XSI_HIDE_SYMBOL_SPEC true +#include "xsi.h" +#include +#ifdef __GNUC__ +#include +#else +#include +#define alloca _alloca +#endif +static const char *ng0 = "/home/ise/gianni/IEEE754Adder/TwoComplementTest.vhd"; + + + +static void work_a_2858062612_2372691052_p_0(char *t0) +{ + char *t1; + char *t2; + char *t3; + char *t4; + char *t5; + char *t6; + int64 t7; + int64 t8; + +LAB0: t1 = (t0 + 2624U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: xsi_set_current_line(45, ng0); + t2 = (t0 + 3504); + t3 = (t2 + 56U); + t4 = *((char **)t3); + t5 = (t4 + 56U); + t6 = *((char **)t5); + *((unsigned char *)t6) = (unsigned char)2; + xsi_driver_first_trans_fast(t2); + xsi_set_current_line(46, ng0); + t2 = (t0 + 1648U); + t3 = *((char **)t2); + t7 = *((int64 *)t3); + t8 = (t7 / 2); + t2 = (t0 + 2432); + xsi_process_wait(t2, t8); + +LAB6: *((char **)t1) = &&LAB7; + +LAB1: return; +LAB4: xsi_set_current_line(47, ng0); + t2 = (t0 + 3504); + t3 = (t2 + 56U); + t4 = *((char **)t3); + t5 = (t4 + 56U); + t6 = *((char **)t5); + *((unsigned char *)t6) = (unsigned char)3; + xsi_driver_first_trans_fast(t2); + xsi_set_current_line(48, ng0); + t2 = (t0 + 1648U); + t3 = *((char **)t2); + t7 = *((int64 *)t3); + t8 = (t7 / 2); + t2 = (t0 + 2432); + xsi_process_wait(t2, t8); + +LAB10: *((char **)t1) = &&LAB11; + goto LAB1; + +LAB5: goto LAB4; + +LAB7: goto LAB5; + +LAB8: goto LAB2; + +LAB9: goto LAB8; + +LAB11: goto LAB9; + +} + +static void work_a_2858062612_2372691052_p_1(char *t0) +{ + char *t1; + char *t2; + int64 t3; + char *t4; + int64 t5; + +LAB0: t1 = (t0 + 2872U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: xsi_set_current_line(56, ng0); + t3 = (100 * 1000LL); + t2 = (t0 + 2680); + xsi_process_wait(t2, t3); + +LAB6: *((char **)t1) = &&LAB7; + +LAB1: return; +LAB4: xsi_set_current_line(58, ng0); + t2 = (t0 + 1648U); + t4 = *((char **)t2); + t3 = *((int64 *)t4); + t5 = (t3 * 10); + t2 = (t0 + 2680); + xsi_process_wait(t2, t5); + +LAB10: *((char **)t1) = &&LAB11; + goto LAB1; + +LAB5: goto LAB4; + +LAB7: goto LAB5; + +LAB8: xsi_set_current_line(62, ng0); + +LAB14: *((char **)t1) = &&LAB15; + goto LAB1; + +LAB9: goto LAB8; + +LAB11: goto LAB9; + +LAB12: goto LAB2; + +LAB13: goto LAB12; + +LAB15: goto LAB13; + +} + +static void work_a_2858062612_2372691052_p_2(char *t0) +{ + char *t1; + char *t2; + char *t3; + char *t4; + char *t5; + char *t6; + char *t7; + char *t8; + int64 t9; + +LAB0: t1 = (t0 + 3120U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: xsi_set_current_line(67, ng0); + t2 = (t0 + 5616); + t4 = (t0 + 3568); + t5 = (t4 + 56U); + t6 = *((char **)t5); + t7 = (t6 + 56U); + t8 = *((char **)t7); + memcpy(t8, t2, 8U); + xsi_driver_first_trans_fast(t4); + xsi_set_current_line(68, ng0); + t2 = (t0 + 1648U); + t3 = *((char **)t2); + t9 = *((int64 *)t3); + t2 = (t0 + 2928); + xsi_process_wait(t2, t9); + +LAB6: *((char **)t1) = &&LAB7; + +LAB1: return; +LAB4: xsi_set_current_line(69, ng0); + t2 = (t0 + 5624); + t4 = (t0 + 3568); + t5 = (t4 + 56U); + t6 = *((char **)t5); + t7 = (t6 + 56U); + t8 = *((char **)t7); + memcpy(t8, t2, 8U); + xsi_driver_first_trans_fast(t4); + xsi_set_current_line(70, ng0); + t2 = (t0 + 1648U); + t3 = *((char **)t2); + t9 = *((int64 *)t3); + t2 = (t0 + 2928); + xsi_process_wait(t2, t9); + +LAB10: *((char **)t1) = &&LAB11; + goto LAB1; + +LAB5: goto LAB4; + +LAB7: goto LAB5; + +LAB8: xsi_set_current_line(71, ng0); + t2 = (t0 + 5632); + t4 = (t0 + 3568); + t5 = (t4 + 56U); + t6 = *((char **)t5); + t7 = (t6 + 56U); + t8 = *((char **)t7); + memcpy(t8, t2, 8U); + xsi_driver_first_trans_fast(t4); + xsi_set_current_line(72, ng0); + t2 = (t0 + 1648U); + t3 = *((char **)t2); + t9 = *((int64 *)t3); + t2 = (t0 + 2928); + xsi_process_wait(t2, t9); + +LAB14: *((char **)t1) = &&LAB15; + goto LAB1; + +LAB9: goto LAB8; + +LAB11: goto LAB9; + +LAB12: xsi_set_current_line(73, ng0); + t2 = (t0 + 5640); + t4 = (t0 + 3568); + t5 = (t4 + 56U); + t6 = *((char **)t5); + t7 = (t6 + 56U); + t8 = *((char **)t7); + memcpy(t8, t2, 8U); + xsi_driver_first_trans_fast(t4); + xsi_set_current_line(74, ng0); + t2 = (t0 + 1648U); + t3 = *((char **)t2); + t9 = *((int64 *)t3); + t2 = (t0 + 2928); + xsi_process_wait(t2, t9); + +LAB18: *((char **)t1) = &&LAB19; + goto LAB1; + +LAB13: goto LAB12; + +LAB15: goto LAB13; + +LAB16: xsi_set_current_line(75, ng0); + t2 = (t0 + 5648); + t4 = (t0 + 3568); + t5 = (t4 + 56U); + t6 = *((char **)t5); + t7 = (t6 + 56U); + t8 = *((char **)t7); + memcpy(t8, t2, 8U); + xsi_driver_first_trans_fast(t4); + xsi_set_current_line(76, ng0); + t2 = (t0 + 1648U); + t3 = *((char **)t2); + t9 = *((int64 *)t3); + t2 = (t0 + 2928); + xsi_process_wait(t2, t9); + +LAB22: *((char **)t1) = &&LAB23; + goto LAB1; + +LAB17: goto LAB16; + +LAB19: goto LAB17; + +LAB20: xsi_set_current_line(77, ng0); + t2 = (t0 + 5656); + t4 = (t0 + 3568); + t5 = (t4 + 56U); + t6 = *((char **)t5); + t7 = (t6 + 56U); + t8 = *((char **)t7); + memcpy(t8, t2, 8U); + xsi_driver_first_trans_fast(t4); + xsi_set_current_line(78, ng0); + t2 = (t0 + 1648U); + t3 = *((char **)t2); + t9 = *((int64 *)t3); + t2 = (t0 + 2928); + xsi_process_wait(t2, t9); + +LAB26: *((char **)t1) = &&LAB27; + goto LAB1; + +LAB21: goto LAB20; + +LAB23: goto LAB21; + +LAB24: xsi_set_current_line(79, ng0); + t2 = (t0 + 5664); + t4 = (t0 + 3568); + t5 = (t4 + 56U); + t6 = *((char **)t5); + t7 = (t6 + 56U); + t8 = *((char **)t7); + memcpy(t8, t2, 8U); + xsi_driver_first_trans_fast(t4); + xsi_set_current_line(80, ng0); + t2 = (t0 + 1648U); + t3 = *((char **)t2); + t9 = *((int64 *)t3); + t2 = (t0 + 2928); + xsi_process_wait(t2, t9); + +LAB30: *((char **)t1) = &&LAB31; + goto LAB1; + +LAB25: goto LAB24; + +LAB27: goto LAB25; + +LAB28: xsi_set_current_line(81, ng0); + t2 = (t0 + 5672); + t4 = (t0 + 3568); + t5 = (t4 + 56U); + t6 = *((char **)t5); + t7 = (t6 + 56U); + t8 = *((char **)t7); + memcpy(t8, t2, 8U); + xsi_driver_first_trans_fast(t4); + xsi_set_current_line(82, ng0); + t2 = (t0 + 1648U); + t3 = *((char **)t2); + t9 = *((int64 *)t3); + t2 = (t0 + 2928); + xsi_process_wait(t2, t9); + +LAB34: *((char **)t1) = &&LAB35; + goto LAB1; + +LAB29: goto LAB28; + +LAB31: goto LAB29; + +LAB32: goto LAB2; + +LAB33: goto LAB32; + +LAB35: goto LAB33; + +} + + +extern void work_a_2858062612_2372691052_init() +{ + static char *pe[] = {(void *)work_a_2858062612_2372691052_p_0,(void *)work_a_2858062612_2372691052_p_1,(void *)work_a_2858062612_2372691052_p_2}; + xsi_register_didat("work_a_2858062612_2372691052", "isim/TwoComplementTest_isim_beh.exe.sim/work/a_2858062612_2372691052.didat"); + xsi_register_executes(pe); +} diff --git a/isim/TwoComplementTest_isim_beh.exe.sim/work/a_2858062612_2372691052.didat b/isim/TwoComplementTest_isim_beh.exe.sim/work/a_2858062612_2372691052.didat new file mode 100644 index 0000000..d097e1c Binary files /dev/null and b/isim/TwoComplementTest_isim_beh.exe.sim/work/a_2858062612_2372691052.didat differ diff --git a/isim/TwoComplementTest_isim_beh.exe.sim/work/a_2858062612_2372691052.lin64.o b/isim/TwoComplementTest_isim_beh.exe.sim/work/a_2858062612_2372691052.lin64.o new file mode 100644 index 0000000..620d139 Binary files /dev/null and b/isim/TwoComplementTest_isim_beh.exe.sim/work/a_2858062612_2372691052.lin64.o differ diff --git a/isim/TwoComplementTest_isim_beh.exe.sim/work/a_3935631676_2318913362.c b/isim/TwoComplementTest_isim_beh.exe.sim/work/a_3935631676_2318913362.c new file mode 100644 index 0000000..73ae781 --- /dev/null +++ b/isim/TwoComplementTest_isim_beh.exe.sim/work/a_3935631676_2318913362.c @@ -0,0 +1,304 @@ +/**********************************************************************/ +/* ____ ____ */ +/* / /\/ / */ +/* /___/ \ / */ +/* \ \ \/ */ +/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ +/* / / All Right Reserved. */ +/* /---/ /\ */ +/* \ \ / \ */ +/* \___\/\___\ */ +/***********************************************************************/ + +/* This file is designed for use with ISim build 0xfbc00daa */ + +#define XSI_HIDE_SYMBOL_SPEC true +#include "xsi.h" +#include +#ifdef __GNUC__ +#include +#else +#include +#define alloca _alloca +#endif +static const char *ng0 = "/home/ise/gianni/IEEE754Adder/TwoComplement.vhd"; +extern char *IEEE_P_2592010699; + +unsigned char ieee_p_2592010699_sub_3488768496604610246_503743352(char *, unsigned char , unsigned char ); +unsigned char ieee_p_2592010699_sub_3488768497506413324_503743352(char *, unsigned char , unsigned char ); + + +static void work_a_3935631676_2318913362_p_0(char *t0) +{ + char *t1; + char *t2; + int t3; + int t4; + unsigned int t5; + unsigned int t6; + unsigned int t7; + unsigned char t8; + char *t9; + char *t10; + char *t11; + char *t12; + char *t13; + char *t14; + +LAB0: xsi_set_current_line(24, ng0); + +LAB3: t1 = (t0 + 1032U); + t2 = *((char **)t1); + t3 = (8 - 1); + t4 = (t3 - 7); + t5 = (t4 * -1); + t6 = (1U * t5); + t7 = (0 + t6); + t1 = (t2 + t7); + t8 = *((unsigned char *)t1); + t9 = (t0 + 3832); + t10 = (t9 + 56U); + t11 = *((char **)t10); + t12 = (t11 + 56U); + t13 = *((char **)t12); + *((unsigned char *)t13) = t8; + xsi_driver_first_trans_fast(t9); + +LAB2: t14 = (t0 + 3720); + *((int *)t14) = 1; + +LAB1: return; +LAB4: goto LAB2; + +} + +static void work_a_3935631676_2318913362_p_1(char *t0) +{ + int t1; + char *t2; + char *t3; + int t4; + int t5; + char *t6; + char *t7; + unsigned char t8; + char *t9; + int t10; + int t11; + unsigned int t12; + unsigned int t13; + unsigned int t14; + char *t15; + unsigned char t16; + unsigned char t17; + char *t18; + int t19; + int t20; + unsigned int t21; + unsigned int t22; + unsigned int t23; + char *t24; + char *t25; + char *t26; + char *t27; + char *t28; + +LAB0: xsi_set_current_line(30, ng0); + t1 = (8 - 2); + t2 = (t0 + 5901); + *((int *)t2) = t1; + t3 = (t0 + 5905); + *((int *)t3) = 0; + t4 = t1; + t5 = 0; + +LAB2: if (t4 >= t5) + goto LAB3; + +LAB5: t2 = (t0 + 3736); + *((int *)t2) = 1; + +LAB1: return; +LAB3: xsi_set_current_line(31, ng0); + t6 = (t0 + 1352U); + t7 = *((char **)t6); + t8 = *((unsigned char *)t7); + t6 = (t0 + 1032U); + t9 = *((char **)t6); + t6 = (t0 + 5901); + t10 = *((int *)t6); + t11 = (t10 - 7); + t12 = (t11 * -1); + xsi_vhdl_check_range_of_index(7, 0, -1, *((int *)t6)); + t13 = (1U * t12); + t14 = (0 + t13); + t15 = (t9 + t14); + t16 = *((unsigned char *)t15); + t17 = ieee_p_2592010699_sub_3488768497506413324_503743352(IEEE_P_2592010699, t8, t16); + t18 = (t0 + 5901); + t19 = *((int *)t18); + t20 = (t19 - 6); + t21 = (t20 * -1); + t22 = (1 * t21); + t23 = (0U + t22); + t24 = (t0 + 3896); + t25 = (t24 + 56U); + t26 = *((char **)t25); + t27 = (t26 + 56U); + t28 = *((char **)t27); + *((unsigned char *)t28) = t17; + xsi_driver_first_trans_delta(t24, t23, 1, 0LL); + +LAB4: t2 = (t0 + 5901); + t4 = *((int *)t2); + t3 = (t0 + 5905); + t5 = *((int *)t3); + if (t4 == t5) + goto LAB5; + +LAB6: t1 = (t4 + -1); + t4 = t1; + t6 = (t0 + 5901); + *((int *)t6) = t4; + goto LAB2; + +} + +static void work_a_3935631676_2318913362_p_2(char *t0) +{ + char *t1; + char *t2; + unsigned char t3; + char *t4; + int t5; + int t6; + int t7; + char *t8; + int t9; + int t10; + unsigned int t11; + unsigned int t12; + unsigned int t13; + char *t14; + char *t15; + char *t16; + unsigned char t17; + unsigned char t18; + int t19; + int t20; + unsigned int t21; + unsigned int t22; + unsigned int t23; + char *t24; + char *t25; + char *t26; + char *t27; + char *t28; + +LAB0: xsi_set_current_line(42, ng0); + t1 = (t0 + 1352U); + t2 = *((char **)t1); + t3 = *((unsigned char *)t2); + t1 = (t0 + 1928U); + t4 = *((char **)t1); + t1 = (t4 + 0); + *((unsigned char *)t1) = t3; + xsi_set_current_line(44, ng0); + t5 = (8 - 2); + t1 = (t0 + 5909); + *((int *)t1) = 0; + t2 = (t0 + 5913); + *((int *)t2) = t5; + t6 = 0; + t7 = t5; + +LAB2: if (t6 <= t7) + goto LAB3; + +LAB5: xsi_set_current_line(49, ng0); + t1 = (t0 + 1928U); + t2 = *((char **)t1); + t3 = *((unsigned char *)t2); + t1 = (t0 + 3960); + t4 = (t1 + 56U); + t8 = *((char **)t4); + t14 = (t8 + 56U); + t15 = *((char **)t14); + *((unsigned char *)t15) = t3; + xsi_driver_first_trans_delta(t1, 0U, 1, 0LL); + t1 = (t0 + 3752); + *((int *)t1) = 1; + +LAB1: return; +LAB3: xsi_set_current_line(45, ng0); + t4 = (t0 + 1512U); + t8 = *((char **)t4); + t4 = (t0 + 5909); + t9 = *((int *)t4); + t10 = (t9 - 6); + t11 = (t10 * -1); + xsi_vhdl_check_range_of_index(6, 0, -1, *((int *)t4)); + t12 = (1U * t11); + t13 = (0 + t12); + t14 = (t8 + t13); + t3 = *((unsigned char *)t14); + t15 = (t0 + 1928U); + t16 = *((char **)t15); + t17 = *((unsigned char *)t16); + t18 = ieee_p_2592010699_sub_3488768497506413324_503743352(IEEE_P_2592010699, t3, t17); + t15 = (t0 + 5909); + t19 = *((int *)t15); + t20 = (t19 - 7); + t21 = (t20 * -1); + t22 = (1 * t21); + t23 = (0U + t22); + t24 = (t0 + 3960); + t25 = (t24 + 56U); + t26 = *((char **)t25); + t27 = (t26 + 56U); + t28 = *((char **)t27); + *((unsigned char *)t28) = t18; + xsi_driver_first_trans_delta(t24, t23, 1, 0LL); + xsi_set_current_line(46, ng0); + t1 = (t0 + 1512U); + t2 = *((char **)t1); + t1 = (t0 + 5909); + t5 = *((int *)t1); + t9 = (t5 - 6); + t11 = (t9 * -1); + xsi_vhdl_check_range_of_index(6, 0, -1, *((int *)t1)); + t12 = (1U * t11); + t13 = (0 + t12); + t4 = (t2 + t13); + t3 = *((unsigned char *)t4); + t8 = (t0 + 1928U); + t14 = *((char **)t8); + t17 = *((unsigned char *)t14); + t18 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t3, t17); + t8 = (t0 + 1928U); + t15 = *((char **)t8); + t8 = (t15 + 0); + *((unsigned char *)t8) = t18; + +LAB4: t1 = (t0 + 5909); + t6 = *((int *)t1); + t2 = (t0 + 5913); + t7 = *((int *)t2); + if (t6 == t7) + goto LAB5; + +LAB6: t5 = (t6 + 1); + t6 = t5; + t4 = (t0 + 5909); + *((int *)t4) = t6; + goto LAB2; + +} + + +extern void work_a_3935631676_2318913362_init() +{ + static char *pe[] = {(void *)work_a_3935631676_2318913362_p_0,(void *)work_a_3935631676_2318913362_p_1,(void *)work_a_3935631676_2318913362_p_2}; + xsi_register_didat("work_a_3935631676_2318913362", "isim/TwoComplementTest_isim_beh.exe.sim/work/a_3935631676_2318913362.didat"); + xsi_register_executes(pe); +} diff --git a/isim/TwoComplementTest_isim_beh.exe.sim/work/a_3935631676_2318913362.didat b/isim/TwoComplementTest_isim_beh.exe.sim/work/a_3935631676_2318913362.didat new file mode 100644 index 0000000..5e74557 Binary files /dev/null and b/isim/TwoComplementTest_isim_beh.exe.sim/work/a_3935631676_2318913362.didat differ diff --git a/isim/TwoComplementTest_isim_beh.exe.sim/work/a_3935631676_2318913362.lin64.o b/isim/TwoComplementTest_isim_beh.exe.sim/work/a_3935631676_2318913362.lin64.o new file mode 100644 index 0000000..0866db5 Binary files /dev/null and b/isim/TwoComplementTest_isim_beh.exe.sim/work/a_3935631676_2318913362.lin64.o differ diff --git a/isim/TypeCheck_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg b/isim/TypeCheck_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg deleted file mode 100644 index 66a8487..0000000 Binary files a/isim/TypeCheck_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg and /dev/null differ diff --git a/isim/TypeCheck_isim_beh.exe.sim/TypeCheck_isim_beh.exe b/isim/TypeCheck_isim_beh.exe.sim/TypeCheck_isim_beh.exe deleted file mode 100644 index e9b3964..0000000 Binary files a/isim/TypeCheck_isim_beh.exe.sim/TypeCheck_isim_beh.exe and /dev/null differ diff --git a/isim/TypeCheck_isim_beh.exe.sim/isimcrash.log b/isim/TypeCheck_isim_beh.exe.sim/isimcrash.log deleted file mode 100644 index e69de29..0000000 diff --git a/isim/TypeCheck_isim_beh.exe.sim/isimkernel.log b/isim/TypeCheck_isim_beh.exe.sim/isimkernel.log deleted file mode 100644 index d292b74..0000000 --- a/isim/TypeCheck_isim_beh.exe.sim/isimkernel.log +++ /dev/null @@ -1,28 +0,0 @@ -Command line: - TypeCheck_isim_beh.exe - -simmode gui - -simrunnum 0 - -socket 60560 - -Tue Aug 27 12:53:49 2019 - - - Elaboration Time: 0.14 sec - - Current Memory Usage: 198.603 Meg - - Total Signals : 7 - Total Nets : 67 - Total Signal Drivers : 6 - Total Blocks : 2 - Total Primitive Blocks : 2 - Total Processes : 6 - Total Traceable Variables : 8 - Total Scalar Nets and Variables : 427 - - Total Simulation Time: 0.15 sec - - Current Memory Usage: 276.201 Meg - -Tue Aug 27 12:53:56 2019 - diff --git a/isim/TypeCheck_isim_beh.exe.sim/netId.dat b/isim/TypeCheck_isim_beh.exe.sim/netId.dat deleted file mode 100644 index 260dee8..0000000 Binary files a/isim/TypeCheck_isim_beh.exe.sim/netId.dat and /dev/null differ diff --git a/isim/TypeCheck_isim_beh.exe.sim/tmp_save/_1 b/isim/TypeCheck_isim_beh.exe.sim/tmp_save/_1 deleted file mode 100644 index 23b5de3..0000000 Binary files a/isim/TypeCheck_isim_beh.exe.sim/tmp_save/_1 and /dev/null differ diff --git a/isim/TypeCheck_isim_beh.exe.sim/work/TypeCheck_isim_beh.exe_main.c b/isim/TypeCheck_isim_beh.exe.sim/work/TypeCheck_isim_beh.exe_main.c deleted file mode 100644 index 89062b0..0000000 --- a/isim/TypeCheck_isim_beh.exe.sim/work/TypeCheck_isim_beh.exe_main.c +++ /dev/null @@ -1,39 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -#include "xsi.h" - -struct XSI_INFO xsi_info; - -char *IEEE_P_2592010699; -char *STD_STANDARD; - - -int main(int argc, char **argv) -{ - xsi_init_design(argc, argv); - xsi_register_info(&xsi_info); - - xsi_register_min_prec_unit(-12); - ieee_p_2592010699_init(); - work_a_4228824053_1272247069_init(); - - - xsi_register_tops("work_a_4228824053_1272247069"); - - IEEE_P_2592010699 = xsi_get_engine_memory("ieee_p_2592010699"); - xsi_register_ieee_std_logic_1164(IEEE_P_2592010699); - STD_STANDARD = xsi_get_engine_memory("std_standard"); - - return xsi_run_simulation(argc, argv); - -} diff --git a/isim/TypeCheck_isim_beh.exe.sim/work/TypeCheck_isim_beh.exe_main.lin64.o b/isim/TypeCheck_isim_beh.exe.sim/work/TypeCheck_isim_beh.exe_main.lin64.o deleted file mode 100644 index 640b265..0000000 Binary files a/isim/TypeCheck_isim_beh.exe.sim/work/TypeCheck_isim_beh.exe_main.lin64.o and /dev/null differ diff --git a/isim/TypeCheck_isim_beh.exe.sim/work/a_4228824053_1272247069.c b/isim/TypeCheck_isim_beh.exe.sim/work/a_4228824053_1272247069.c deleted file mode 100644 index f7c0beb..0000000 --- a/isim/TypeCheck_isim_beh.exe.sim/work/a_4228824053_1272247069.c +++ /dev/null @@ -1,368 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif -static const char *ng0 = "/home/ise/gianni/IEEE754Adder/TypeCheck.vhd"; -extern char *IEEE_P_2592010699; - -unsigned char ieee_p_2592010699_sub_3488546069778340532_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_3488768496604610246_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_374109322130769762_503743352(char *, unsigned char ); - - -static void work_a_4228824053_1272247069_p_0(char *t0) -{ - char *t1; - char *t2; - unsigned int t3; - unsigned int t4; - unsigned int t5; - char *t6; - char *t7; - char *t8; - char *t9; - char *t10; - char *t11; - -LAB0: xsi_set_current_line(17, ng0); - -LAB3: t1 = (t0 + 1032U); - t2 = *((char **)t1); - t3 = (31 - 30); - t4 = (t3 * 1U); - t5 = (0 + t4); - t1 = (t2 + t5); - t6 = (t0 + 5104); - t7 = (t6 + 56U); - t8 = *((char **)t7); - t9 = (t8 + 56U); - t10 = *((char **)t9); - memcpy(t10, t1, 8U); - xsi_driver_first_trans_fast(t6); - -LAB2: t11 = (t0 + 4944); - *((int *)t11) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_4228824053_1272247069_p_1(char *t0) -{ - char *t1; - char *t2; - unsigned int t3; - unsigned int t4; - unsigned int t5; - char *t6; - char *t7; - char *t8; - char *t9; - char *t10; - char *t11; - -LAB0: xsi_set_current_line(18, ng0); - -LAB3: t1 = (t0 + 1032U); - t2 = *((char **)t1); - t3 = (31 - 22); - t4 = (t3 * 1U); - t5 = (0 + t4); - t1 = (t2 + t5); - t6 = (t0 + 5168); - t7 = (t6 + 56U); - t8 = *((char **)t7); - t9 = (t8 + 56U); - t10 = *((char **)t9); - memcpy(t10, t1, 23U); - xsi_driver_first_trans_fast(t6); - -LAB2: t11 = (t0 + 4960); - *((int *)t11) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_4228824053_1272247069_p_2(char *t0) -{ - char *t1; - char *t2; - int t3; - int t4; - char *t5; - char *t6; - unsigned char t7; - char *t8; - int t9; - int t10; - unsigned int t11; - unsigned int t12; - unsigned int t13; - char *t14; - unsigned char t15; - unsigned char t16; - char *t17; - char *t18; - -LAB0: xsi_set_current_line(23, ng0); - t1 = (t0 + 2288U); - t2 = *((char **)t1); - t1 = (t2 + 0); - *((unsigned char *)t1) = (unsigned char)3; - xsi_set_current_line(24, ng0); - t1 = (t0 + 7635); - *((int *)t1) = 7; - t2 = (t0 + 7639); - *((int *)t2) = 0; - t3 = 7; - t4 = 0; - -LAB2: if (t3 >= t4) - goto LAB3; - -LAB5: xsi_set_current_line(27, ng0); - t1 = (t0 + 2288U); - t2 = *((char **)t1); - t7 = *((unsigned char *)t2); - t1 = (t0 + 5232); - t5 = (t1 + 56U); - t6 = *((char **)t5); - t8 = (t6 + 56U); - t14 = *((char **)t8); - *((unsigned char *)t14) = t7; - xsi_driver_first_trans_fast(t1); - t1 = (t0 + 4976); - *((int *)t1) = 1; - -LAB1: return; -LAB3: xsi_set_current_line(25, ng0); - t5 = (t0 + 2288U); - t6 = *((char **)t5); - t7 = *((unsigned char *)t6); - t5 = (t0 + 1512U); - t8 = *((char **)t5); - t5 = (t0 + 7635); - t9 = *((int *)t5); - t10 = (t9 - 7); - t11 = (t10 * -1); - t12 = (1U * t11); - t13 = (0 + t12); - t14 = (t8 + t13); - t15 = *((unsigned char *)t14); - t16 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t7, t15); - t17 = (t0 + 2288U); - t18 = *((char **)t17); - t17 = (t18 + 0); - *((unsigned char *)t17) = t16; - -LAB4: t1 = (t0 + 7635); - t3 = *((int *)t1); - t2 = (t0 + 7639); - t4 = *((int *)t2); - if (t3 == t4) - goto LAB5; - -LAB6: t9 = (t3 + -1); - t3 = t9; - t5 = (t0 + 7635); - *((int *)t5) = t3; - goto LAB2; - -} - -static void work_a_4228824053_1272247069_p_3(char *t0) -{ - char *t1; - char *t2; - int t3; - int t4; - char *t5; - char *t6; - unsigned char t7; - char *t8; - int t9; - int t10; - unsigned int t11; - unsigned int t12; - unsigned int t13; - char *t14; - unsigned char t15; - unsigned char t16; - char *t17; - char *t18; - -LAB0: xsi_set_current_line(33, ng0); - t1 = (t0 + 2408U); - t2 = *((char **)t1); - t1 = (t2 + 0); - *((unsigned char *)t1) = (unsigned char)2; - xsi_set_current_line(34, ng0); - t1 = (t0 + 7643); - *((int *)t1) = 22; - t2 = (t0 + 7647); - *((int *)t2) = 0; - t3 = 22; - t4 = 0; - -LAB2: if (t3 >= t4) - goto LAB3; - -LAB5: xsi_set_current_line(37, ng0); - t1 = (t0 + 2408U); - t2 = *((char **)t1); - t7 = *((unsigned char *)t2); - t1 = (t0 + 5296); - t5 = (t1 + 56U); - t6 = *((char **)t5); - t8 = (t6 + 56U); - t14 = *((char **)t8); - *((unsigned char *)t14) = t7; - xsi_driver_first_trans_fast(t1); - t1 = (t0 + 4992); - *((int *)t1) = 1; - -LAB1: return; -LAB3: xsi_set_current_line(35, ng0); - t5 = (t0 + 2408U); - t6 = *((char **)t5); - t7 = *((unsigned char *)t6); - t5 = (t0 + 1672U); - t8 = *((char **)t5); - t5 = (t0 + 7643); - t9 = *((int *)t5); - t10 = (t9 - 22); - t11 = (t10 * -1); - t12 = (1U * t11); - t13 = (0 + t12); - t14 = (t8 + t13); - t15 = *((unsigned char *)t14); - t16 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t7, t15); - t17 = (t0 + 2408U); - t18 = *((char **)t17); - t17 = (t18 + 0); - *((unsigned char *)t17) = t16; - -LAB4: t1 = (t0 + 7643); - t3 = *((int *)t1); - t2 = (t0 + 7647); - t4 = *((int *)t2); - if (t3 == t4) - goto LAB5; - -LAB6: t9 = (t3 + -1); - t3 = t9; - t5 = (t0 + 7643); - *((int *)t5) = t3; - goto LAB2; - -} - -static void work_a_4228824053_1272247069_p_4(char *t0) -{ - char *t1; - char *t2; - unsigned char t3; - char *t4; - unsigned char t5; - unsigned char t6; - char *t7; - char *t8; - char *t9; - char *t10; - char *t11; - -LAB0: xsi_set_current_line(40, ng0); - -LAB3: t1 = (t0 + 1832U); - t2 = *((char **)t1); - t3 = *((unsigned char *)t2); - t1 = (t0 + 1992U); - t4 = *((char **)t1); - t5 = *((unsigned char *)t4); - t6 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t3, t5); - t1 = (t0 + 5360); - t7 = (t1 + 56U); - t8 = *((char **)t7); - t9 = (t8 + 56U); - t10 = *((char **)t9); - *((unsigned char *)t10) = t6; - xsi_driver_first_trans_fast_port(t1); - -LAB2: t11 = (t0 + 5008); - *((int *)t11) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_4228824053_1272247069_p_5(char *t0) -{ - char *t1; - char *t2; - unsigned char t3; - char *t4; - unsigned char t5; - unsigned char t6; - unsigned char t7; - char *t8; - char *t9; - char *t10; - char *t11; - char *t12; - -LAB0: xsi_set_current_line(41, ng0); - -LAB3: t1 = (t0 + 1832U); - t2 = *((char **)t1); - t3 = *((unsigned char *)t2); - t1 = (t0 + 1992U); - t4 = *((char **)t1); - t5 = *((unsigned char *)t4); - t6 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t5); - t7 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t3, t6); - t1 = (t0 + 5424); - t8 = (t1 + 56U); - t9 = *((char **)t8); - t10 = (t9 + 56U); - t11 = *((char **)t10); - *((unsigned char *)t11) = t7; - xsi_driver_first_trans_fast_port(t1); - -LAB2: t12 = (t0 + 5024); - *((int *)t12) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - - -extern void work_a_4228824053_1272247069_init() -{ - static char *pe[] = {(void *)work_a_4228824053_1272247069_p_0,(void *)work_a_4228824053_1272247069_p_1,(void *)work_a_4228824053_1272247069_p_2,(void *)work_a_4228824053_1272247069_p_3,(void *)work_a_4228824053_1272247069_p_4,(void *)work_a_4228824053_1272247069_p_5}; - xsi_register_didat("work_a_4228824053_1272247069", "isim/TypeCheck_isim_beh.exe.sim/work/a_4228824053_1272247069.didat"); - xsi_register_executes(pe); -} diff --git a/isim/TypeCheck_isim_beh.exe.sim/work/a_4228824053_1272247069.didat b/isim/TypeCheck_isim_beh.exe.sim/work/a_4228824053_1272247069.didat deleted file mode 100644 index 78184d8..0000000 Binary files a/isim/TypeCheck_isim_beh.exe.sim/work/a_4228824053_1272247069.didat and /dev/null differ diff --git a/isim/TypeCheck_isim_beh.exe.sim/work/a_4228824053_1272247069.lin64.o b/isim/TypeCheck_isim_beh.exe.sim/work/a_4228824053_1272247069.lin64.o deleted file mode 100644 index e95c866..0000000 Binary files a/isim/TypeCheck_isim_beh.exe.sim/work/a_4228824053_1272247069.lin64.o and /dev/null differ diff --git a/isim/isim_usage_statistics.html b/isim/isim_usage_statistics.html index 219a6a7..619cef5 100644 --- a/isim/isim_usage_statistics.html +++ b/isim/isim_usage_statistics.html @@ -2,14 +2,14 @@ ISim Statistics Xilinx HDL Libraries Used=ieee -Fuse Resource Usage=2640 ms, 103940 KB +Fuse Resource Usage=2400 ms, 103960 KB -Total Signals=11 -Total Nets=6 +Total Signals=7 +Total Nets=25 Total Blocks=3 -Total Processes=4 +Total Processes=6 Total Simulation Time=1 us -Simulation Resource Usage=0.15 sec, 275152 KB +Simulation Resource Usage=0.17 sec, 275152 KB Simulation Mode=gui Hardware CoSim=0 diff --git a/isim/pr_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg b/isim/pr_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg deleted file mode 100644 index 3f0864a..0000000 Binary files a/isim/pr_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg and /dev/null differ diff --git a/isim/pr_isim_beh.exe.sim/isimcrash.log b/isim/pr_isim_beh.exe.sim/isimcrash.log deleted file mode 100644 index e69de29..0000000 diff --git a/isim/pr_isim_beh.exe.sim/isimkernel.log b/isim/pr_isim_beh.exe.sim/isimkernel.log deleted file mode 100644 index 29b6b76..0000000 --- a/isim/pr_isim_beh.exe.sim/isimkernel.log +++ /dev/null @@ -1,28 +0,0 @@ -Command line: - pr_isim_beh.exe - -simmode gui - -simrunnum 0 - -socket 53338 - -Tue Aug 27 08:37:19 2019 - - - Elaboration Time: 0.13 sec - - Current Memory Usage: 198.603 Meg - - Total Signals : 7 - Total Nets : 49 - Total Signal Drivers : 5 - Total Blocks : 2 - Total Primitive Blocks : 2 - Total Processes : 5 - Total Traceable Variables : 9 - Total Scalar Nets and Variables : 410 - - Total Simulation Time: 0.14 sec - - Current Memory Usage: 276.201 Meg - -Tue Aug 27 08:37:30 2019 - diff --git a/isim/pr_isim_beh.exe.sim/netId.dat b/isim/pr_isim_beh.exe.sim/netId.dat deleted file mode 100644 index b5a93b2..0000000 Binary files a/isim/pr_isim_beh.exe.sim/netId.dat and /dev/null differ diff --git a/isim/pr_isim_beh.exe.sim/pr_isim_beh.exe b/isim/pr_isim_beh.exe.sim/pr_isim_beh.exe deleted file mode 100644 index f65eabb..0000000 Binary files a/isim/pr_isim_beh.exe.sim/pr_isim_beh.exe and /dev/null differ diff --git a/isim/pr_isim_beh.exe.sim/tmp_save/_1 b/isim/pr_isim_beh.exe.sim/tmp_save/_1 deleted file mode 100644 index d815201..0000000 Binary files a/isim/pr_isim_beh.exe.sim/tmp_save/_1 and /dev/null differ diff --git a/isim/pr_isim_beh.exe.sim/work/a_2734820196_0181651160.c b/isim/pr_isim_beh.exe.sim/work/a_2734820196_0181651160.c deleted file mode 100644 index 51267ac..0000000 --- a/isim/pr_isim_beh.exe.sim/work/a_2734820196_0181651160.c +++ /dev/null @@ -1,325 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif -static const char *ng0 = "/home/ise/gianni/IEEE754Adder/pr.vhd"; -extern char *IEEE_P_2592010699; - -char *ieee_p_2592010699_sub_16439989832805790689_503743352(char *, char *, char *, char *, char *, char *); -char *ieee_p_2592010699_sub_207919886985903570_503743352(char *, char *, char *, char *); -unsigned char ieee_p_2592010699_sub_3488546069778340532_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_3488768496604610246_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_374109322130769762_503743352(char *, unsigned char ); - - -static void work_a_2734820196_0181651160_p_0(char *t0) -{ - char t1[16]; - char t4[16]; - char *t2; - char *t3; - char *t5; - char *t6; - char *t7; - char *t8; - char *t9; - unsigned int t10; - unsigned int t11; - unsigned char t12; - char *t13; - char *t14; - char *t15; - char *t16; - char *t17; - char *t18; - -LAB0: xsi_set_current_line(18, ng0); - -LAB3: t2 = (t0 + 1032U); - t3 = *((char **)t2); - t2 = (t0 + 7008U); - t5 = (t0 + 1192U); - t6 = *((char **)t5); - t5 = (t0 + 7008U); - t7 = ieee_p_2592010699_sub_207919886985903570_503743352(IEEE_P_2592010699, t4, t6, t5); - t8 = ieee_p_2592010699_sub_16439989832805790689_503743352(IEEE_P_2592010699, t1, t3, t2, t7, t4); - t9 = (t1 + 12U); - t10 = *((unsigned int *)t9); - t11 = (1U * t10); - t12 = (8U != t11); - if (t12 == 1) - goto LAB5; - -LAB6: t13 = (t0 + 4840); - t14 = (t13 + 56U); - t15 = *((char **)t14); - t16 = (t15 + 56U); - t17 = *((char **)t16); - memcpy(t17, t8, 8U); - xsi_driver_first_trans_fast(t13); - -LAB2: t18 = (t0 + 4696); - *((int *)t18) = 1; - -LAB1: return; -LAB4: goto LAB2; - -LAB5: xsi_size_not_matching(8U, t11, 0); - goto LAB6; - -} - -static void work_a_2734820196_0181651160_p_1(char *t0) -{ - char t1[16]; - char t2[16]; - char *t3; - char *t4; - char *t5; - char *t6; - char *t7; - char *t8; - char *t9; - unsigned int t10; - unsigned int t11; - unsigned char t12; - char *t13; - char *t14; - char *t15; - char *t16; - char *t17; - char *t18; - -LAB0: xsi_set_current_line(19, ng0); - -LAB3: t3 = (t0 + 1032U); - t4 = *((char **)t3); - t3 = (t0 + 7008U); - t5 = ieee_p_2592010699_sub_207919886985903570_503743352(IEEE_P_2592010699, t2, t4, t3); - t6 = (t0 + 1192U); - t7 = *((char **)t6); - t6 = (t0 + 7008U); - t8 = ieee_p_2592010699_sub_16439989832805790689_503743352(IEEE_P_2592010699, t1, t5, t2, t7, t6); - t9 = (t1 + 12U); - t10 = *((unsigned int *)t9); - t11 = (1U * t10); - t12 = (8U != t11); - if (t12 == 1) - goto LAB5; - -LAB6: t13 = (t0 + 4904); - t14 = (t13 + 56U); - t15 = *((char **)t14); - t16 = (t15 + 56U); - t17 = *((char **)t16); - memcpy(t17, t8, 8U); - xsi_driver_first_trans_fast(t13); - -LAB2: t18 = (t0 + 4712); - *((int *)t18) = 1; - -LAB1: return; -LAB4: goto LAB2; - -LAB5: xsi_size_not_matching(8U, t11, 0); - goto LAB6; - -} - -static void work_a_2734820196_0181651160_p_2(char *t0) -{ - char *t1; - char *t2; - char *t3; - char *t4; - char *t5; - char *t6; - char *t7; - -LAB0: xsi_set_current_line(21, ng0); - -LAB3: t1 = (t0 + 1832U); - t2 = *((char **)t1); - t1 = (t0 + 4968); - t3 = (t1 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - memcpy(t6, t2, 8U); - xsi_driver_first_trans_fast_port(t1); - -LAB2: t7 = (t0 + 4728); - *((int *)t7) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_2734820196_0181651160_p_3(char *t0) -{ - char *t1; - char *t2; - char *t3; - char *t4; - char *t5; - char *t6; - char *t7; - -LAB0: xsi_set_current_line(22, ng0); - -LAB3: t1 = (t0 + 1992U); - t2 = *((char **)t1); - t1 = (t0 + 5032); - t3 = (t1 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - memcpy(t6, t2, 8U); - xsi_driver_first_trans_fast_port(t1); - -LAB2: t7 = (t0 + 4744); - *((int *)t7) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_2734820196_0181651160_p_4(char *t0) -{ - char *t1; - char *t2; - int t3; - int t4; - char *t5; - char *t6; - unsigned char t7; - char *t8; - int t9; - int t10; - unsigned int t11; - unsigned int t12; - unsigned int t13; - char *t14; - unsigned char t15; - unsigned char t16; - char *t17; - char *t18; - int t19; - int t20; - unsigned int t21; - unsigned int t22; - unsigned int t23; - char *t24; - unsigned char t25; - unsigned char t26; - unsigned char t27; - char *t28; - char *t29; - -LAB0: xsi_set_current_line(27, ng0); - t1 = (t0 + 2408U); - t2 = *((char **)t1); - t1 = (t2 + 0); - *((unsigned char *)t1) = (unsigned char)2; - xsi_set_current_line(28, ng0); - t1 = (t0 + 7117); - *((int *)t1) = 7; - t2 = (t0 + 7121); - *((int *)t2) = 0; - t3 = 7; - t4 = 0; - -LAB2: if (t3 >= t4) - goto LAB3; - -LAB5: xsi_set_current_line(31, ng0); - t1 = (t0 + 2408U); - t2 = *((char **)t1); - t7 = *((unsigned char *)t2); - t1 = (t0 + 5096); - t5 = (t1 + 56U); - t6 = *((char **)t5); - t8 = (t6 + 56U); - t14 = *((char **)t8); - *((unsigned char *)t14) = t7; - xsi_driver_first_trans_fast_port(t1); - t1 = (t0 + 4760); - *((int *)t1) = 1; - -LAB1: return; -LAB3: xsi_set_current_line(29, ng0); - t5 = (t0 + 2408U); - t6 = *((char **)t5); - t7 = *((unsigned char *)t6); - t5 = (t0 + 1832U); - t8 = *((char **)t5); - t5 = (t0 + 7117); - t9 = *((int *)t5); - t10 = (t9 - 7); - t11 = (t10 * -1); - t12 = (1U * t11); - t13 = (0 + t12); - t14 = (t8 + t13); - t15 = *((unsigned char *)t14); - t16 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t15); - t17 = (t0 + 1992U); - t18 = *((char **)t17); - t17 = (t0 + 7117); - t19 = *((int *)t17); - t20 = (t19 - 7); - t21 = (t20 * -1); - xsi_vhdl_check_range_of_index(7, 0, -1, *((int *)t17)); - t22 = (1U * t21); - t23 = (0 + t22); - t24 = (t18 + t23); - t25 = *((unsigned char *)t24); - t26 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t16, t25); - t27 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t7, t26); - t28 = (t0 + 2408U); - t29 = *((char **)t28); - t28 = (t29 + 0); - *((unsigned char *)t28) = t27; - -LAB4: t1 = (t0 + 7117); - t3 = *((int *)t1); - t2 = (t0 + 7121); - t4 = *((int *)t2); - if (t3 == t4) - goto LAB5; - -LAB6: t9 = (t3 + -1); - t3 = t9; - t5 = (t0 + 7117); - *((int *)t5) = t3; - goto LAB2; - -} - - -extern void work_a_2734820196_0181651160_init() -{ - static char *pe[] = {(void *)work_a_2734820196_0181651160_p_0,(void *)work_a_2734820196_0181651160_p_1,(void *)work_a_2734820196_0181651160_p_2,(void *)work_a_2734820196_0181651160_p_3,(void *)work_a_2734820196_0181651160_p_4}; - xsi_register_didat("work_a_2734820196_0181651160", "isim/pr_isim_beh.exe.sim/work/a_2734820196_0181651160.didat"); - xsi_register_executes(pe); -} diff --git a/isim/pr_isim_beh.exe.sim/work/a_2734820196_0181651160.didat b/isim/pr_isim_beh.exe.sim/work/a_2734820196_0181651160.didat deleted file mode 100644 index 51d698d..0000000 Binary files a/isim/pr_isim_beh.exe.sim/work/a_2734820196_0181651160.didat and /dev/null differ diff --git a/isim/pr_isim_beh.exe.sim/work/a_2734820196_0181651160.lin64.o b/isim/pr_isim_beh.exe.sim/work/a_2734820196_0181651160.lin64.o deleted file mode 100644 index 001d23d..0000000 Binary files a/isim/pr_isim_beh.exe.sim/work/a_2734820196_0181651160.lin64.o and /dev/null differ diff --git a/isim/pr_isim_beh.exe.sim/work/pr_isim_beh.exe_main.c b/isim/pr_isim_beh.exe.sim/work/pr_isim_beh.exe_main.c deleted file mode 100644 index fb085d2..0000000 --- a/isim/pr_isim_beh.exe.sim/work/pr_isim_beh.exe_main.c +++ /dev/null @@ -1,39 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -#include "xsi.h" - -struct XSI_INFO xsi_info; - -char *IEEE_P_2592010699; -char *STD_STANDARD; - - -int main(int argc, char **argv) -{ - xsi_init_design(argc, argv); - xsi_register_info(&xsi_info); - - xsi_register_min_prec_unit(-12); - ieee_p_2592010699_init(); - work_a_2734820196_0181651160_init(); - - - xsi_register_tops("work_a_2734820196_0181651160"); - - IEEE_P_2592010699 = xsi_get_engine_memory("ieee_p_2592010699"); - xsi_register_ieee_std_logic_1164(IEEE_P_2592010699); - STD_STANDARD = xsi_get_engine_memory("std_standard"); - - return xsi_run_simulation(argc, argv); - -} diff --git a/isim/pr_isim_beh.exe.sim/work/pr_isim_beh.exe_main.lin64.o b/isim/pr_isim_beh.exe.sim/work/pr_isim_beh.exe_main.lin64.o deleted file mode 100644 index 74ab686..0000000 Binary files a/isim/pr_isim_beh.exe.sim/work/pr_isim_beh.exe_main.lin64.o and /dev/null differ diff --git a/isim/precompiled.exe.sim/ieee/p_2592010699.didat b/isim/precompiled.exe.sim/ieee/p_2592010699.didat index 1a519fc..be0d1d0 100644 Binary files a/isim/precompiled.exe.sim/ieee/p_2592010699.didat and b/isim/precompiled.exe.sim/ieee/p_2592010699.didat differ diff --git a/isim/tb_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg b/isim/tb_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg deleted file mode 100644 index 5873436..0000000 Binary files a/isim/tb_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg and /dev/null differ diff --git a/isim/tb_isim_beh.exe.sim/isimcrash.log b/isim/tb_isim_beh.exe.sim/isimcrash.log deleted file mode 100644 index e69de29..0000000 diff --git a/isim/tb_isim_beh.exe.sim/isimkernel.log b/isim/tb_isim_beh.exe.sim/isimkernel.log deleted file mode 100644 index 7b3c541..0000000 --- a/isim/tb_isim_beh.exe.sim/isimkernel.log +++ /dev/null @@ -1,28 +0,0 @@ -Command line: - tb_isim_beh.exe - -simmode gui - -simrunnum 0 - -socket 49451 - -Tue Aug 27 09:36:05 2019 - - - Elaboration Time: 0.12 sec - - Current Memory Usage: 198.607 Meg - - Total Signals : 13 - Total Nets : 50 - Total Signal Drivers : 6 - Total Blocks : 3 - Total Primitive Blocks : 2 - Total Processes : 7 - Total Traceable Variables : 10 - Total Scalar Nets and Variables : 412 - - Total Simulation Time: 0.13 sec - - Current Memory Usage: 276.206 Meg - -Tue Aug 27 09:36:11 2019 - diff --git a/isim/tb_isim_beh.exe.sim/netId.dat b/isim/tb_isim_beh.exe.sim/netId.dat deleted file mode 100644 index ed50a88..0000000 Binary files a/isim/tb_isim_beh.exe.sim/netId.dat and /dev/null differ diff --git a/isim/tb_isim_beh.exe.sim/tb_isim_beh.exe b/isim/tb_isim_beh.exe.sim/tb_isim_beh.exe deleted file mode 100644 index 55f6555..0000000 Binary files a/isim/tb_isim_beh.exe.sim/tb_isim_beh.exe and /dev/null differ diff --git a/isim/tb_isim_beh.exe.sim/tmp_save/_1 b/isim/tb_isim_beh.exe.sim/tmp_save/_1 deleted file mode 100644 index b86138c..0000000 Binary files a/isim/tb_isim_beh.exe.sim/tmp_save/_1 and /dev/null differ diff --git a/isim/tb_isim_beh.exe.sim/work/a_3230118638_0181651160.c b/isim/tb_isim_beh.exe.sim/work/a_3230118638_0181651160.c deleted file mode 100644 index 265667f..0000000 --- a/isim/tb_isim_beh.exe.sim/work/a_3230118638_0181651160.c +++ /dev/null @@ -1,374 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif -static const char *ng0 = "/home/ise/gianni/IEEE754Adder/pr.vhd"; -extern char *IEEE_P_2592010699; - -char *ieee_p_2592010699_sub_16439989832805790689_503743352(char *, char *, char *, char *, char *, char *); -char *ieee_p_2592010699_sub_207919886985903570_503743352(char *, char *, char *, char *); -unsigned char ieee_p_2592010699_sub_3488546069778340532_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_3488768496604610246_503743352(char *, unsigned char , unsigned char ); -unsigned char ieee_p_2592010699_sub_374109322130769762_503743352(char *, unsigned char ); - - -static void work_a_3230118638_0181651160_p_0(char *t0) -{ - char t1[16]; - char t4[16]; - char *t2; - char *t3; - char *t5; - char *t6; - char *t7; - char *t8; - char *t9; - unsigned int t10; - unsigned int t11; - unsigned char t12; - char *t13; - char *t14; - char *t15; - char *t16; - char *t17; - char *t18; - -LAB0: xsi_set_current_line(18, ng0); - -LAB3: t2 = (t0 + 1032U); - t3 = *((char **)t2); - t2 = (t0 + 7176U); - t5 = (t0 + 1192U); - t6 = *((char **)t5); - t5 = (t0 + 7192U); - t7 = ieee_p_2592010699_sub_207919886985903570_503743352(IEEE_P_2592010699, t4, t6, t5); - t8 = ieee_p_2592010699_sub_16439989832805790689_503743352(IEEE_P_2592010699, t1, t3, t2, t7, t4); - t9 = (t1 + 12U); - t10 = *((unsigned int *)t9); - t11 = (1U * t10); - t12 = (8U != t11); - if (t12 == 1) - goto LAB5; - -LAB6: t13 = (t0 + 4960); - t14 = (t13 + 56U); - t15 = *((char **)t14); - t16 = (t15 + 56U); - t17 = *((char **)t16); - memcpy(t17, t8, 8U); - xsi_driver_first_trans_fast(t13); - -LAB2: t18 = (t0 + 4816); - *((int *)t18) = 1; - -LAB1: return; -LAB4: goto LAB2; - -LAB5: xsi_size_not_matching(8U, t11, 0); - goto LAB6; - -} - -static void work_a_3230118638_0181651160_p_1(char *t0) -{ - char t1[16]; - char t2[16]; - char *t3; - char *t4; - char *t5; - char *t6; - char *t7; - char *t8; - char *t9; - unsigned int t10; - unsigned int t11; - unsigned char t12; - char *t13; - char *t14; - char *t15; - char *t16; - char *t17; - char *t18; - -LAB0: xsi_set_current_line(19, ng0); - -LAB3: t3 = (t0 + 1032U); - t4 = *((char **)t3); - t3 = (t0 + 7176U); - t5 = ieee_p_2592010699_sub_207919886985903570_503743352(IEEE_P_2592010699, t2, t4, t3); - t6 = (t0 + 1192U); - t7 = *((char **)t6); - t6 = (t0 + 7192U); - t8 = ieee_p_2592010699_sub_16439989832805790689_503743352(IEEE_P_2592010699, t1, t5, t2, t7, t6); - t9 = (t1 + 12U); - t10 = *((unsigned int *)t9); - t11 = (1U * t10); - t12 = (8U != t11); - if (t12 == 1) - goto LAB5; - -LAB6: t13 = (t0 + 5024); - t14 = (t13 + 56U); - t15 = *((char **)t14); - t16 = (t15 + 56U); - t17 = *((char **)t16); - memcpy(t17, t8, 8U); - xsi_driver_first_trans_fast(t13); - -LAB2: t18 = (t0 + 4832); - *((int *)t18) = 1; - -LAB1: return; -LAB4: goto LAB2; - -LAB5: xsi_size_not_matching(8U, t11, 0); - goto LAB6; - -} - -static void work_a_3230118638_0181651160_p_2(char *t0) -{ - char *t1; - char *t2; - char *t3; - char *t4; - char *t5; - char *t6; - char *t7; - -LAB0: xsi_set_current_line(21, ng0); - -LAB3: t1 = (t0 + 1832U); - t2 = *((char **)t1); - t1 = (t0 + 5088); - t3 = (t1 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - memcpy(t6, t2, 8U); - xsi_driver_first_trans_fast_port(t1); - -LAB2: t7 = (t0 + 4848); - *((int *)t7) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_3230118638_0181651160_p_3(char *t0) -{ - char *t1; - char *t2; - char *t3; - char *t4; - char *t5; - char *t6; - char *t7; - -LAB0: xsi_set_current_line(22, ng0); - -LAB3: t1 = (t0 + 1992U); - t2 = *((char **)t1); - t1 = (t0 + 5152); - t3 = (t1 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - memcpy(t6, t2, 8U); - xsi_driver_first_trans_fast_port(t1); - -LAB2: t7 = (t0 + 4864); - *((int *)t7) = 1; - -LAB1: return; -LAB4: goto LAB2; - -} - -static void work_a_3230118638_0181651160_p_4(char *t0) -{ - char *t1; - char *t2; - int t3; - int t4; - int t5; - char *t6; - char *t7; - unsigned char t8; - char *t9; - int t10; - int t11; - unsigned int t12; - unsigned int t13; - unsigned int t14; - char *t15; - unsigned char t16; - unsigned char t17; - char *t18; - char *t19; - int t20; - int t21; - unsigned int t22; - unsigned int t23; - unsigned int t24; - char *t25; - unsigned char t26; - unsigned char t27; - char *t28; - char *t29; - unsigned char t30; - unsigned char t31; - unsigned char t32; - char *t33; - -LAB0: xsi_set_current_line(28, ng0); - t1 = (t0 + 2408U); - t2 = *((char **)t1); - t1 = (t2 + 0); - *((unsigned char *)t1) = (unsigned char)2; - xsi_set_current_line(29, ng0); - t1 = (t0 + 2528U); - t2 = *((char **)t1); - t1 = (t2 + 0); - *((unsigned char *)t1) = (unsigned char)3; - xsi_set_current_line(30, ng0); - t3 = (8 - 1); - t1 = (t0 + 7318); - *((int *)t1) = t3; - t2 = (t0 + 7322); - *((int *)t2) = 0; - t4 = t3; - t5 = 0; - -LAB2: if (t4 >= t5) - goto LAB3; - -LAB5: xsi_set_current_line(34, ng0); - t1 = (t0 + 2408U); - t2 = *((char **)t1); - t8 = *((unsigned char *)t2); - t1 = (t0 + 5216); - t6 = (t1 + 56U); - t7 = *((char **)t6); - t9 = (t7 + 56U); - t15 = *((char **)t9); - *((unsigned char *)t15) = t8; - xsi_driver_first_trans_fast_port(t1); - t1 = (t0 + 4880); - *((int *)t1) = 1; - -LAB1: return; -LAB3: xsi_set_current_line(31, ng0); - t6 = (t0 + 2408U); - t7 = *((char **)t6); - t8 = *((unsigned char *)t7); - t6 = (t0 + 1832U); - t9 = *((char **)t6); - t6 = (t0 + 7318); - t10 = *((int *)t6); - t11 = (t10 - 7); - t12 = (t11 * -1); - xsi_vhdl_check_range_of_index(7, 0, -1, *((int *)t6)); - t13 = (1U * t12); - t14 = (0 + t13); - t15 = (t9 + t14); - t16 = *((unsigned char *)t15); - t17 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t16); - t18 = (t0 + 1992U); - t19 = *((char **)t18); - t18 = (t0 + 7318); - t20 = *((int *)t18); - t21 = (t20 - 7); - t22 = (t21 * -1); - xsi_vhdl_check_range_of_index(7, 0, -1, *((int *)t18)); - t23 = (1U * t22); - t24 = (0 + t23); - t25 = (t19 + t24); - t26 = *((unsigned char *)t25); - t27 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t17, t26); - t28 = (t0 + 2528U); - t29 = *((char **)t28); - t30 = *((unsigned char *)t29); - t31 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t27, t30); - t32 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t8, t31); - t28 = (t0 + 2408U); - t33 = *((char **)t28); - t28 = (t33 + 0); - *((unsigned char *)t28) = t32; - xsi_set_current_line(32, ng0); - t1 = (t0 + 2528U); - t2 = *((char **)t1); - t8 = *((unsigned char *)t2); - t1 = (t0 + 1832U); - t6 = *((char **)t1); - t1 = (t0 + 7318); - t3 = *((int *)t1); - t10 = (t3 - 7); - t12 = (t10 * -1); - xsi_vhdl_check_range_of_index(7, 0, -1, *((int *)t1)); - t13 = (1U * t12); - t14 = (0 + t13); - t7 = (t6 + t14); - t16 = *((unsigned char *)t7); - t9 = (t0 + 1992U); - t15 = *((char **)t9); - t9 = (t0 + 7318); - t11 = *((int *)t9); - t20 = (t11 - 7); - t22 = (t20 * -1); - xsi_vhdl_check_range_of_index(7, 0, -1, *((int *)t9)); - t23 = (1U * t22); - t24 = (0 + t23); - t18 = (t15 + t24); - t17 = *((unsigned char *)t18); - t26 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t17); - t27 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t16, t26); - t30 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t27); - t31 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t8, t30); - t19 = (t0 + 2528U); - t25 = *((char **)t19); - t19 = (t25 + 0); - *((unsigned char *)t19) = t31; - -LAB4: t1 = (t0 + 7318); - t4 = *((int *)t1); - t2 = (t0 + 7322); - t5 = *((int *)t2); - if (t4 == t5) - goto LAB5; - -LAB6: t3 = (t4 + -1); - t4 = t3; - t6 = (t0 + 7318); - *((int *)t6) = t4; - goto LAB2; - -} - - -extern void work_a_3230118638_0181651160_init() -{ - static char *pe[] = {(void *)work_a_3230118638_0181651160_p_0,(void *)work_a_3230118638_0181651160_p_1,(void *)work_a_3230118638_0181651160_p_2,(void *)work_a_3230118638_0181651160_p_3,(void *)work_a_3230118638_0181651160_p_4}; - xsi_register_didat("work_a_3230118638_0181651160", "isim/tb_isim_beh.exe.sim/work/a_3230118638_0181651160.didat"); - xsi_register_executes(pe); -} diff --git a/isim/tb_isim_beh.exe.sim/work/a_3230118638_0181651160.didat b/isim/tb_isim_beh.exe.sim/work/a_3230118638_0181651160.didat deleted file mode 100644 index c25fe90..0000000 Binary files a/isim/tb_isim_beh.exe.sim/work/a_3230118638_0181651160.didat and /dev/null differ diff --git a/isim/tb_isim_beh.exe.sim/work/a_3230118638_0181651160.lin64.o b/isim/tb_isim_beh.exe.sim/work/a_3230118638_0181651160.lin64.o deleted file mode 100644 index 5616b2f..0000000 Binary files a/isim/tb_isim_beh.exe.sim/work/a_3230118638_0181651160.lin64.o and /dev/null differ diff --git a/isim/tb_isim_beh.exe.sim/work/a_3671711236_2372691052.c b/isim/tb_isim_beh.exe.sim/work/a_3671711236_2372691052.c deleted file mode 100644 index 6a35d06..0000000 --- a/isim/tb_isim_beh.exe.sim/work/a_3671711236_2372691052.c +++ /dev/null @@ -1,157 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -/* This file is designed for use with ISim build 0xfbc00daa */ - -#define XSI_HIDE_SYMBOL_SPEC true -#include "xsi.h" -#include -#ifdef __GNUC__ -#include -#else -#include -#define alloca _alloca -#endif -static const char *ng0 = "/home/ise/gianni/IEEE754Adder/tb.vhd"; - - - -static void work_a_3671711236_2372691052_p_0(char *t0) -{ - char *t1; - char *t2; - char *t3; - char *t4; - char *t5; - char *t6; - int64 t7; - int64 t8; - -LAB0: t1 = (t0 + 3104U); - t2 = *((char **)t1); - if (t2 == 0) - goto LAB2; - -LAB3: goto *t2; - -LAB2: xsi_set_current_line(81, ng0); - t2 = (t0 + 3736); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)2; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(82, ng0); - t2 = (t0 + 2128U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t8 = (t7 / 2); - t2 = (t0 + 2912); - xsi_process_wait(t2, t8); - -LAB6: *((char **)t1) = &&LAB7; - -LAB1: return; -LAB4: xsi_set_current_line(83, ng0); - t2 = (t0 + 3736); - t3 = (t2 + 56U); - t4 = *((char **)t3); - t5 = (t4 + 56U); - t6 = *((char **)t5); - *((unsigned char *)t6) = (unsigned char)3; - xsi_driver_first_trans_fast(t2); - xsi_set_current_line(84, ng0); - t2 = (t0 + 2128U); - t3 = *((char **)t2); - t7 = *((int64 *)t3); - t8 = (t7 / 2); - t2 = (t0 + 2912); - xsi_process_wait(t2, t8); - -LAB10: *((char **)t1) = &&LAB11; - goto LAB1; - -LAB5: goto LAB4; - -LAB7: goto LAB5; - -LAB8: goto LAB2; - -LAB9: goto LAB8; - -LAB11: goto LAB9; - -} - -static void work_a_3671711236_2372691052_p_1(char *t0) -{ - char *t1; - char *t2; - int64 t3; - char *t4; - int64 t5; - -LAB0: t1 = (t0 + 3352U); - t2 = *((char **)t1); - if (t2 == 0) - goto LAB2; - -LAB3: goto *t2; - -LAB2: xsi_set_current_line(92, ng0); - t3 = (100 * 1000LL); - t2 = (t0 + 3160); - xsi_process_wait(t2, t3); - -LAB6: *((char **)t1) = &&LAB7; - -LAB1: return; -LAB4: xsi_set_current_line(94, ng0); - t2 = (t0 + 2128U); - t4 = *((char **)t2); - t3 = *((int64 *)t4); - t5 = (t3 * 10); - t2 = (t0 + 3160); - xsi_process_wait(t2, t5); - -LAB10: *((char **)t1) = &&LAB11; - goto LAB1; - -LAB5: goto LAB4; - -LAB7: goto LAB5; - -LAB8: xsi_set_current_line(98, ng0); - -LAB14: *((char **)t1) = &&LAB15; - goto LAB1; - -LAB9: goto LAB8; - -LAB11: goto LAB9; - -LAB12: goto LAB2; - -LAB13: goto LAB12; - -LAB15: goto LAB13; - -} - - -extern void work_a_3671711236_2372691052_init() -{ - static char *pe[] = {(void *)work_a_3671711236_2372691052_p_0,(void *)work_a_3671711236_2372691052_p_1}; - xsi_register_didat("work_a_3671711236_2372691052", "isim/tb_isim_beh.exe.sim/work/a_3671711236_2372691052.didat"); - xsi_register_executes(pe); -} diff --git a/isim/tb_isim_beh.exe.sim/work/a_3671711236_2372691052.didat b/isim/tb_isim_beh.exe.sim/work/a_3671711236_2372691052.didat deleted file mode 100644 index 7db5223..0000000 Binary files a/isim/tb_isim_beh.exe.sim/work/a_3671711236_2372691052.didat and /dev/null differ diff --git a/isim/tb_isim_beh.exe.sim/work/a_3671711236_2372691052.lin64.o b/isim/tb_isim_beh.exe.sim/work/a_3671711236_2372691052.lin64.o deleted file mode 100644 index fd703b0..0000000 Binary files a/isim/tb_isim_beh.exe.sim/work/a_3671711236_2372691052.lin64.o and /dev/null differ diff --git a/isim/tb_isim_beh.exe.sim/work/tb_isim_beh.exe_main.c b/isim/tb_isim_beh.exe.sim/work/tb_isim_beh.exe_main.c deleted file mode 100644 index ebf23f8..0000000 --- a/isim/tb_isim_beh.exe.sim/work/tb_isim_beh.exe_main.c +++ /dev/null @@ -1,40 +0,0 @@ -/**********************************************************************/ -/* ____ ____ */ -/* / /\/ / */ -/* /___/ \ / */ -/* \ \ \/ */ -/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ -/* / / All Right Reserved. */ -/* /---/ /\ */ -/* \ \ / \ */ -/* \___\/\___\ */ -/***********************************************************************/ - -#include "xsi.h" - -struct XSI_INFO xsi_info; - -char *IEEE_P_2592010699; -char *STD_STANDARD; - - -int main(int argc, char **argv) -{ - xsi_init_design(argc, argv); - xsi_register_info(&xsi_info); - - xsi_register_min_prec_unit(-12); - ieee_p_2592010699_init(); - work_a_3230118638_0181651160_init(); - work_a_3671711236_2372691052_init(); - - - xsi_register_tops("work_a_3671711236_2372691052"); - - IEEE_P_2592010699 = xsi_get_engine_memory("ieee_p_2592010699"); - xsi_register_ieee_std_logic_1164(IEEE_P_2592010699); - STD_STANDARD = xsi_get_engine_memory("std_standard"); - - return xsi_run_simulation(argc, argv); - -} diff --git a/isim/tb_isim_beh.exe.sim/work/tb_isim_beh.exe_main.lin64.o b/isim/tb_isim_beh.exe.sim/work/tb_isim_beh.exe_main.lin64.o deleted file mode 100644 index afd97e2..0000000 Binary files a/isim/tb_isim_beh.exe.sim/work/tb_isim_beh.exe_main.lin64.o and /dev/null differ diff --git a/isim/temp/comparator.vdb b/isim/temp/comparator.vdb deleted file mode 100644 index aeff073..0000000 Binary files a/isim/temp/comparator.vdb and /dev/null differ diff --git a/isim/temp/comparatortest.vdb b/isim/temp/comparatortest.vdb deleted file mode 100644 index f209a21..0000000 Binary files a/isim/temp/comparatortest.vdb and /dev/null differ diff --git a/isim/temp/equalcheck.vdb b/isim/temp/equalcheck.vdb deleted file mode 100644 index 2ccb936..0000000 Binary files a/isim/temp/equalcheck.vdb and /dev/null differ diff --git a/isim/temp/fulladder.vdb b/isim/temp/fulladder.vdb deleted file mode 100644 index 835e550..0000000 Binary files a/isim/temp/fulladder.vdb and /dev/null differ diff --git a/isim/temp/fulladdertest.vdb b/isim/temp/fulladdertest.vdb deleted file mode 100644 index aa7acff..0000000 Binary files a/isim/temp/fulladdertest.vdb and /dev/null differ diff --git a/isim/temp/nancheck.vdb b/isim/temp/nancheck.vdb deleted file mode 100644 index 67f7155..0000000 Binary files a/isim/temp/nancheck.vdb and /dev/null differ diff --git a/isim/temp/pr.vdb b/isim/temp/pr.vdb deleted file mode 100644 index 2c0b4b7..0000000 Binary files a/isim/temp/pr.vdb and /dev/null differ diff --git a/isim/temp/specialcasescheck.vdb b/isim/temp/specialcasescheck.vdb deleted file mode 100644 index 3098f17..0000000 Binary files a/isim/temp/specialcasescheck.vdb and /dev/null differ diff --git a/isim/temp/specialcasestest.vdb b/isim/temp/specialcasestest.vdb deleted file mode 100644 index 8965db4..0000000 Binary files a/isim/temp/specialcasestest.vdb and /dev/null differ diff --git a/isim/temp/swap.vdb b/isim/temp/swap.vdb deleted file mode 100644 index cf951a0..0000000 Binary files a/isim/temp/swap.vdb and /dev/null differ diff --git a/isim/temp/swaptest.vdb b/isim/temp/swaptest.vdb deleted file mode 100644 index 55a46bf..0000000 Binary files a/isim/temp/swaptest.vdb and /dev/null differ diff --git a/isim/temp/tb.vdb b/isim/temp/tb.vdb deleted file mode 100644 index f3c7195..0000000 Binary files a/isim/temp/tb.vdb and /dev/null differ diff --git a/isim/temp/twocomplement.vdb b/isim/temp/twocomplement.vdb new file mode 100644 index 0000000..19332a9 Binary files /dev/null and b/isim/temp/twocomplement.vdb differ diff --git a/isim/temp/twocomplementtest.vdb b/isim/temp/twocomplementtest.vdb new file mode 100644 index 0000000..b807860 Binary files /dev/null and b/isim/temp/twocomplementtest.vdb differ diff --git a/isim/temp/typecheck.vdb b/isim/temp/typecheck.vdb deleted file mode 100644 index c93d054..0000000 Binary files a/isim/temp/typecheck.vdb and /dev/null differ diff --git a/isim/temp/zerocheck.vdb b/isim/temp/zerocheck.vdb deleted file mode 100644 index 12d3abf..0000000 Binary files a/isim/temp/zerocheck.vdb and /dev/null differ diff --git a/isim/work/fulladder.vdb b/isim/work/fulladder.vdb deleted file mode 100644 index a4ff869..0000000 Binary files a/isim/work/fulladder.vdb and /dev/null differ diff --git a/isim/work/fulladdertest.vdb b/isim/work/fulladdertest.vdb deleted file mode 100644 index 332d9ef..0000000 Binary files a/isim/work/fulladdertest.vdb and /dev/null differ diff --git a/isim/work/twocomplement.vdb b/isim/work/twocomplement.vdb new file mode 100644 index 0000000..c7a5df6 Binary files /dev/null and b/isim/work/twocomplement.vdb differ diff --git a/isim/work/twocomplementtest.vdb b/isim/work/twocomplementtest.vdb new file mode 100644 index 0000000..927e7ae Binary files /dev/null and b/isim/work/twocomplementtest.vdb differ diff --git a/xilinxsim.ini b/xilinxsim.ini index a023645..600496d 100644 --- a/xilinxsim.ini +++ b/xilinxsim.ini @@ -1 +1 @@ -isim_temp=isim/temp +work=isim/work