summaryrefslogtreecommitdiff
path: root/isim
diff options
context:
space:
mode:
Diffstat (limited to 'isim')
-rwxr-xr-x[-rw-r--r--]isim/TEST_Countdown_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbgbin4679 -> 4504 bytes
-rwxr-xr-x[-rw-r--r--]isim/TEST_Countdown_isim_beh.exe.sim/isimcrash.log0
-rwxr-xr-x[-rw-r--r--]isim/TEST_Countdown_isim_beh.exe.sim/isimkernel.log57
-rwxr-xr-x[-rw-r--r--]isim/TEST_Countdown_isim_beh.exe.sim/netId.datbin76 -> 76 bytes
-rwxr-xr-x[-rw-r--r--]isim/TEST_Countdown_isim_beh.exe.sim/tmp_save/_1bin2743 -> 2512 bytes
-rwxr-xr-x[-rw-r--r--]isim/TEST_Countdown_isim_beh.exe.sim/work/TEST_Countdown_isim_beh.exe_main.c72
-rw-r--r--isim/TEST_Countdown_isim_beh.exe.sim/work/TEST_Countdown_isim_beh.exe_main.lin64.obin2432 -> 0 bytes
-rw-r--r--isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.c329
-rw-r--r--isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.didatbin3364 -> 0 bytes
-rw-r--r--isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.lin64.obin5496 -> 0 bytes
-rw-r--r--isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.c279
-rw-r--r--isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.didatbin3080 -> 0 bytes
-rw-r--r--isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.lin64.obin5264 -> 0 bytes
-rw-r--r--isim/TEST_Countdown_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.c337
-rw-r--r--isim/TEST_Countdown_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.didatbin5556 -> 0 bytes
-rw-r--r--isim/TEST_Countdown_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.lin64.obin5216 -> 0 bytes
-rwxr-xr-x[-rw-r--r--]isim/Test_ContdownController_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbgbin13768 -> 13893 bytes
-rwxr-xr-x[-rw-r--r--]isim/Test_ContdownController_isim_beh.exe.sim/isimcrash.log0
-rwxr-xr-x[-rw-r--r--]isim/Test_ContdownController_isim_beh.exe.sim/isimkernel.log57
-rwxr-xr-x[-rw-r--r--]isim/Test_ContdownController_isim_beh.exe.sim/netId.datbin108 -> 108 bytes
-rwxr-xr-x[-rw-r--r--]isim/Test_ContdownController_isim_beh.exe.sim/tmp_save/_1bin9766 -> 9766 bytes
-rwxr-xr-x[-rw-r--r--]isim/Test_ContdownController_isim_beh.exe.sim/work/Test_ContdownController_isim_beh.exe_main.c88
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/Test_ContdownController_isim_beh.exe_main.lin64.obin3264 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_01832328269938973087_1606112044.c205
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_01832328269938973087_1606112044.didatbin2428 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_01832328269938973087_1606112044.lin64.obin5920 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.c718
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.didatbin3204 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.lin64.obin7144 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.c279
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.didatbin3088 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.lin64.obin5264 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.c192
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.didatbin10888 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.lin64.obin3976 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c273
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.didatbin2680 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.lin64.obin4224 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.c722
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.didatbin3904 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.lin64.obin8800 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.c590
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.didatbin2732 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.lin64.obin7672 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.c249
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.didatbin3664 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.lin64.obin3776 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.c203
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.didatbin2376 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.lin64.obin3344 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.c337
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.didatbin5564 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.lin64.obin5216 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.c538
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.didatbin2792 -> 0 bytes
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.lin64.obin6880 -> 0 bytes
-rw-r--r--isim/isim_usage_statistics.html32
-rw-r--r--isim/pn_info2
-rw-r--r--isim/work/@b@c@d2@bin.sdbbin4984 -> 0 bytes
-rw-r--r--isim/work/@bin2@b@c@d.sdbbin5420 -> 0 bytes
-rw-r--r--isim/work/@clock@divider.sdbbin2521 -> 0 bytes
-rwxr-xr-x[-rw-r--r--]isim/work/@countdown.sdbbin3310 -> 2343 bytes
-rw-r--r--isim/work/@countdown@controller.sdbbin6830 -> 0 bytes
-rw-r--r--isim/work/@display@controller.sdbbin3306 -> 0 bytes
-rw-r--r--isim/work/@increment.sdbbin1538 -> 0 bytes
-rw-r--r--isim/work/@sev@seg@disp.sdbbin2916 -> 0 bytes
-rw-r--r--isim/work/@test_@contdown@controller.sdbbin6172 -> 0 bytes
-rw-r--r--isim/work/debouncer.sdbbin4503 -> 0 bytes
-rwxr-xr-x[-rw-r--r--]isim/work/glbl.sdbbin5478 -> 4565 bytes
69 files changed, 153 insertions, 5406 deletions
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg b/isim/TEST_Countdown_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg
index 909cd06..d931a2f 100644..100755
--- a/isim/TEST_Countdown_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg
+++ b/isim/TEST_Countdown_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg
Binary files differ
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/isimcrash.log b/isim/TEST_Countdown_isim_beh.exe.sim/isimcrash.log
index e69de29..e69de29 100644..100755
--- a/isim/TEST_Countdown_isim_beh.exe.sim/isimcrash.log
+++ b/isim/TEST_Countdown_isim_beh.exe.sim/isimcrash.log
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/isimkernel.log b/isim/TEST_Countdown_isim_beh.exe.sim/isimkernel.log
index cfb9573..33a80ac 100644..100755
--- a/isim/TEST_Countdown_isim_beh.exe.sim/isimkernel.log
+++ b/isim/TEST_Countdown_isim_beh.exe.sim/isimkernel.log
@@ -1,29 +1,28 @@
-Command line:
- TEST_Countdown_isim_beh.exe
- -simmode gui
- -simrunnum 0
- -socket 46742
-
-Wed Mar 21 13:10:41 2012
-
-
- Elaboration Time: 0.01 sec
-
- Current Memory Usage: 181.268 Meg
-
- Total Signals : 18
- Total Nets : 32
- Total Signal Drivers : 10
- Total Blocks : 3
- Total Primitive Blocks : 2
- Total Processes : 16
- Total Traceable Variables : 25
- Total Scalar Nets and Variables : 140
-Total Line Count : 40
-
- Total Simulation Time: 0.29 sec
-
- Current Memory Usage: 256.77 Meg
-
-Wed Mar 21 13:11:31 2012
-
+Command line:
+ TEST_Countdown_isim_beh.exe
+ -simmode gui
+ -simrunnum 0
+ -socket 52579
+
+Wed Mar 21 18:25:01 2012
+
+
+ Elaboration Time: 0.093601 sec
+
+ Current Memory Usage: 820.527 Meg
+
+ Total Signals : 18
+ Total Nets : 32
+ Total Signal Drivers : 10
+ Total Blocks : 3
+ Total Primitive Blocks : 2
+ Total Processes : 14
+ Total Traceable Variables : 25
+ Total Scalar Nets and Variables : 140
+
+ Total Simulation Time: 0.140401 sec
+
+ Current Memory Usage: 820.527 Meg
+
+Wed Mar 21 18:25:20 2012
+
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/netId.dat b/isim/TEST_Countdown_isim_beh.exe.sim/netId.dat
index 20588b3..20588b3 100644..100755
--- a/isim/TEST_Countdown_isim_beh.exe.sim/netId.dat
+++ b/isim/TEST_Countdown_isim_beh.exe.sim/netId.dat
Binary files differ
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/tmp_save/_1 b/isim/TEST_Countdown_isim_beh.exe.sim/tmp_save/_1
index 9bcf6d7..65981e3 100644..100755
--- a/isim/TEST_Countdown_isim_beh.exe.sim/tmp_save/_1
+++ b/isim/TEST_Countdown_isim_beh.exe.sim/tmp_save/_1
Binary files differ
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/work/TEST_Countdown_isim_beh.exe_main.c b/isim/TEST_Countdown_isim_beh.exe.sim/work/TEST_Countdown_isim_beh.exe_main.c
index e25a621..0dc330e 100644..100755
--- a/isim/TEST_Countdown_isim_beh.exe.sim/work/TEST_Countdown_isim_beh.exe_main.c
+++ b/isim/TEST_Countdown_isim_beh.exe.sim/work/TEST_Countdown_isim_beh.exe_main.c
@@ -1,36 +1,36 @@
-/**********************************************************************/
-/* ____ ____ */
-/* / /\/ / */
-/* /___/ \ / */
-/* \ \ \/ */
-/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
-/* / / All Right Reserved. */
-/* /---/ /\ */
-/* \ \ / \ */
-/* \___\/\___\ */
-/***********************************************************************/
-
-#include "xsi.h"
-
-struct XSI_INFO xsi_info;
-
-
-
-int main(int argc, char **argv)
-{
- xsi_init_design(argc, argv);
- xsi_register_info(&xsi_info);
-
- xsi_register_min_prec_unit(-12);
- work_m_06453055231304268951_4281377536_init();
- work_m_01236816096418509971_3448823162_init();
- work_m_16541823861846354283_2073120511_init();
-
-
- xsi_register_tops("work_m_01236816096418509971_3448823162");
- xsi_register_tops("work_m_16541823861846354283_2073120511");
-
-
- return xsi_run_simulation(argc, argv);
-
-}
+/**********************************************************************/
+/* ____ ____ */
+/* / /\/ / */
+/* /___/ \ / */
+/* \ \ \/ */
+/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
+/* / / All Right Reserved. */
+/* /---/ /\ */
+/* \ \ / \ */
+/* \___\/\___\ */
+/***********************************************************************/
+
+#include "xsi.h"
+
+struct XSI_INFO xsi_info;
+
+
+
+int main(int argc, char **argv)
+{
+ xsi_init_design(argc, argv);
+ xsi_register_info(&xsi_info);
+
+ xsi_register_min_prec_unit(-12);
+ work_m_00000000000165543063_4281377536_init();
+ work_m_00000000003481449619_3448823162_init();
+ work_m_00000000004134447467_2073120511_init();
+
+
+ xsi_register_tops("work_m_00000000003481449619_3448823162");
+ xsi_register_tops("work_m_00000000004134447467_2073120511");
+
+
+ return xsi_run_simulation(argc, argv);
+
+}
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/work/TEST_Countdown_isim_beh.exe_main.lin64.o b/isim/TEST_Countdown_isim_beh.exe.sim/work/TEST_Countdown_isim_beh.exe_main.lin64.o
deleted file mode 100644
index 4fde3cb..0000000
--- a/isim/TEST_Countdown_isim_beh.exe.sim/work/TEST_Countdown_isim_beh.exe_main.lin64.o
+++ /dev/null
Binary files differ
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.c b/isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.c
deleted file mode 100644
index b813dd5..0000000
--- a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.c
+++ /dev/null
@@ -1,329 +0,0 @@
-/**********************************************************************/
-/* ____ ____ */
-/* / /\/ / */
-/* /___/ \ / */
-/* \ \ \/ */
-/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
-/* / / All Right Reserved. */
-/* /---/ /\ */
-/* \ \ / \ */
-/* \___\/\___\ */
-/***********************************************************************/
-
-/* This file is designed for use with ISim build 0x8ddf5b5d */
-
-#define XSI_HIDE_SYMBOL_SPEC true
-#include "xsi.h"
-#include <memory.h>
-#ifdef __GNUC__
-#include <stdlib.h>
-#else
-#include <malloc.h>
-#define alloca _alloca
-#endif
-static const char *ng0 = "/home/michael/Documents/School/EC311/lab4/TEST_Countdown.v";
-static int ng1[] = {0, 0};
-static int ng2[] = {218, 0};
-static int ng3[] = {255, 0};
-static int ng4[] = {10, 0};
-static int ng5[] = {1, 0};
-
-
-
-static void Initial_46_0(char *t0)
-{
- char t6[8];
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t7;
- char *t8;
- char *t9;
- char *t10;
- unsigned int t11;
- unsigned int t12;
- unsigned int t13;
- unsigned int t14;
- unsigned int t15;
- char *t16;
- unsigned int t17;
- unsigned int t18;
- unsigned int t19;
- unsigned int t20;
- unsigned int t21;
- unsigned int t22;
- unsigned int t23;
- unsigned int t24;
- unsigned int t25;
- unsigned int t26;
- unsigned int t27;
- unsigned int t28;
- char *t29;
-
-LAB0: t1 = (t0 + 3000U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(46, ng0);
-
-LAB4: xsi_set_current_line(48, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1448);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(49, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1608);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(50, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1768);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(51, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1928);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 8);
- xsi_set_current_line(54, ng0);
- t2 = (t0 + 2808);
- xsi_process_wait(t2, 50000LL);
- *((char **)t1) = &&LAB5;
-
-LAB1: return;
-LAB5: xsi_set_current_line(58, ng0);
- t2 = ((char*)((ng2)));
- t3 = (t0 + 1928);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 8);
- xsi_set_current_line(58, ng0);
- t2 = (t0 + 2808);
- xsi_process_wait(t2, 50000LL);
- *((char **)t1) = &&LAB6;
- goto LAB1;
-
-LAB6: xsi_set_current_line(60, ng0);
- xsi_set_current_line(60, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 2088);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 8);
-
-LAB7: t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = ((char*)((ng3)));
- memset(t6, 0, 8);
- t7 = (t4 + 4);
- if (*((unsigned int *)t7) != 0)
- goto LAB9;
-
-LAB8: t8 = (t5 + 4);
- if (*((unsigned int *)t8) != 0)
- goto LAB9;
-
-LAB12: if (*((unsigned int *)t4) < *((unsigned int *)t5))
- goto LAB10;
-
-LAB11: t10 = (t6 + 4);
- t11 = *((unsigned int *)t10);
- t12 = (~(t11));
- t13 = *((unsigned int *)t6);
- t14 = (t13 & t12);
- t15 = (t14 != 0);
- if (t15 > 0)
- goto LAB13;
-
-LAB14: goto LAB1;
-
-LAB9: t9 = (t6 + 4);
- *((unsigned int *)t6) = 1;
- *((unsigned int *)t9) = 1;
- goto LAB11;
-
-LAB10: *((unsigned int *)t6) = 1;
- goto LAB11;
-
-LAB13: xsi_set_current_line(60, ng0);
-
-LAB15: xsi_set_current_line(61, ng0);
- t16 = (t0 + 2808);
- xsi_process_wait(t16, 5000LL);
- *((char **)t1) = &&LAB16;
- goto LAB1;
-
-LAB16: xsi_set_current_line(61, ng0);
- t2 = (t0 + 1448);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- memset(t6, 0, 8);
- t5 = (t4 + 4);
- t11 = *((unsigned int *)t5);
- t12 = (~(t11));
- t13 = *((unsigned int *)t4);
- t14 = (t13 & t12);
- t15 = (t14 & 1U);
- if (t15 != 0)
- goto LAB20;
-
-LAB18: if (*((unsigned int *)t5) == 0)
- goto LAB17;
-
-LAB19: t7 = (t6 + 4);
- *((unsigned int *)t6) = 1;
- *((unsigned int *)t7) = 1;
-
-LAB20: t8 = (t6 + 4);
- t9 = (t4 + 4);
- t17 = *((unsigned int *)t4);
- t18 = (~(t17));
- *((unsigned int *)t6) = t18;
- *((unsigned int *)t8) = 0;
- if (*((unsigned int *)t9) != 0)
- goto LAB22;
-
-LAB21: t23 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t23 & 1U);
- t24 = *((unsigned int *)t8);
- *((unsigned int *)t8) = (t24 & 1U);
- t10 = (t0 + 1448);
- xsi_vlogvar_assign_value(t10, t6, 0, 0, 1);
- xsi_set_current_line(62, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = ((char*)((ng4)));
- memset(t6, 0, 8);
- t7 = (t4 + 4);
- t8 = (t5 + 4);
- t11 = *((unsigned int *)t4);
- t12 = *((unsigned int *)t5);
- t13 = (t11 ^ t12);
- t14 = *((unsigned int *)t7);
- t15 = *((unsigned int *)t8);
- t17 = (t14 ^ t15);
- t18 = (t13 | t17);
- t19 = *((unsigned int *)t7);
- t20 = *((unsigned int *)t8);
- t21 = (t19 | t20);
- t22 = (~(t21));
- t23 = (t18 & t22);
- if (t23 != 0)
- goto LAB26;
-
-LAB23: if (t21 != 0)
- goto LAB25;
-
-LAB24: *((unsigned int *)t6) = 1;
-
-LAB26: t10 = (t6 + 4);
- t24 = *((unsigned int *)t10);
- t25 = (~(t24));
- t26 = *((unsigned int *)t6);
- t27 = (t26 & t25);
- t28 = (t27 != 0);
- if (t28 > 0)
- goto LAB27;
-
-LAB28:
-LAB29: xsi_set_current_line(60, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = ((char*)((ng5)));
- memset(t6, 0, 8);
- xsi_vlog_unsigned_add(t6, 32, t4, 8, t5, 32);
- t7 = (t0 + 2088);
- xsi_vlogvar_assign_value(t7, t6, 0, 0, 8);
- goto LAB7;
-
-LAB17: *((unsigned int *)t6) = 1;
- goto LAB20;
-
-LAB22: t19 = *((unsigned int *)t6);
- t20 = *((unsigned int *)t9);
- *((unsigned int *)t6) = (t19 | t20);
- t21 = *((unsigned int *)t8);
- t22 = *((unsigned int *)t9);
- *((unsigned int *)t8) = (t21 | t22);
- goto LAB21;
-
-LAB25: t9 = (t6 + 4);
- *((unsigned int *)t6) = 1;
- *((unsigned int *)t9) = 1;
- goto LAB26;
-
-LAB27: xsi_set_current_line(62, ng0);
-
-LAB30: xsi_set_current_line(63, ng0);
- t16 = ((char*)((ng5)));
- t29 = (t0 + 1768);
- xsi_vlogvar_assign_value(t29, t16, 0, 0, 1);
- xsi_set_current_line(63, ng0);
- t2 = (t0 + 2808);
- xsi_process_wait(t2, 5000LL);
- *((char **)t1) = &&LAB31;
- goto LAB1;
-
-LAB31: xsi_set_current_line(63, ng0);
- t2 = (t0 + 1448);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- memset(t6, 0, 8);
- t5 = (t4 + 4);
- t11 = *((unsigned int *)t5);
- t12 = (~(t11));
- t13 = *((unsigned int *)t4);
- t14 = (t13 & t12);
- t15 = (t14 & 1U);
- if (t15 != 0)
- goto LAB35;
-
-LAB33: if (*((unsigned int *)t5) == 0)
- goto LAB32;
-
-LAB34: t7 = (t6 + 4);
- *((unsigned int *)t6) = 1;
- *((unsigned int *)t7) = 1;
-
-LAB35: t8 = (t6 + 4);
- t9 = (t4 + 4);
- t17 = *((unsigned int *)t4);
- t18 = (~(t17));
- *((unsigned int *)t6) = t18;
- *((unsigned int *)t8) = 0;
- if (*((unsigned int *)t9) != 0)
- goto LAB37;
-
-LAB36: t23 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t23 & 1U);
- t24 = *((unsigned int *)t8);
- *((unsigned int *)t8) = (t24 & 1U);
- t10 = (t0 + 1448);
- xsi_vlogvar_assign_value(t10, t6, 0, 0, 1);
- xsi_set_current_line(63, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1768);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- goto LAB29;
-
-LAB32: *((unsigned int *)t6) = 1;
- goto LAB35;
-
-LAB37: t19 = *((unsigned int *)t6);
- t20 = *((unsigned int *)t9);
- *((unsigned int *)t6) = (t19 | t20);
- t21 = *((unsigned int *)t8);
- t22 = *((unsigned int *)t9);
- *((unsigned int *)t8) = (t21 | t22);
- goto LAB36;
-
-}
-
-
-extern void work_m_01236816096418509971_3448823162_init()
-{
- static char *pe[] = {(void *)Initial_46_0};
- xsi_register_didat("work_m_01236816096418509971_3448823162", "isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.didat");
- xsi_register_executes(pe);
-}
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.didat b/isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.didat
deleted file mode 100644
index beb4669..0000000
--- a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.didat
+++ /dev/null
Binary files differ
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.lin64.o b/isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.lin64.o
deleted file mode 100644
index 34389cf..0000000
--- a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.lin64.o
+++ /dev/null
Binary files differ
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.c b/isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.c
deleted file mode 100644
index a5af715..0000000
--- a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.c
+++ /dev/null
@@ -1,279 +0,0 @@
-/**********************************************************************/
-/* ____ ____ */
-/* / /\/ / */
-/* /___/ \ / */
-/* \ \ \/ */
-/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
-/* / / All Right Reserved. */
-/* /---/ /\ */
-/* \ \ / \ */
-/* \___\/\___\ */
-/***********************************************************************/
-
-/* This file is designed for use with ISim build 0x8ddf5b5d */
-
-#define XSI_HIDE_SYMBOL_SPEC true
-#include "xsi.h"
-#include <memory.h>
-#ifdef __GNUC__
-#include <stdlib.h>
-#else
-#include <malloc.h>
-#define alloca _alloca
-#endif
-static const char *ng0 = "/home/michael/Documents/School/EC311/lab4/Countdown.v";
-static int ng1[] = {1, 0};
-static int ng2[] = {0, 0};
-
-
-
-static void Always_32_0(char *t0)
-{
- char t4[8];
- char *t1;
- char *t2;
- char *t3;
- char *t5;
- char *t6;
- char *t7;
- char *t8;
- unsigned int t9;
- unsigned int t10;
- unsigned int t11;
- unsigned int t12;
- unsigned int t13;
- char *t14;
- char *t15;
- unsigned int t16;
- unsigned int t17;
- unsigned int t18;
- unsigned int t19;
- unsigned int t20;
- char *t21;
- char *t22;
-
-LAB0: t1 = (t0 + 3000U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(32, ng0);
- t2 = (t0 + 4064);
- *((int *)t2) = 1;
- t3 = (t0 + 3032);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(32, ng0);
-
-LAB5: xsi_set_current_line(33, ng0);
- t5 = (t0 + 2088);
- t6 = (t5 + 56U);
- t7 = *((char **)t6);
- memset(t4, 0, 8);
- t8 = (t7 + 4);
- t9 = *((unsigned int *)t8);
- t10 = (~(t9));
- t11 = *((unsigned int *)t7);
- t12 = (t11 & t10);
- t13 = (t12 & 1U);
- if (t13 != 0)
- goto LAB9;
-
-LAB7: if (*((unsigned int *)t8) == 0)
- goto LAB6;
-
-LAB8: t14 = (t4 + 4);
- *((unsigned int *)t4) = 1;
- *((unsigned int *)t14) = 1;
-
-LAB9: t15 = (t4 + 4);
- t16 = *((unsigned int *)t15);
- t17 = (~(t16));
- t18 = *((unsigned int *)t4);
- t19 = (t18 & t17);
- t20 = (t19 != 0);
- if (t20 > 0)
- goto LAB10;
-
-LAB11: xsi_set_current_line(35, ng0);
-
-LAB14: xsi_set_current_line(36, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t5 = *((char **)t3);
- t6 = (t0 + 1928);
- xsi_vlogvar_assign_value(t6, t5, 0, 0, 8);
-
-LAB12: goto LAB2;
-
-LAB6: *((unsigned int *)t4) = 1;
- goto LAB9;
-
-LAB10: xsi_set_current_line(33, ng0);
-
-LAB13: xsi_set_current_line(34, ng0);
- t21 = (t0 + 1528U);
- t22 = *((char **)t21);
- t21 = (t0 + 1928);
- xsi_vlogvar_assign_value(t21, t22, 0, 0, 8);
- goto LAB12;
-
-}
-
-static void Always_40_1(char *t0)
-{
- char t17[8];
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t6;
- char *t7;
- unsigned int t8;
- unsigned int t9;
- unsigned int t10;
- unsigned int t11;
- unsigned int t12;
- char *t13;
- char *t14;
- char *t15;
- char *t16;
- char *t18;
-
-LAB0: t1 = (t0 + 3248U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(40, ng0);
- t2 = (t0 + 4080);
- *((int *)t2) = 1;
- t3 = (t0 + 3280);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(40, ng0);
-
-LAB5: xsi_set_current_line(41, ng0);
- t4 = (t0 + 2088);
- t5 = (t4 + 56U);
- t6 = *((char **)t5);
- t7 = (t6 + 4);
- t8 = *((unsigned int *)t7);
- t9 = (~(t8));
- t10 = *((unsigned int *)t6);
- t11 = (t10 & t9);
- t12 = (t11 != 0);
- if (t12 > 0)
- goto LAB6;
-
-LAB7: xsi_set_current_line(43, ng0);
-
-LAB10: xsi_set_current_line(44, ng0);
- t2 = (t0 + 1528U);
- t3 = *((char **)t2);
- t2 = (t0 + 1928);
- xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 8, 0LL);
-
-LAB8: goto LAB2;
-
-LAB6: xsi_set_current_line(41, ng0);
-
-LAB9: xsi_set_current_line(42, ng0);
- t13 = (t0 + 1928);
- t14 = (t13 + 56U);
- t15 = *((char **)t14);
- t16 = ((char*)((ng1)));
- memset(t17, 0, 8);
- xsi_vlog_unsigned_minus(t17, 32, t15, 8, t16, 32);
- t18 = (t0 + 1928);
- xsi_vlogvar_wait_assign_value(t18, t17, 0, 0, 8, 0LL);
- goto LAB8;
-
-}
-
-static void Always_48_2(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
-
-LAB0: t1 = (t0 + 3496U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(48, ng0);
- t2 = (t0 + 4096);
- *((int *)t2) = 1;
- t3 = (t0 + 3528);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(48, ng0);
-
-LAB5: xsi_set_current_line(49, ng0);
- t4 = ((char*)((ng1)));
- t5 = (t0 + 2088);
- xsi_vlogvar_assign_value(t5, t4, 0, 0, 1);
- goto LAB2;
-
-}
-
-static void Always_52_3(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
-
-LAB0: t1 = (t0 + 3744U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(52, ng0);
- t2 = (t0 + 4112);
- *((int *)t2) = 1;
- t3 = (t0 + 3776);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(52, ng0);
-
-LAB5: xsi_set_current_line(53, ng0);
- t4 = ((char*)((ng2)));
- t5 = (t0 + 2088);
- xsi_vlogvar_assign_value(t5, t4, 0, 0, 1);
- xsi_set_current_line(54, ng0);
- t2 = ((char*)((ng2)));
- t3 = (t0 + 1928);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 8);
- goto LAB2;
-
-}
-
-
-extern void work_m_06453055231304268951_4281377536_init()
-{
- static char *pe[] = {(void *)Always_32_0,(void *)Always_40_1,(void *)Always_48_2,(void *)Always_52_3};
- xsi_register_didat("work_m_06453055231304268951_4281377536", "isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.didat");
- xsi_register_executes(pe);
-}
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.didat b/isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.didat
deleted file mode 100644
index 94c37ef..0000000
--- a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.didat
+++ /dev/null
Binary files differ
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.lin64.o b/isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.lin64.o
deleted file mode 100644
index f3118d5..0000000
--- a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.lin64.o
+++ /dev/null
Binary files differ
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.c b/isim/TEST_Countdown_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.c
deleted file mode 100644
index e4b1ef9..0000000
--- a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.c
+++ /dev/null
@@ -1,337 +0,0 @@
-/**********************************************************************/
-/* ____ ____ */
-/* / /\/ / */
-/* /___/ \ / */
-/* \ \ \/ */
-/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
-/* / / All Right Reserved. */
-/* /---/ /\ */
-/* \ \ / \ */
-/* \___\/\___\ */
-/***********************************************************************/
-
-/* This file is designed for use with ISim build 0x8ddf5b5d */
-
-#define XSI_HIDE_SYMBOL_SPEC true
-#include "xsi.h"
-#include <memory.h>
-#ifdef __GNUC__
-#include <stdlib.h>
-#else
-#include <malloc.h>
-#define alloca _alloca
-#endif
-static const char *ng0 = "/home/michael/opt/Xilinx/13.4/ISE_DS/ISE/verilog/src/glbl.v";
-static unsigned int ng1[] = {1U, 0U};
-static unsigned int ng2[] = {0U, 0U};
-
-
-
-static void NetDecl_16_0(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t6;
- char *t7;
- unsigned int t8;
- unsigned int t9;
- char *t10;
- unsigned int t11;
- unsigned int t12;
- char *t13;
- unsigned int t14;
- unsigned int t15;
- char *t16;
-
-LAB0: t1 = (t0 + 6952U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(16, ng0);
- t2 = (t0 + 1960U);
- t3 = *((char **)t2);
- t2 = (t0 + 8640);
- t4 = (t2 + 56U);
- t5 = *((char **)t4);
- t6 = (t5 + 56U);
- t7 = *((char **)t6);
- memset(t7, 0, 8);
- t8 = 1U;
- t9 = t8;
- t10 = (t3 + 4);
- t11 = *((unsigned int *)t3);
- t8 = (t8 & t11);
- t12 = *((unsigned int *)t10);
- t9 = (t9 & t12);
- t13 = (t7 + 4);
- t14 = *((unsigned int *)t7);
- *((unsigned int *)t7) = (t14 | t8);
- t15 = *((unsigned int *)t13);
- *((unsigned int *)t13) = (t15 | t9);
- xsi_driver_vfirst_trans(t2, 0, 0U);
- t16 = (t0 + 8512);
- *((int *)t16) = 1;
-
-LAB1: return;
-}
-
-static void Cont_48_1(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t6;
- char *t7;
- char *t8;
- char *t9;
- unsigned int t10;
- unsigned int t11;
- char *t12;
- unsigned int t13;
- unsigned int t14;
- char *t15;
- unsigned int t16;
- unsigned int t17;
- char *t18;
-
-LAB0: t1 = (t0 + 7200U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(48, ng0);
- t2 = (t0 + 3640);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = (t0 + 8704);
- t6 = (t5 + 56U);
- t7 = *((char **)t6);
- t8 = (t7 + 56U);
- t9 = *((char **)t8);
- memset(t9, 0, 8);
- t10 = 1U;
- t11 = t10;
- t12 = (t4 + 4);
- t13 = *((unsigned int *)t4);
- t10 = (t10 & t13);
- t14 = *((unsigned int *)t12);
- t11 = (t11 & t14);
- t15 = (t9 + 4);
- t16 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t16 | t10);
- t17 = *((unsigned int *)t15);
- *((unsigned int *)t15) = (t17 | t11);
- xsi_driver_vfirst_trans(t5, 0, 0);
- t18 = (t0 + 8528);
- *((int *)t18) = 1;
-
-LAB1: return;
-}
-
-static void Cont_49_2(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t6;
- char *t7;
- char *t8;
- char *t9;
- unsigned int t10;
- unsigned int t11;
- char *t12;
- unsigned int t13;
- unsigned int t14;
- char *t15;
- unsigned int t16;
- unsigned int t17;
- char *t18;
-
-LAB0: t1 = (t0 + 7448U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(49, ng0);
- t2 = (t0 + 3800);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = (t0 + 8768);
- t6 = (t5 + 56U);
- t7 = *((char **)t6);
- t8 = (t7 + 56U);
- t9 = *((char **)t8);
- memset(t9, 0, 8);
- t10 = 1U;
- t11 = t10;
- t12 = (t4 + 4);
- t13 = *((unsigned int *)t4);
- t10 = (t10 & t13);
- t14 = *((unsigned int *)t12);
- t11 = (t11 & t14);
- t15 = (t9 + 4);
- t16 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t16 | t10);
- t17 = *((unsigned int *)t15);
- *((unsigned int *)t15) = (t17 | t11);
- xsi_driver_vfirst_trans(t5, 0, 0);
- t18 = (t0 + 8544);
- *((int *)t18) = 1;
-
-LAB1: return;
-}
-
-static void Cont_50_3(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t6;
- char *t7;
- char *t8;
- char *t9;
- unsigned int t10;
- unsigned int t11;
- char *t12;
- unsigned int t13;
- unsigned int t14;
- char *t15;
- unsigned int t16;
- unsigned int t17;
- char *t18;
-
-LAB0: t1 = (t0 + 7696U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(50, ng0);
- t2 = (t0 + 3960);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = (t0 + 8832);
- t6 = (t5 + 56U);
- t7 = *((char **)t6);
- t8 = (t7 + 56U);
- t9 = *((char **)t8);
- memset(t9, 0, 8);
- t10 = 1U;
- t11 = t10;
- t12 = (t4 + 4);
- t13 = *((unsigned int *)t4);
- t10 = (t10 & t13);
- t14 = *((unsigned int *)t12);
- t11 = (t11 & t14);
- t15 = (t9 + 4);
- t16 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t16 | t10);
- t17 = *((unsigned int *)t15);
- *((unsigned int *)t15) = (t17 | t11);
- xsi_driver_vfirst_trans(t5, 0, 0);
- t18 = (t0 + 8560);
- *((int *)t18) = 1;
-
-LAB1: return;
-}
-
-static void Initial_52_4(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
-
-LAB0: t1 = (t0 + 7944U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(52, ng0);
-
-LAB4: xsi_set_current_line(53, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 3640);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(54, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 3960);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(55, ng0);
- t2 = (t0 + 7752);
- xsi_process_wait(t2, 100000LL);
- *((char **)t1) = &&LAB5;
-
-LAB1: return;
-LAB5: xsi_set_current_line(56, ng0);
- t3 = ((char*)((ng2)));
- t4 = (t0 + 3640);
- xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);
- xsi_set_current_line(57, ng0);
- t2 = ((char*)((ng2)));
- t3 = (t0 + 3960);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- goto LAB1;
-
-}
-
-static void Initial_60_5(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
-
-LAB0: t1 = (t0 + 8192U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(60, ng0);
-
-LAB4: xsi_set_current_line(61, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 3800);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(62, ng0);
- t2 = (t0 + 8000);
- xsi_process_wait(t2, 0LL);
- *((char **)t1) = &&LAB5;
-
-LAB1: return;
-LAB5: xsi_set_current_line(63, ng0);
- t3 = ((char*)((ng2)));
- t4 = (t0 + 3800);
- xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);
- goto LAB1;
-
-}
-
-
-extern void work_m_16541823861846354283_2073120511_init()
-{
- static char *pe[] = {(void *)NetDecl_16_0,(void *)Cont_48_1,(void *)Cont_49_2,(void *)Cont_50_3,(void *)Initial_52_4,(void *)Initial_60_5};
- xsi_register_didat("work_m_16541823861846354283_2073120511", "isim/TEST_Countdown_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.didat");
- xsi_register_executes(pe);
-}
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.didat b/isim/TEST_Countdown_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.didat
deleted file mode 100644
index 0d3c6aa..0000000
--- a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.didat
+++ /dev/null
Binary files differ
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.lin64.o b/isim/TEST_Countdown_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.lin64.o
deleted file mode 100644
index 2c70287..0000000
--- a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.lin64.o
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg b/isim/Test_ContdownController_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg
index 63c0de9..821de82 100644..100755
--- a/isim/Test_ContdownController_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg
+++ b/isim/Test_ContdownController_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/isimcrash.log b/isim/Test_ContdownController_isim_beh.exe.sim/isimcrash.log
index e69de29..e69de29 100644..100755
--- a/isim/Test_ContdownController_isim_beh.exe.sim/isimcrash.log
+++ b/isim/Test_ContdownController_isim_beh.exe.sim/isimcrash.log
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/isimkernel.log b/isim/Test_ContdownController_isim_beh.exe.sim/isimkernel.log
index f0d01ab..182e9b9 100644..100755
--- a/isim/Test_ContdownController_isim_beh.exe.sim/isimkernel.log
+++ b/isim/Test_ContdownController_isim_beh.exe.sim/isimkernel.log
@@ -1,29 +1,28 @@
-Command line:
- Test_ContdownController_isim_beh.exe
- -simmode gui
- -simrunnum 0
- -socket 59475
-
-Wed Mar 21 13:13:02 2012
-
-
- Elaboration Time: 0.02 sec
-
- Current Memory Usage: 181.703 Meg
-
- Total Signals : 67
- Total Nets : 223
- Total Signal Drivers : 32
- Total Blocks : 16
- Total Primitive Blocks : 13
- Total Processes : 55
- Total Traceable Variables : 60
- Total Scalar Nets and Variables : 592
-Total Line Count : 190
-
- Total Simulation Time: 0.07 sec
-
- Current Memory Usage: 257.204 Meg
-
-Wed Mar 21 13:14:04 2012
-
+Command line:
+ Test_ContdownController_isim_beh.exe
+ -simmode gui
+ -simrunnum 0
+ -socket 52312
+
+Wed Mar 21 17:37:25 2012
+
+
+ Elaboration Time: 0.1092 sec
+
+ Current Memory Usage: 820.543 Meg
+
+ Total Signals : 67
+ Total Nets : 223
+ Total Signal Drivers : 32
+ Total Blocks : 16
+ Total Primitive Blocks : 13
+ Total Processes : 55
+ Total Traceable Variables : 60
+ Total Scalar Nets and Variables : 592
+
+ Total Simulation Time: 0.218401 sec
+
+ Current Memory Usage: 1135.12 Meg
+
+Wed Mar 21 17:38:26 2012
+
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/netId.dat b/isim/Test_ContdownController_isim_beh.exe.sim/netId.dat
index 71bf847..71bf847 100644..100755
--- a/isim/Test_ContdownController_isim_beh.exe.sim/netId.dat
+++ b/isim/Test_ContdownController_isim_beh.exe.sim/netId.dat
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/tmp_save/_1 b/isim/Test_ContdownController_isim_beh.exe.sim/tmp_save/_1
index 30c7155..fc419a4 100644..100755
--- a/isim/Test_ContdownController_isim_beh.exe.sim/tmp_save/_1
+++ b/isim/Test_ContdownController_isim_beh.exe.sim/tmp_save/_1
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/Test_ContdownController_isim_beh.exe_main.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/Test_ContdownController_isim_beh.exe_main.c
index c54e658..5e02839 100644..100755
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/Test_ContdownController_isim_beh.exe_main.c
+++ b/isim/Test_ContdownController_isim_beh.exe.sim/work/Test_ContdownController_isim_beh.exe_main.c
@@ -1,44 +1,44 @@
-/**********************************************************************/
-/* ____ ____ */
-/* / /\/ / */
-/* /___/ \ / */
-/* \ \ \/ */
-/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
-/* / / All Right Reserved. */
-/* /---/ /\ */
-/* \ \ / \ */
-/* \___\/\___\ */
-/***********************************************************************/
-
-#include "xsi.h"
-
-struct XSI_INFO xsi_info;
-
-
-
-int main(int argc, char **argv)
-{
- xsi_init_design(argc, argv);
- xsi_register_info(&xsi_info);
-
- xsi_register_min_prec_unit(-12);
- work_m_09461933616065074075_2531671071_init();
- work_m_06185630164696979556_3598138731_init();
- work_m_14878824473863214981_2647877144_init();
- work_m_17579661360444318263_0092613024_init();
- work_m_06453055231304268951_4281377536_init();
- work_m_14079594305330756291_2618506667_init();
- work_m_01832328269938973087_1606112044_init();
- work_m_14181161885881575918_3845763652_init();
- work_m_08578567565259243700_1151371814_init();
- work_m_09637473393135046702_3413554552_init();
- work_m_16541823861846354283_2073120511_init();
-
-
- xsi_register_tops("work_m_09637473393135046702_3413554552");
- xsi_register_tops("work_m_16541823861846354283_2073120511");
-
-
- return xsi_run_simulation(argc, argv);
-
-}
+/**********************************************************************/
+/* ____ ____ */
+/* / /\/ / */
+/* /___/ \ / */
+/* \ \ \/ */
+/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
+/* / / All Right Reserved. */
+/* /---/ /\ */
+/* \ \ / \ */
+/* \___\/\___\ */
+/***********************************************************************/
+
+#include "xsi.h"
+
+struct XSI_INFO xsi_info;
+
+
+
+int main(int argc, char **argv)
+{
+ xsi_init_design(argc, argv);
+ xsi_register_info(&xsi_info);
+
+ xsi_register_min_prec_unit(-12);
+ work_m_00000000000165860251_2531671071_init();
+ work_m_00000000002796836964_3598138731_init();
+ work_m_00000000000268523397_2647877144_init();
+ work_m_00000000003304170039_0092613024_init();
+ work_m_00000000000165543063_4281377536_init();
+ work_m_00000000002128231107_2618506667_init();
+ work_m_00000000002040420767_1606112044_init();
+ work_m_00000000002789714414_3845763652_init();
+ work_m_00000000003640066228_1151371814_init();
+ work_m_00000000001377292334_3413554552_init();
+ work_m_00000000004134447467_2073120511_init();
+
+
+ xsi_register_tops("work_m_00000000001377292334_3413554552");
+ xsi_register_tops("work_m_00000000004134447467_2073120511");
+
+
+ return xsi_run_simulation(argc, argv);
+
+}
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/Test_ContdownController_isim_beh.exe_main.lin64.o b/isim/Test_ContdownController_isim_beh.exe.sim/work/Test_ContdownController_isim_beh.exe_main.lin64.o
deleted file mode 100644
index 602f1f5..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/Test_ContdownController_isim_beh.exe_main.lin64.o
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_01832328269938973087_1606112044.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_01832328269938973087_1606112044.c
deleted file mode 100644
index e594c98..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_01832328269938973087_1606112044.c
+++ /dev/null
@@ -1,205 +0,0 @@
-/**********************************************************************/
-/* ____ ____ */
-/* / /\/ / */
-/* /___/ \ / */
-/* \ \ \/ */
-/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
-/* / / All Right Reserved. */
-/* /---/ /\ */
-/* \ \ / \ */
-/* \___\/\___\ */
-/***********************************************************************/
-
-/* This file is designed for use with ISim build 0x8ddf5b5d */
-
-#define XSI_HIDE_SYMBOL_SPEC true
-#include "xsi.h"
-#include <memory.h>
-#ifdef __GNUC__
-#include <stdlib.h>
-#else
-#include <malloc.h>
-#define alloca _alloca
-#endif
-static const char *ng0 = "/home/michael/Documents/School/EC311/lab4/SevSegDisp.v";
-static unsigned int ng1[] = {0U, 0U};
-static unsigned int ng2[] = {1U, 0U};
-static unsigned int ng3[] = {79U, 0U};
-static unsigned int ng4[] = {2U, 0U};
-static unsigned int ng5[] = {18U, 0U};
-static unsigned int ng6[] = {3U, 0U};
-static unsigned int ng7[] = {6U, 0U};
-static unsigned int ng8[] = {4U, 0U};
-static unsigned int ng9[] = {76U, 0U};
-static unsigned int ng10[] = {5U, 0U};
-static unsigned int ng11[] = {36U, 0U};
-static unsigned int ng12[] = {32U, 0U};
-static unsigned int ng13[] = {7U, 0U};
-static unsigned int ng14[] = {15U, 0U};
-static unsigned int ng15[] = {8U, 0U};
-static unsigned int ng16[] = {9U, 0U};
-static unsigned int ng17[] = {12U, 0U};
-static unsigned int ng18[] = {26U, 0U};
-
-
-
-static void Always_29_0(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- int t6;
- char *t7;
- char *t8;
-
-LAB0: t1 = (t0 + 2360U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(29, ng0);
- t2 = (t0 + 2680);
- *((int *)t2) = 1;
- t3 = (t0 + 2392);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(29, ng0);
-
-LAB5: xsi_set_current_line(30, ng0);
- t4 = (t0 + 1048U);
- t5 = *((char **)t4);
-
-LAB6: t4 = ((char*)((ng1)));
- t6 = xsi_vlog_unsigned_case_compare(t5, 4, t4, 4);
- if (t6 == 1)
- goto LAB7;
-
-LAB8: t2 = ((char*)((ng2)));
- t6 = xsi_vlog_unsigned_case_compare(t5, 4, t2, 4);
- if (t6 == 1)
- goto LAB9;
-
-LAB10: t2 = ((char*)((ng4)));
- t6 = xsi_vlog_unsigned_case_compare(t5, 4, t2, 4);
- if (t6 == 1)
- goto LAB11;
-
-LAB12: t2 = ((char*)((ng6)));
- t6 = xsi_vlog_unsigned_case_compare(t5, 4, t2, 4);
- if (t6 == 1)
- goto LAB13;
-
-LAB14: t2 = ((char*)((ng8)));
- t6 = xsi_vlog_unsigned_case_compare(t5, 4, t2, 4);
- if (t6 == 1)
- goto LAB15;
-
-LAB16: t2 = ((char*)((ng10)));
- t6 = xsi_vlog_unsigned_case_compare(t5, 4, t2, 4);
- if (t6 == 1)
- goto LAB17;
-
-LAB18: t2 = ((char*)((ng7)));
- t6 = xsi_vlog_unsigned_case_compare(t5, 4, t2, 4);
- if (t6 == 1)
- goto LAB19;
-
-LAB20: t2 = ((char*)((ng13)));
- t6 = xsi_vlog_unsigned_case_compare(t5, 4, t2, 4);
- if (t6 == 1)
- goto LAB21;
-
-LAB22: t2 = ((char*)((ng15)));
- t6 = xsi_vlog_unsigned_case_compare(t5, 4, t2, 4);
- if (t6 == 1)
- goto LAB23;
-
-LAB24: t2 = ((char*)((ng16)));
- t6 = xsi_vlog_unsigned_case_compare(t5, 4, t2, 4);
- if (t6 == 1)
- goto LAB25;
-
-LAB26:
-LAB28:
-LAB27: xsi_set_current_line(41, ng0);
- t2 = ((char*)((ng18)));
- t3 = (t0 + 1448);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 7);
-
-LAB29: goto LAB2;
-
-LAB7: xsi_set_current_line(31, ng0);
- t7 = ((char*)((ng2)));
- t8 = (t0 + 1448);
- xsi_vlogvar_assign_value(t8, t7, 0, 0, 7);
- goto LAB29;
-
-LAB9: xsi_set_current_line(32, ng0);
- t3 = ((char*)((ng3)));
- t4 = (t0 + 1448);
- xsi_vlogvar_assign_value(t4, t3, 0, 0, 7);
- goto LAB29;
-
-LAB11: xsi_set_current_line(33, ng0);
- t3 = ((char*)((ng5)));
- t4 = (t0 + 1448);
- xsi_vlogvar_assign_value(t4, t3, 0, 0, 7);
- goto LAB29;
-
-LAB13: xsi_set_current_line(34, ng0);
- t3 = ((char*)((ng7)));
- t4 = (t0 + 1448);
- xsi_vlogvar_assign_value(t4, t3, 0, 0, 7);
- goto LAB29;
-
-LAB15: xsi_set_current_line(35, ng0);
- t3 = ((char*)((ng9)));
- t4 = (t0 + 1448);
- xsi_vlogvar_assign_value(t4, t3, 0, 0, 7);
- goto LAB29;
-
-LAB17: xsi_set_current_line(36, ng0);
- t3 = ((char*)((ng11)));
- t4 = (t0 + 1448);
- xsi_vlogvar_assign_value(t4, t3, 0, 0, 7);
- goto LAB29;
-
-LAB19: xsi_set_current_line(37, ng0);
- t3 = ((char*)((ng12)));
- t4 = (t0 + 1448);
- xsi_vlogvar_assign_value(t4, t3, 0, 0, 7);
- goto LAB29;
-
-LAB21: xsi_set_current_line(38, ng0);
- t3 = ((char*)((ng14)));
- t4 = (t0 + 1448);
- xsi_vlogvar_assign_value(t4, t3, 0, 0, 7);
- goto LAB29;
-
-LAB23: xsi_set_current_line(39, ng0);
- t3 = ((char*)((ng1)));
- t4 = (t0 + 1448);
- xsi_vlogvar_assign_value(t4, t3, 0, 0, 7);
- goto LAB29;
-
-LAB25: xsi_set_current_line(40, ng0);
- t3 = ((char*)((ng17)));
- t4 = (t0 + 1448);
- xsi_vlogvar_assign_value(t4, t3, 0, 0, 7);
- goto LAB29;
-
-}
-
-
-extern void work_m_01832328269938973087_1606112044_init()
-{
- static char *pe[] = {(void *)Always_29_0};
- xsi_register_didat("work_m_01832328269938973087_1606112044", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_01832328269938973087_1606112044.didat");
- xsi_register_executes(pe);
-}
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_01832328269938973087_1606112044.didat b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_01832328269938973087_1606112044.didat
deleted file mode 100644
index a25c52c..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_01832328269938973087_1606112044.didat
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_01832328269938973087_1606112044.lin64.o b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_01832328269938973087_1606112044.lin64.o
deleted file mode 100644
index 305d62a..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_01832328269938973087_1606112044.lin64.o
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.c
deleted file mode 100644
index c798e64..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.c
+++ /dev/null
@@ -1,718 +0,0 @@
-/**********************************************************************/
-/* ____ ____ */
-/* / /\/ / */
-/* /___/ \ / */
-/* \ \ \/ */
-/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
-/* / / All Right Reserved. */
-/* /---/ /\ */
-/* \ \ / \ */
-/* \___\/\___\ */
-/***********************************************************************/
-
-/* This file is designed for use with ISim build 0x8ddf5b5d */
-
-#define XSI_HIDE_SYMBOL_SPEC true
-#include "xsi.h"
-#include <memory.h>
-#ifdef __GNUC__
-#include <stdlib.h>
-#else
-#include <malloc.h>
-#define alloca _alloca
-#endif
-static const char *ng0 = "/home/michael/Documents/School/EC311/lab4/debouncer.v";
-static int ng1[] = {1, 0};
-static int ng2[] = {0, 0};
-static unsigned int ng3[] = {100000U, 0U};
-static unsigned int ng4[] = {1U, 0U};
-
-
-
-static void Always_16_0(char *t0)
-{
- char t6[8];
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t7;
- char *t8;
- unsigned int t9;
- unsigned int t10;
- unsigned int t11;
- unsigned int t12;
- unsigned int t13;
- unsigned int t14;
- unsigned int t15;
- unsigned int t16;
- unsigned int t17;
- unsigned int t18;
- unsigned int t19;
- unsigned int t20;
- char *t21;
- char *t22;
- unsigned int t23;
- unsigned int t24;
- unsigned int t25;
- unsigned int t26;
- unsigned int t27;
- char *t28;
- char *t29;
-
-LAB0: t1 = (t0 + 3320U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(16, ng0);
- t2 = (t0 + 4136);
- *((int *)t2) = 1;
- t3 = (t0 + 3352);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(16, ng0);
-
-LAB5: xsi_set_current_line(17, ng0);
- t4 = (t0 + 1208U);
- t5 = *((char **)t4);
- t4 = ((char*)((ng1)));
- memset(t6, 0, 8);
- t7 = (t5 + 4);
- t8 = (t4 + 4);
- t9 = *((unsigned int *)t5);
- t10 = *((unsigned int *)t4);
- t11 = (t9 ^ t10);
- t12 = *((unsigned int *)t7);
- t13 = *((unsigned int *)t8);
- t14 = (t12 ^ t13);
- t15 = (t11 | t14);
- t16 = *((unsigned int *)t7);
- t17 = *((unsigned int *)t8);
- t18 = (t16 | t17);
- t19 = (~(t18));
- t20 = (t15 & t19);
- if (t20 != 0)
- goto LAB9;
-
-LAB6: if (t18 != 0)
- goto LAB8;
-
-LAB7: *((unsigned int *)t6) = 1;
-
-LAB9: t22 = (t6 + 4);
- t23 = *((unsigned int *)t22);
- t24 = (~(t23));
- t25 = *((unsigned int *)t6);
- t26 = (t25 & t24);
- t27 = (t26 != 0);
- if (t27 > 0)
- goto LAB10;
-
-LAB11: xsi_set_current_line(21, ng0);
-
-LAB14: xsi_set_current_line(22, ng0);
- t2 = (t0 + 1368U);
- t3 = *((char **)t2);
- t2 = (t0 + 2088);
- xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 1, 0LL);
- xsi_set_current_line(23, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = (t0 + 2248);
- xsi_vlogvar_wait_assign_value(t5, t4, 0, 0, 1, 0LL);
-
-LAB12: goto LAB2;
-
-LAB8: t21 = (t6 + 4);
- *((unsigned int *)t6) = 1;
- *((unsigned int *)t21) = 1;
- goto LAB9;
-
-LAB10: xsi_set_current_line(17, ng0);
-
-LAB13: xsi_set_current_line(18, ng0);
- t28 = ((char*)((ng2)));
- t29 = (t0 + 2088);
- xsi_vlogvar_wait_assign_value(t29, t28, 0, 0, 1, 0LL);
- xsi_set_current_line(19, ng0);
- t2 = ((char*)((ng2)));
- t3 = (t0 + 2248);
- xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL);
- goto LAB12;
-
-}
-
-static void Always_28_1(char *t0)
-{
- char t6[8];
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t7;
- char *t8;
- unsigned int t9;
- unsigned int t10;
- unsigned int t11;
- unsigned int t12;
- unsigned int t13;
- unsigned int t14;
- unsigned int t15;
- unsigned int t16;
- unsigned int t17;
- unsigned int t18;
- unsigned int t19;
- unsigned int t20;
- char *t21;
- char *t22;
- unsigned int t23;
- unsigned int t24;
- unsigned int t25;
- unsigned int t26;
- unsigned int t27;
- char *t28;
- char *t29;
-
-LAB0: t1 = (t0 + 3568U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(28, ng0);
- t2 = (t0 + 4152);
- *((int *)t2) = 1;
- t3 = (t0 + 3600);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(28, ng0);
-
-LAB5: xsi_set_current_line(29, ng0);
- t4 = (t0 + 1208U);
- t5 = *((char **)t4);
- t4 = ((char*)((ng1)));
- memset(t6, 0, 8);
- t7 = (t5 + 4);
- t8 = (t4 + 4);
- t9 = *((unsigned int *)t5);
- t10 = *((unsigned int *)t4);
- t11 = (t9 ^ t10);
- t12 = *((unsigned int *)t7);
- t13 = *((unsigned int *)t8);
- t14 = (t12 ^ t13);
- t15 = (t11 | t14);
- t16 = *((unsigned int *)t7);
- t17 = *((unsigned int *)t8);
- t18 = (t16 | t17);
- t19 = (~(t18));
- t20 = (t15 & t19);
- if (t20 != 0)
- goto LAB9;
-
-LAB6: if (t18 != 0)
- goto LAB8;
-
-LAB7: *((unsigned int *)t6) = 1;
-
-LAB9: t22 = (t6 + 4);
- t23 = *((unsigned int *)t22);
- t24 = (~(t23));
- t25 = *((unsigned int *)t6);
- t26 = (t25 & t24);
- t27 = (t26 != 0);
- if (t27 > 0)
- goto LAB10;
-
-LAB11: xsi_set_current_line(32, ng0);
-
-LAB14: xsi_set_current_line(33, ng0);
- t2 = (t0 + 2248);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = (t0 + 2408);
- xsi_vlogvar_wait_assign_value(t5, t4, 0, 0, 1, 0LL);
-
-LAB12: goto LAB2;
-
-LAB8: t21 = (t6 + 4);
- *((unsigned int *)t6) = 1;
- *((unsigned int *)t21) = 1;
- goto LAB9;
-
-LAB10: xsi_set_current_line(29, ng0);
-
-LAB13: xsi_set_current_line(30, ng0);
- t28 = ((char*)((ng2)));
- t29 = (t0 + 2408);
- xsi_vlogvar_wait_assign_value(t29, t28, 0, 0, 1, 0LL);
- goto LAB12;
-
-}
-
-static void Always_38_2(char *t0)
-{
- char t6[8];
- char t32[8];
- char t48[8];
- char t64[8];
- char t80[8];
- char t88[8];
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t7;
- char *t8;
- unsigned int t9;
- unsigned int t10;
- unsigned int t11;
- unsigned int t12;
- unsigned int t13;
- unsigned int t14;
- unsigned int t15;
- unsigned int t16;
- unsigned int t17;
- unsigned int t18;
- unsigned int t19;
- unsigned int t20;
- char *t21;
- char *t22;
- unsigned int t23;
- unsigned int t24;
- unsigned int t25;
- unsigned int t26;
- unsigned int t27;
- char *t28;
- char *t29;
- char *t30;
- char *t31;
- char *t33;
- char *t34;
- unsigned int t35;
- unsigned int t36;
- unsigned int t37;
- unsigned int t38;
- unsigned int t39;
- unsigned int t40;
- unsigned int t41;
- unsigned int t42;
- unsigned int t43;
- unsigned int t44;
- unsigned int t45;
- unsigned int t46;
- char *t47;
- char *t49;
- unsigned int t50;
- unsigned int t51;
- unsigned int t52;
- unsigned int t53;
- unsigned int t54;
- char *t55;
- char *t56;
- unsigned int t57;
- unsigned int t58;
- unsigned int t59;
- char *t60;
- char *t61;
- char *t62;
- char *t63;
- char *t65;
- char *t66;
- unsigned int t67;
- unsigned int t68;
- unsigned int t69;
- unsigned int t70;
- unsigned int t71;
- unsigned int t72;
- unsigned int t73;
- unsigned int t74;
- unsigned int t75;
- unsigned int t76;
- unsigned int t77;
- unsigned int t78;
- char *t79;
- char *t81;
- unsigned int t82;
- unsigned int t83;
- unsigned int t84;
- unsigned int t85;
- unsigned int t86;
- char *t87;
- unsigned int t89;
- unsigned int t90;
- unsigned int t91;
- char *t92;
- char *t93;
- char *t94;
- unsigned int t95;
- unsigned int t96;
- unsigned int t97;
- unsigned int t98;
- unsigned int t99;
- unsigned int t100;
- unsigned int t101;
- char *t102;
- char *t103;
- unsigned int t104;
- unsigned int t105;
- unsigned int t106;
- unsigned int t107;
- unsigned int t108;
- unsigned int t109;
- unsigned int t110;
- unsigned int t111;
- int t112;
- int t113;
- unsigned int t114;
- unsigned int t115;
- unsigned int t116;
- unsigned int t117;
- unsigned int t118;
- unsigned int t119;
- char *t120;
- unsigned int t121;
- unsigned int t122;
- unsigned int t123;
- unsigned int t124;
- unsigned int t125;
- char *t126;
- char *t127;
-
-LAB0: t1 = (t0 + 3816U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(38, ng0);
- t2 = (t0 + 4168);
- *((int *)t2) = 1;
- t3 = (t0 + 3848);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(38, ng0);
-
-LAB5: xsi_set_current_line(39, ng0);
- t4 = (t0 + 1208U);
- t5 = *((char **)t4);
- t4 = ((char*)((ng1)));
- memset(t6, 0, 8);
- t7 = (t5 + 4);
- t8 = (t4 + 4);
- t9 = *((unsigned int *)t5);
- t10 = *((unsigned int *)t4);
- t11 = (t9 ^ t10);
- t12 = *((unsigned int *)t7);
- t13 = *((unsigned int *)t8);
- t14 = (t12 ^ t13);
- t15 = (t11 | t14);
- t16 = *((unsigned int *)t7);
- t17 = *((unsigned int *)t8);
- t18 = (t16 | t17);
- t19 = (~(t18));
- t20 = (t15 & t19);
- if (t20 != 0)
- goto LAB9;
-
-LAB6: if (t18 != 0)
- goto LAB8;
-
-LAB7: *((unsigned int *)t6) = 1;
-
-LAB9: t22 = (t6 + 4);
- t23 = *((unsigned int *)t22);
- t24 = (~(t23));
- t25 = *((unsigned int *)t6);
- t26 = (t25 & t24);
- t27 = (t26 != 0);
- if (t27 > 0)
- goto LAB10;
-
-LAB11: xsi_set_current_line(42, ng0);
-
-LAB14: xsi_set_current_line(43, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = ((char*)((ng2)));
- memset(t6, 0, 8);
- t7 = (t4 + 4);
- t8 = (t5 + 4);
- t9 = *((unsigned int *)t4);
- t10 = *((unsigned int *)t5);
- t11 = (t9 ^ t10);
- t12 = *((unsigned int *)t7);
- t13 = *((unsigned int *)t8);
- t14 = (t12 ^ t13);
- t15 = (t11 | t14);
- t16 = *((unsigned int *)t7);
- t17 = *((unsigned int *)t8);
- t18 = (t16 | t17);
- t19 = (~(t18));
- t20 = (t15 & t19);
- if (t20 != 0)
- goto LAB18;
-
-LAB15: if (t18 != 0)
- goto LAB17;
-
-LAB16: *((unsigned int *)t6) = 1;
-
-LAB18: t22 = (t6 + 4);
- t23 = *((unsigned int *)t22);
- t24 = (~(t23));
- t25 = *((unsigned int *)t6);
- t26 = (t25 & t24);
- t27 = (t26 != 0);
- if (t27 > 0)
- goto LAB19;
-
-LAB20: xsi_set_current_line(49, ng0);
-
-LAB49: xsi_set_current_line(50, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = ((char*)((ng4)));
- memset(t6, 0, 8);
- xsi_vlog_unsigned_minus(t6, 22, t4, 22, t5, 22);
- t7 = (t0 + 1928);
- xsi_vlogvar_wait_assign_value(t7, t6, 0, 0, 22, 0LL);
- xsi_set_current_line(51, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1768);
- xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL);
-
-LAB21:
-LAB12: goto LAB2;
-
-LAB8: t21 = (t6 + 4);
- *((unsigned int *)t6) = 1;
- *((unsigned int *)t21) = 1;
- goto LAB9;
-
-LAB10: xsi_set_current_line(39, ng0);
-
-LAB13: xsi_set_current_line(40, ng0);
- t28 = ((char*)((ng2)));
- t29 = (t0 + 1928);
- xsi_vlogvar_wait_assign_value(t29, t28, 0, 0, 22, 0LL);
- goto LAB12;
-
-LAB17: t21 = (t6 + 4);
- *((unsigned int *)t6) = 1;
- *((unsigned int *)t21) = 1;
- goto LAB18;
-
-LAB19: xsi_set_current_line(43, ng0);
-
-LAB22: xsi_set_current_line(44, ng0);
- t28 = (t0 + 2248);
- t29 = (t28 + 56U);
- t30 = *((char **)t29);
- t31 = ((char*)((ng1)));
- memset(t32, 0, 8);
- t33 = (t30 + 4);
- t34 = (t31 + 4);
- t35 = *((unsigned int *)t30);
- t36 = *((unsigned int *)t31);
- t37 = (t35 ^ t36);
- t38 = *((unsigned int *)t33);
- t39 = *((unsigned int *)t34);
- t40 = (t38 ^ t39);
- t41 = (t37 | t40);
- t42 = *((unsigned int *)t33);
- t43 = *((unsigned int *)t34);
- t44 = (t42 | t43);
- t45 = (~(t44));
- t46 = (t41 & t45);
- if (t46 != 0)
- goto LAB26;
-
-LAB23: if (t44 != 0)
- goto LAB25;
-
-LAB24: *((unsigned int *)t32) = 1;
-
-LAB26: memset(t48, 0, 8);
- t49 = (t32 + 4);
- t50 = *((unsigned int *)t49);
- t51 = (~(t50));
- t52 = *((unsigned int *)t32);
- t53 = (t52 & t51);
- t54 = (t53 & 1U);
- if (t54 != 0)
- goto LAB27;
-
-LAB28: if (*((unsigned int *)t49) != 0)
- goto LAB29;
-
-LAB30: t56 = (t48 + 4);
- t57 = *((unsigned int *)t48);
- t58 = *((unsigned int *)t56);
- t59 = (t57 || t58);
- if (t59 > 0)
- goto LAB31;
-
-LAB32: memcpy(t88, t48, 8);
-
-LAB33: t120 = (t88 + 4);
- t121 = *((unsigned int *)t120);
- t122 = (~(t121));
- t123 = *((unsigned int *)t88);
- t124 = (t123 & t122);
- t125 = (t124 != 0);
- if (t125 > 0)
- goto LAB45;
-
-LAB46:
-LAB47: xsi_set_current_line(47, ng0);
- t2 = ((char*)((ng2)));
- t3 = (t0 + 1768);
- xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL);
- goto LAB21;
-
-LAB25: t47 = (t32 + 4);
- *((unsigned int *)t32) = 1;
- *((unsigned int *)t47) = 1;
- goto LAB26;
-
-LAB27: *((unsigned int *)t48) = 1;
- goto LAB30;
-
-LAB29: t55 = (t48 + 4);
- *((unsigned int *)t48) = 1;
- *((unsigned int *)t55) = 1;
- goto LAB30;
-
-LAB31: t60 = (t0 + 2408);
- t61 = (t60 + 56U);
- t62 = *((char **)t61);
- t63 = ((char*)((ng2)));
- memset(t64, 0, 8);
- t65 = (t62 + 4);
- t66 = (t63 + 4);
- t67 = *((unsigned int *)t62);
- t68 = *((unsigned int *)t63);
- t69 = (t67 ^ t68);
- t70 = *((unsigned int *)t65);
- t71 = *((unsigned int *)t66);
- t72 = (t70 ^ t71);
- t73 = (t69 | t72);
- t74 = *((unsigned int *)t65);
- t75 = *((unsigned int *)t66);
- t76 = (t74 | t75);
- t77 = (~(t76));
- t78 = (t73 & t77);
- if (t78 != 0)
- goto LAB37;
-
-LAB34: if (t76 != 0)
- goto LAB36;
-
-LAB35: *((unsigned int *)t64) = 1;
-
-LAB37: memset(t80, 0, 8);
- t81 = (t64 + 4);
- t82 = *((unsigned int *)t81);
- t83 = (~(t82));
- t84 = *((unsigned int *)t64);
- t85 = (t84 & t83);
- t86 = (t85 & 1U);
- if (t86 != 0)
- goto LAB38;
-
-LAB39: if (*((unsigned int *)t81) != 0)
- goto LAB40;
-
-LAB41: t89 = *((unsigned int *)t48);
- t90 = *((unsigned int *)t80);
- t91 = (t89 & t90);
- *((unsigned int *)t88) = t91;
- t92 = (t48 + 4);
- t93 = (t80 + 4);
- t94 = (t88 + 4);
- t95 = *((unsigned int *)t92);
- t96 = *((unsigned int *)t93);
- t97 = (t95 | t96);
- *((unsigned int *)t94) = t97;
- t98 = *((unsigned int *)t94);
- t99 = (t98 != 0);
- if (t99 == 1)
- goto LAB42;
-
-LAB43:
-LAB44: goto LAB33;
-
-LAB36: t79 = (t64 + 4);
- *((unsigned int *)t64) = 1;
- *((unsigned int *)t79) = 1;
- goto LAB37;
-
-LAB38: *((unsigned int *)t80) = 1;
- goto LAB41;
-
-LAB40: t87 = (t80 + 4);
- *((unsigned int *)t80) = 1;
- *((unsigned int *)t87) = 1;
- goto LAB41;
-
-LAB42: t100 = *((unsigned int *)t88);
- t101 = *((unsigned int *)t94);
- *((unsigned int *)t88) = (t100 | t101);
- t102 = (t48 + 4);
- t103 = (t80 + 4);
- t104 = *((unsigned int *)t48);
- t105 = (~(t104));
- t106 = *((unsigned int *)t102);
- t107 = (~(t106));
- t108 = *((unsigned int *)t80);
- t109 = (~(t108));
- t110 = *((unsigned int *)t103);
- t111 = (~(t110));
- t112 = (t105 & t107);
- t113 = (t109 & t111);
- t114 = (~(t112));
- t115 = (~(t113));
- t116 = *((unsigned int *)t94);
- *((unsigned int *)t94) = (t116 & t114);
- t117 = *((unsigned int *)t94);
- *((unsigned int *)t94) = (t117 & t115);
- t118 = *((unsigned int *)t88);
- *((unsigned int *)t88) = (t118 & t114);
- t119 = *((unsigned int *)t88);
- *((unsigned int *)t88) = (t119 & t115);
- goto LAB44;
-
-LAB45: xsi_set_current_line(44, ng0);
-
-LAB48: xsi_set_current_line(45, ng0);
- t126 = ((char*)((ng3)));
- t127 = (t0 + 1928);
- xsi_vlogvar_wait_assign_value(t127, t126, 0, 0, 22, 0LL);
- goto LAB47;
-
-}
-
-
-extern void work_m_06185630164696979556_3598138731_init()
-{
- static char *pe[] = {(void *)Always_16_0,(void *)Always_28_1,(void *)Always_38_2};
- xsi_register_didat("work_m_06185630164696979556_3598138731", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.didat");
- xsi_register_executes(pe);
-}
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.didat b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.didat
deleted file mode 100644
index 7883ad1..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.didat
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.lin64.o b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.lin64.o
deleted file mode 100644
index 9b5da10..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.lin64.o
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.c
deleted file mode 100644
index f615a15..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.c
+++ /dev/null
@@ -1,279 +0,0 @@
-/**********************************************************************/
-/* ____ ____ */
-/* / /\/ / */
-/* /___/ \ / */
-/* \ \ \/ */
-/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
-/* / / All Right Reserved. */
-/* /---/ /\ */
-/* \ \ / \ */
-/* \___\/\___\ */
-/***********************************************************************/
-
-/* This file is designed for use with ISim build 0x8ddf5b5d */
-
-#define XSI_HIDE_SYMBOL_SPEC true
-#include "xsi.h"
-#include <memory.h>
-#ifdef __GNUC__
-#include <stdlib.h>
-#else
-#include <malloc.h>
-#define alloca _alloca
-#endif
-static const char *ng0 = "/home/michael/Documents/School/EC311/lab4/Countdown.v";
-static int ng1[] = {1, 0};
-static int ng2[] = {0, 0};
-
-
-
-static void Always_32_0(char *t0)
-{
- char t4[8];
- char *t1;
- char *t2;
- char *t3;
- char *t5;
- char *t6;
- char *t7;
- char *t8;
- unsigned int t9;
- unsigned int t10;
- unsigned int t11;
- unsigned int t12;
- unsigned int t13;
- char *t14;
- char *t15;
- unsigned int t16;
- unsigned int t17;
- unsigned int t18;
- unsigned int t19;
- unsigned int t20;
- char *t21;
- char *t22;
-
-LAB0: t1 = (t0 + 3000U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(32, ng0);
- t2 = (t0 + 4064);
- *((int *)t2) = 1;
- t3 = (t0 + 3032);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(32, ng0);
-
-LAB5: xsi_set_current_line(33, ng0);
- t5 = (t0 + 2088);
- t6 = (t5 + 56U);
- t7 = *((char **)t6);
- memset(t4, 0, 8);
- t8 = (t7 + 4);
- t9 = *((unsigned int *)t8);
- t10 = (~(t9));
- t11 = *((unsigned int *)t7);
- t12 = (t11 & t10);
- t13 = (t12 & 1U);
- if (t13 != 0)
- goto LAB9;
-
-LAB7: if (*((unsigned int *)t8) == 0)
- goto LAB6;
-
-LAB8: t14 = (t4 + 4);
- *((unsigned int *)t4) = 1;
- *((unsigned int *)t14) = 1;
-
-LAB9: t15 = (t4 + 4);
- t16 = *((unsigned int *)t15);
- t17 = (~(t16));
- t18 = *((unsigned int *)t4);
- t19 = (t18 & t17);
- t20 = (t19 != 0);
- if (t20 > 0)
- goto LAB10;
-
-LAB11: xsi_set_current_line(35, ng0);
-
-LAB14: xsi_set_current_line(36, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t5 = *((char **)t3);
- t6 = (t0 + 1928);
- xsi_vlogvar_assign_value(t6, t5, 0, 0, 8);
-
-LAB12: goto LAB2;
-
-LAB6: *((unsigned int *)t4) = 1;
- goto LAB9;
-
-LAB10: xsi_set_current_line(33, ng0);
-
-LAB13: xsi_set_current_line(34, ng0);
- t21 = (t0 + 1528U);
- t22 = *((char **)t21);
- t21 = (t0 + 1928);
- xsi_vlogvar_assign_value(t21, t22, 0, 0, 8);
- goto LAB12;
-
-}
-
-static void Always_40_1(char *t0)
-{
- char t17[8];
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t6;
- char *t7;
- unsigned int t8;
- unsigned int t9;
- unsigned int t10;
- unsigned int t11;
- unsigned int t12;
- char *t13;
- char *t14;
- char *t15;
- char *t16;
- char *t18;
-
-LAB0: t1 = (t0 + 3248U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(40, ng0);
- t2 = (t0 + 4080);
- *((int *)t2) = 1;
- t3 = (t0 + 3280);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(40, ng0);
-
-LAB5: xsi_set_current_line(41, ng0);
- t4 = (t0 + 2088);
- t5 = (t4 + 56U);
- t6 = *((char **)t5);
- t7 = (t6 + 4);
- t8 = *((unsigned int *)t7);
- t9 = (~(t8));
- t10 = *((unsigned int *)t6);
- t11 = (t10 & t9);
- t12 = (t11 != 0);
- if (t12 > 0)
- goto LAB6;
-
-LAB7: xsi_set_current_line(43, ng0);
-
-LAB10: xsi_set_current_line(44, ng0);
- t2 = (t0 + 1528U);
- t3 = *((char **)t2);
- t2 = (t0 + 1928);
- xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 8, 0LL);
-
-LAB8: goto LAB2;
-
-LAB6: xsi_set_current_line(41, ng0);
-
-LAB9: xsi_set_current_line(42, ng0);
- t13 = (t0 + 1928);
- t14 = (t13 + 56U);
- t15 = *((char **)t14);
- t16 = ((char*)((ng1)));
- memset(t17, 0, 8);
- xsi_vlog_unsigned_minus(t17, 32, t15, 8, t16, 32);
- t18 = (t0 + 1928);
- xsi_vlogvar_wait_assign_value(t18, t17, 0, 0, 8, 0LL);
- goto LAB8;
-
-}
-
-static void Always_48_2(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
-
-LAB0: t1 = (t0 + 3496U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(48, ng0);
- t2 = (t0 + 4096);
- *((int *)t2) = 1;
- t3 = (t0 + 3528);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(48, ng0);
-
-LAB5: xsi_set_current_line(49, ng0);
- t4 = ((char*)((ng1)));
- t5 = (t0 + 2088);
- xsi_vlogvar_assign_value(t5, t4, 0, 0, 1);
- goto LAB2;
-
-}
-
-static void Always_52_3(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
-
-LAB0: t1 = (t0 + 3744U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(52, ng0);
- t2 = (t0 + 4112);
- *((int *)t2) = 1;
- t3 = (t0 + 3776);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(52, ng0);
-
-LAB5: xsi_set_current_line(53, ng0);
- t4 = ((char*)((ng2)));
- t5 = (t0 + 2088);
- xsi_vlogvar_assign_value(t5, t4, 0, 0, 1);
- xsi_set_current_line(54, ng0);
- t2 = ((char*)((ng2)));
- t3 = (t0 + 1928);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 8);
- goto LAB2;
-
-}
-
-
-extern void work_m_06453055231304268951_4281377536_init()
-{
- static char *pe[] = {(void *)Always_32_0,(void *)Always_40_1,(void *)Always_48_2,(void *)Always_52_3};
- xsi_register_didat("work_m_06453055231304268951_4281377536", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.didat");
- xsi_register_executes(pe);
-}
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.didat b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.didat
deleted file mode 100644
index 1597deb..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.didat
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.lin64.o b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.lin64.o
deleted file mode 100644
index 889883c..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.lin64.o
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.c
deleted file mode 100644
index e76415d..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.c
+++ /dev/null
@@ -1,192 +0,0 @@
-/**********************************************************************/
-/* ____ ____ */
-/* / /\/ / */
-/* /___/ \ / */
-/* \ \ \/ */
-/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
-/* / / All Right Reserved. */
-/* /---/ /\ */
-/* \ \ / \ */
-/* \___\/\___\ */
-/***********************************************************************/
-
-/* This file is designed for use with ISim build 0x8ddf5b5d */
-
-#define XSI_HIDE_SYMBOL_SPEC true
-#include "xsi.h"
-#include <memory.h>
-#ifdef __GNUC__
-#include <stdlib.h>
-#else
-#include <malloc.h>
-#define alloca _alloca
-#endif
-static const char *ng0 = "/home/michael/Documents/School/EC311/lab4/CountdownController.v";
-static int ng1[] = {100, 0};
-static int ng2[] = {50, 0};
-static int ng3[] = {0, 0};
-
-
-
-static void Always_75_0(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
-
-LAB0: t1 = (t0 + 6040U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(75, ng0);
- t2 = (t0 + 7352);
- *((int *)t2) = 1;
- t3 = (t0 + 6072);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(75, ng0);
-
-LAB5: xsi_set_current_line(76, ng0);
- t4 = (t0 + 1848U);
- t5 = *((char **)t4);
- t4 = (t0 + 4968);
- xsi_vlogvar_wait_assign_value(t4, t5, 0, 0, 7, 0LL);
- xsi_set_current_line(77, ng0);
- t2 = (t0 + 2008U);
- t3 = *((char **)t2);
- t2 = (t0 + 5128);
- xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 4, 0LL);
- goto LAB2;
-
-}
-
-static void implSig1_execute(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t6;
- char *t7;
-
-LAB0: t1 = (t0 + 6288U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: t2 = ((char*)((ng1)));
- t3 = (t0 + 7432);
- t4 = (t3 + 56U);
- t5 = *((char **)t4);
- t6 = (t5 + 56U);
- t7 = *((char **)t6);
- memcpy(t7, t2, 8);
- xsi_driver_vfirst_trans(t3, 0, 31);
-
-LAB1: return;
-}
-
-static void implSig2_execute(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t6;
- char *t7;
-
-LAB0: t1 = (t0 + 6536U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: t2 = ((char*)((ng1)));
- t3 = (t0 + 7496);
- t4 = (t3 + 56U);
- t5 = *((char **)t4);
- t6 = (t5 + 56U);
- t7 = *((char **)t6);
- memcpy(t7, t2, 8);
- xsi_driver_vfirst_trans(t3, 0, 31);
-
-LAB1: return;
-}
-
-static void implSig3_execute(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t6;
- char *t7;
-
-LAB0: t1 = (t0 + 6784U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: t2 = ((char*)((ng2)));
- t3 = (t0 + 7560);
- t4 = (t3 + 56U);
- t5 = *((char **)t4);
- t6 = (t5 + 56U);
- t7 = *((char **)t6);
- memcpy(t7, t2, 8);
- xsi_driver_vfirst_trans(t3, 0, 31);
-
-LAB1: return;
-}
-
-static void implSig4_execute(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t6;
- char *t7;
-
-LAB0: t1 = (t0 + 7032U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: t2 = ((char*)((ng3)));
- t3 = (t0 + 7624);
- t4 = (t3 + 56U);
- t5 = *((char **)t4);
- t6 = (t5 + 56U);
- t7 = *((char **)t6);
- memcpy(t7, t2, 8);
- xsi_driver_vfirst_trans(t3, 0, 31);
-
-LAB1: return;
-}
-
-
-extern void work_m_08578567565259243700_1151371814_init()
-{
- static char *pe[] = {(void *)Always_75_0,(void *)implSig1_execute,(void *)implSig2_execute,(void *)implSig3_execute,(void *)implSig4_execute};
- xsi_register_didat("work_m_08578567565259243700_1151371814", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.didat");
- xsi_register_executes(pe);
-}
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.didat b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.didat
deleted file mode 100644
index c085f25..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.didat
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.lin64.o b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.lin64.o
deleted file mode 100644
index 6a4750e..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.lin64.o
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c
deleted file mode 100644
index 65cbf9d..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c
+++ /dev/null
@@ -1,273 +0,0 @@
-/**********************************************************************/
-/* ____ ____ */
-/* / /\/ / */
-/* /___/ \ / */
-/* \ \ \/ */
-/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
-/* / / All Right Reserved. */
-/* /---/ /\ */
-/* \ \ / \ */
-/* \___\/\___\ */
-/***********************************************************************/
-
-/* This file is designed for use with ISim build 0x8ddf5b5d */
-
-#define XSI_HIDE_SYMBOL_SPEC true
-#include "xsi.h"
-#include <memory.h>
-#ifdef __GNUC__
-#include <stdlib.h>
-#else
-#include <malloc.h>
-#define alloca _alloca
-#endif
-static const char *ng0 = "/home/michael/Documents/School/EC311/lab4/ClockDivider.v";
-static int ng1[] = {1, 0};
-static int ng2[] = {0, 0};
-
-
-
-static void Always_31_0(char *t0)
-{
- char t6[8];
- char t30[8];
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t7;
- char *t8;
- unsigned int t9;
- unsigned int t10;
- unsigned int t11;
- unsigned int t12;
- unsigned int t13;
- unsigned int t14;
- unsigned int t15;
- unsigned int t16;
- unsigned int t17;
- unsigned int t18;
- unsigned int t19;
- unsigned int t20;
- char *t21;
- char *t22;
- unsigned int t23;
- unsigned int t24;
- unsigned int t25;
- unsigned int t26;
- unsigned int t27;
- char *t28;
- char *t29;
- char *t31;
- char *t32;
- unsigned int t33;
- unsigned int t34;
- unsigned int t35;
- unsigned int t36;
- unsigned int t37;
- char *t38;
- char *t39;
- char *t40;
- unsigned int t41;
- unsigned int t42;
- unsigned int t43;
- unsigned int t44;
- unsigned int t45;
- unsigned int t46;
- unsigned int t47;
- unsigned int t48;
- char *t49;
-
-LAB0: t1 = (t0 + 2840U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(31, ng0);
- t2 = (t0 + 3160);
- *((int *)t2) = 1;
- t3 = (t0 + 2872);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(31, ng0);
-
-LAB5: xsi_set_current_line(32, ng0);
- t4 = (t0 + 1208U);
- t5 = *((char **)t4);
- t4 = ((char*)((ng1)));
- memset(t6, 0, 8);
- t7 = (t5 + 4);
- t8 = (t4 + 4);
- t9 = *((unsigned int *)t5);
- t10 = *((unsigned int *)t4);
- t11 = (t9 ^ t10);
- t12 = *((unsigned int *)t7);
- t13 = *((unsigned int *)t8);
- t14 = (t12 ^ t13);
- t15 = (t11 | t14);
- t16 = *((unsigned int *)t7);
- t17 = *((unsigned int *)t8);
- t18 = (t16 | t17);
- t19 = (~(t18));
- t20 = (t15 & t19);
- if (t20 != 0)
- goto LAB9;
-
-LAB6: if (t18 != 0)
- goto LAB8;
-
-LAB7: *((unsigned int *)t6) = 1;
-
-LAB9: t22 = (t6 + 4);
- t23 = *((unsigned int *)t22);
- t24 = (~(t23));
- t25 = *((unsigned int *)t6);
- t26 = (t25 & t24);
- t27 = (t26 != 0);
- if (t27 > 0)
- goto LAB10;
-
-LAB11: xsi_set_current_line(35, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = (t0 + 1368U);
- t7 = *((char **)t5);
- memset(t6, 0, 8);
- t5 = (t4 + 4);
- t8 = (t7 + 4);
- t9 = *((unsigned int *)t4);
- t10 = *((unsigned int *)t7);
- t11 = (t9 ^ t10);
- t12 = *((unsigned int *)t5);
- t13 = *((unsigned int *)t8);
- t14 = (t12 ^ t13);
- t15 = (t11 | t14);
- t16 = *((unsigned int *)t5);
- t17 = *((unsigned int *)t8);
- t18 = (t16 | t17);
- t19 = (~(t18));
- t20 = (t15 & t19);
- if (t20 != 0)
- goto LAB17;
-
-LAB14: if (t18 != 0)
- goto LAB16;
-
-LAB15: *((unsigned int *)t6) = 1;
-
-LAB17: t22 = (t6 + 4);
- t23 = *((unsigned int *)t22);
- t24 = (~(t23));
- t25 = *((unsigned int *)t6);
- t26 = (t25 & t24);
- t27 = (t26 != 0);
- if (t27 > 0)
- goto LAB18;
-
-LAB19: xsi_set_current_line(38, ng0);
-
-LAB28: xsi_set_current_line(39, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = ((char*)((ng1)));
- memset(t6, 0, 8);
- xsi_vlog_unsigned_add(t6, 32, t4, 24, t5, 32);
- t7 = (t0 + 1928);
- xsi_vlogvar_assign_value(t7, t6, 0, 0, 24);
-
-LAB20:
-LAB12: goto LAB2;
-
-LAB8: t21 = (t6 + 4);
- *((unsigned int *)t6) = 1;
- *((unsigned int *)t21) = 1;
- goto LAB9;
-
-LAB10: xsi_set_current_line(32, ng0);
-
-LAB13: xsi_set_current_line(33, ng0);
- t28 = ((char*)((ng2)));
- t29 = (t0 + 1928);
- xsi_vlogvar_assign_value(t29, t28, 0, 0, 24);
- xsi_set_current_line(34, ng0);
- t2 = ((char*)((ng2)));
- t3 = (t0 + 1768);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- goto LAB12;
-
-LAB16: t21 = (t6 + 4);
- *((unsigned int *)t6) = 1;
- *((unsigned int *)t21) = 1;
- goto LAB17;
-
-LAB18: xsi_set_current_line(35, ng0);
-
-LAB21: xsi_set_current_line(36, ng0);
- t28 = (t0 + 1768);
- t29 = (t28 + 56U);
- t31 = *((char **)t29);
- memset(t30, 0, 8);
- t32 = (t31 + 4);
- t33 = *((unsigned int *)t32);
- t34 = (~(t33));
- t35 = *((unsigned int *)t31);
- t36 = (t35 & t34);
- t37 = (t36 & 1U);
- if (t37 != 0)
- goto LAB25;
-
-LAB23: if (*((unsigned int *)t32) == 0)
- goto LAB22;
-
-LAB24: t38 = (t30 + 4);
- *((unsigned int *)t30) = 1;
- *((unsigned int *)t38) = 1;
-
-LAB25: t39 = (t30 + 4);
- t40 = (t31 + 4);
- t41 = *((unsigned int *)t31);
- t42 = (~(t41));
- *((unsigned int *)t30) = t42;
- *((unsigned int *)t39) = 0;
- if (*((unsigned int *)t40) != 0)
- goto LAB27;
-
-LAB26: t47 = *((unsigned int *)t30);
- *((unsigned int *)t30) = (t47 & 1U);
- t48 = *((unsigned int *)t39);
- *((unsigned int *)t39) = (t48 & 1U);
- t49 = (t0 + 1768);
- xsi_vlogvar_assign_value(t49, t30, 0, 0, 1);
- xsi_set_current_line(37, ng0);
- t2 = ((char*)((ng2)));
- t3 = (t0 + 1928);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 24);
- goto LAB20;
-
-LAB22: *((unsigned int *)t30) = 1;
- goto LAB25;
-
-LAB27: t43 = *((unsigned int *)t30);
- t44 = *((unsigned int *)t40);
- *((unsigned int *)t30) = (t43 | t44);
- t45 = *((unsigned int *)t39);
- t46 = *((unsigned int *)t40);
- *((unsigned int *)t39) = (t45 | t46);
- goto LAB26;
-
-}
-
-
-extern void work_m_09461933616065074075_2531671071_init()
-{
- static char *pe[] = {(void *)Always_31_0};
- xsi_register_didat("work_m_09461933616065074075_2531671071", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.didat");
- xsi_register_executes(pe);
-}
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.didat b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.didat
deleted file mode 100644
index 93ffdf8..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.didat
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.lin64.o b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.lin64.o
deleted file mode 100644
index 34c2d23..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.lin64.o
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.c
deleted file mode 100644
index 938dcc2..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.c
+++ /dev/null
@@ -1,722 +0,0 @@
-/**********************************************************************/
-/* ____ ____ */
-/* / /\/ / */
-/* /___/ \ / */
-/* \ \ \/ */
-/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
-/* / / All Right Reserved. */
-/* /---/ /\ */
-/* \ \ / \ */
-/* \___\/\___\ */
-/***********************************************************************/
-
-/* This file is designed for use with ISim build 0x8ddf5b5d */
-
-#define XSI_HIDE_SYMBOL_SPEC true
-#include "xsi.h"
-#include <memory.h>
-#ifdef __GNUC__
-#include <stdlib.h>
-#else
-#include <malloc.h>
-#define alloca _alloca
-#endif
-static const char *ng0 = "/home/michael/Documents/School/EC311/lab4/Test_ContdownController.v";
-static int ng1[] = {0, 0};
-static int ng2[] = {11, 0};
-static int ng3[] = {100, 0};
-static int ng4[] = {1, 0};
-static int ng5[] = {50, 0};
-static int ng6[] = {5, 0};
-static int ng7[] = {2, 0};
-static int ng8[] = {90, 0};
-
-
-
-static void Initial_51_0(char *t0)
-{
- char t9[8];
- char t33[8];
- char *t1;
- char *t2;
- char *t3;
- unsigned int t4;
- unsigned int t5;
- unsigned int t6;
- unsigned int t7;
- unsigned int t8;
- char *t10;
- char *t11;
- char *t12;
- char *t13;
- unsigned int t14;
- unsigned int t15;
- unsigned int t16;
- unsigned int t17;
- unsigned int t18;
- char *t19;
- char *t20;
- char *t21;
- unsigned int t22;
- unsigned int t23;
- unsigned int t24;
- unsigned int t25;
- unsigned int t26;
- unsigned int t27;
- unsigned int t28;
- unsigned int t29;
- char *t30;
- char *t31;
- char *t32;
- char *t34;
-
-LAB0: t1 = (t0 + 3480U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(51, ng0);
-
-LAB4: xsi_set_current_line(53, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1608);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(54, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1768);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(55, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1928);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(56, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 2088);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(57, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 2248);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(60, ng0);
- t2 = (t0 + 3288);
- xsi_process_wait(t2, 100000LL);
- *((char **)t1) = &&LAB5;
-
-LAB1: return;
-LAB5: xsi_set_current_line(67, ng0);
-
-LAB6: t2 = ((char*)((ng2)));
- t3 = (t2 + 4);
- t4 = *((unsigned int *)t3);
- t5 = (~(t4));
- t6 = *((unsigned int *)t2);
- t7 = (t6 & t5);
- t8 = (t7 != 0);
- if (t8 > 0)
- goto LAB7;
-
-LAB8: goto LAB1;
-
-LAB7: xsi_set_current_line(67, ng0);
-
-LAB9: xsi_set_current_line(68, ng0);
- t10 = (t0 + 2088);
- t11 = (t10 + 56U);
- t12 = *((char **)t11);
- memset(t9, 0, 8);
- t13 = (t12 + 4);
- t14 = *((unsigned int *)t13);
- t15 = (~(t14));
- t16 = *((unsigned int *)t12);
- t17 = (t16 & t15);
- t18 = (t17 & 1U);
- if (t18 != 0)
- goto LAB13;
-
-LAB11: if (*((unsigned int *)t13) == 0)
- goto LAB10;
-
-LAB12: t19 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t19) = 1;
-
-LAB13: t20 = (t9 + 4);
- t21 = (t12 + 4);
- t22 = *((unsigned int *)t12);
- t23 = (~(t22));
- *((unsigned int *)t9) = t23;
- *((unsigned int *)t20) = 0;
- if (*((unsigned int *)t21) != 0)
- goto LAB15;
-
-LAB14: t28 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t28 & 1U);
- t29 = *((unsigned int *)t20);
- *((unsigned int *)t20) = (t29 & 1U);
- t30 = (t0 + 2088);
- xsi_vlogvar_assign_value(t30, t9, 0, 0, 1);
- xsi_set_current_line(68, ng0);
- t2 = (t0 + 3288);
- xsi_process_wait(t2, 1000LL);
- *((char **)t1) = &&LAB16;
- goto LAB1;
-
-LAB10: *((unsigned int *)t9) = 1;
- goto LAB13;
-
-LAB15: t24 = *((unsigned int *)t9);
- t25 = *((unsigned int *)t21);
- *((unsigned int *)t9) = (t24 | t25);
- t26 = *((unsigned int *)t20);
- t27 = *((unsigned int *)t21);
- *((unsigned int *)t20) = (t26 | t27);
- goto LAB14;
-
-LAB16: xsi_set_current_line(69, ng0);
- t2 = (t0 + 2408);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- t11 = ((char*)((ng3)));
- memset(t9, 0, 8);
- t12 = (t10 + 4);
- if (*((unsigned int *)t12) != 0)
- goto LAB18;
-
-LAB17: t13 = (t11 + 4);
- if (*((unsigned int *)t13) != 0)
- goto LAB18;
-
-LAB21: if (*((unsigned int *)t10) < *((unsigned int *)t11))
- goto LAB19;
-
-LAB20: t20 = (t9 + 4);
- t4 = *((unsigned int *)t20);
- t5 = (~(t4));
- t6 = *((unsigned int *)t9);
- t7 = (t6 & t5);
- t8 = (t7 != 0);
- if (t8 > 0)
- goto LAB22;
-
-LAB23:
-LAB24: goto LAB6;
-
-LAB18: t19 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t19) = 1;
- goto LAB20;
-
-LAB19: *((unsigned int *)t9) = 1;
- goto LAB20;
-
-LAB22: xsi_set_current_line(69, ng0);
-
-LAB25: xsi_set_current_line(70, ng0);
- t21 = (t0 + 2408);
- t30 = (t21 + 56U);
- t31 = *((char **)t30);
- t32 = ((char*)((ng4)));
- memset(t33, 0, 8);
- xsi_vlog_unsigned_add(t33, 32, t31, 32, t32, 32);
- t34 = (t0 + 2408);
- xsi_vlogvar_assign_value(t34, t33, 0, 0, 32);
- xsi_set_current_line(71, ng0);
- t2 = (t0 + 2408);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- t11 = ((char*)((ng5)));
- memset(t9, 0, 8);
- t12 = (t10 + 4);
- t13 = (t11 + 4);
- t4 = *((unsigned int *)t10);
- t5 = *((unsigned int *)t11);
- t6 = (t4 ^ t5);
- t7 = *((unsigned int *)t12);
- t8 = *((unsigned int *)t13);
- t14 = (t7 ^ t8);
- t15 = (t6 | t14);
- t16 = *((unsigned int *)t12);
- t17 = *((unsigned int *)t13);
- t18 = (t16 | t17);
- t22 = (~(t18));
- t23 = (t15 & t22);
- if (t23 != 0)
- goto LAB29;
-
-LAB26: if (t18 != 0)
- goto LAB28;
-
-LAB27: *((unsigned int *)t9) = 1;
-
-LAB29: t20 = (t9 + 4);
- t24 = *((unsigned int *)t20);
- t25 = (~(t24));
- t26 = *((unsigned int *)t9);
- t27 = (t26 & t25);
- t28 = (t27 != 0);
- if (t28 > 0)
- goto LAB30;
-
-LAB31:
-LAB32: xsi_set_current_line(85, ng0);
- t2 = (t0 + 2408);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- t11 = ((char*)((ng8)));
- memset(t9, 0, 8);
- t12 = (t10 + 4);
- t13 = (t11 + 4);
- t4 = *((unsigned int *)t10);
- t5 = *((unsigned int *)t11);
- t6 = (t4 ^ t5);
- t7 = *((unsigned int *)t12);
- t8 = *((unsigned int *)t13);
- t14 = (t7 ^ t8);
- t15 = (t6 | t14);
- t16 = *((unsigned int *)t12);
- t17 = *((unsigned int *)t13);
- t18 = (t16 | t17);
- t22 = (~(t18));
- t23 = (t15 & t22);
- if (t23 != 0)
- goto LAB83;
-
-LAB80: if (t18 != 0)
- goto LAB82;
-
-LAB81: *((unsigned int *)t9) = 1;
-
-LAB83: t20 = (t9 + 4);
- t24 = *((unsigned int *)t20);
- t25 = (~(t24));
- t26 = *((unsigned int *)t9);
- t27 = (t26 & t25);
- t28 = (t27 != 0);
- if (t28 > 0)
- goto LAB84;
-
-LAB85:
-LAB86: goto LAB24;
-
-LAB28: t19 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t19) = 1;
- goto LAB29;
-
-LAB30: xsi_set_current_line(71, ng0);
-
-LAB33: xsi_set_current_line(72, ng0);
- xsi_set_current_line(72, ng0);
- t21 = ((char*)((ng1)));
- t30 = (t0 + 2568);
- xsi_vlogvar_assign_value(t30, t21, 0, 0, 4);
-
-LAB34: t2 = (t0 + 2568);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- t11 = ((char*)((ng6)));
- memset(t9, 0, 8);
- t12 = (t10 + 4);
- if (*((unsigned int *)t12) != 0)
- goto LAB36;
-
-LAB35: t13 = (t11 + 4);
- if (*((unsigned int *)t13) != 0)
- goto LAB36;
-
-LAB39: if (*((unsigned int *)t10) < *((unsigned int *)t11))
- goto LAB37;
-
-LAB38: t20 = (t9 + 4);
- t4 = *((unsigned int *)t20);
- t5 = (~(t4));
- t6 = *((unsigned int *)t9);
- t7 = (t6 & t5);
- t8 = (t7 != 0);
- if (t8 > 0)
- goto LAB40;
-
-LAB41: xsi_set_current_line(78, ng0);
- xsi_set_current_line(78, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 2568);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
-
-LAB57: t2 = (t0 + 2568);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- t11 = ((char*)((ng7)));
- memset(t9, 0, 8);
- t12 = (t10 + 4);
- if (*((unsigned int *)t12) != 0)
- goto LAB59;
-
-LAB58: t13 = (t11 + 4);
- if (*((unsigned int *)t13) != 0)
- goto LAB59;
-
-LAB62: if (*((unsigned int *)t10) < *((unsigned int *)t11))
- goto LAB60;
-
-LAB61: t20 = (t9 + 4);
- t4 = *((unsigned int *)t20);
- t5 = (~(t4));
- t6 = *((unsigned int *)t9);
- t7 = (t6 & t5);
- t8 = (t7 != 0);
- if (t8 > 0)
- goto LAB63;
-
-LAB64: goto LAB32;
-
-LAB36: t19 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t19) = 1;
- goto LAB38;
-
-LAB37: *((unsigned int *)t9) = 1;
- goto LAB38;
-
-LAB40: xsi_set_current_line(72, ng0);
-
-LAB42: xsi_set_current_line(73, ng0);
- t21 = ((char*)((ng4)));
- t30 = (t0 + 1608);
- xsi_vlogvar_assign_value(t30, t21, 0, 0, 1);
- xsi_set_current_line(73, ng0);
- t2 = (t0 + 3288);
- xsi_process_wait(t2, 1000LL);
- *((char **)t1) = &&LAB43;
- goto LAB1;
-
-LAB43: xsi_set_current_line(74, ng0);
- t3 = (t0 + 2088);
- t10 = (t3 + 56U);
- t11 = *((char **)t10);
- memset(t9, 0, 8);
- t12 = (t11 + 4);
- t4 = *((unsigned int *)t12);
- t5 = (~(t4));
- t6 = *((unsigned int *)t11);
- t7 = (t6 & t5);
- t8 = (t7 & 1U);
- if (t8 != 0)
- goto LAB47;
-
-LAB45: if (*((unsigned int *)t12) == 0)
- goto LAB44;
-
-LAB46: t13 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t13) = 1;
-
-LAB47: t19 = (t9 + 4);
- t20 = (t11 + 4);
- t14 = *((unsigned int *)t11);
- t15 = (~(t14));
- *((unsigned int *)t9) = t15;
- *((unsigned int *)t19) = 0;
- if (*((unsigned int *)t20) != 0)
- goto LAB49;
-
-LAB48: t23 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t23 & 1U);
- t24 = *((unsigned int *)t19);
- *((unsigned int *)t19) = (t24 & 1U);
- t21 = (t0 + 2088);
- xsi_vlogvar_assign_value(t21, t9, 0, 0, 1);
- xsi_set_current_line(75, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1608);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(75, ng0);
- t2 = (t0 + 3288);
- xsi_process_wait(t2, 1000LL);
- *((char **)t1) = &&LAB50;
- goto LAB1;
-
-LAB44: *((unsigned int *)t9) = 1;
- goto LAB47;
-
-LAB49: t16 = *((unsigned int *)t9);
- t17 = *((unsigned int *)t20);
- *((unsigned int *)t9) = (t16 | t17);
- t18 = *((unsigned int *)t19);
- t22 = *((unsigned int *)t20);
- *((unsigned int *)t19) = (t18 | t22);
- goto LAB48;
-
-LAB50: xsi_set_current_line(76, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- memset(t9, 0, 8);
- t11 = (t10 + 4);
- t4 = *((unsigned int *)t11);
- t5 = (~(t4));
- t6 = *((unsigned int *)t10);
- t7 = (t6 & t5);
- t8 = (t7 & 1U);
- if (t8 != 0)
- goto LAB54;
-
-LAB52: if (*((unsigned int *)t11) == 0)
- goto LAB51;
-
-LAB53: t12 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t12) = 1;
-
-LAB54: t13 = (t9 + 4);
- t19 = (t10 + 4);
- t14 = *((unsigned int *)t10);
- t15 = (~(t14));
- *((unsigned int *)t9) = t15;
- *((unsigned int *)t13) = 0;
- if (*((unsigned int *)t19) != 0)
- goto LAB56;
-
-LAB55: t23 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t23 & 1U);
- t24 = *((unsigned int *)t13);
- *((unsigned int *)t13) = (t24 & 1U);
- t20 = (t0 + 2088);
- xsi_vlogvar_assign_value(t20, t9, 0, 0, 1);
- xsi_set_current_line(72, ng0);
- t2 = (t0 + 2568);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- t11 = ((char*)((ng4)));
- memset(t9, 0, 8);
- xsi_vlog_unsigned_add(t9, 32, t10, 4, t11, 32);
- t12 = (t0 + 2568);
- xsi_vlogvar_assign_value(t12, t9, 0, 0, 4);
- goto LAB34;
-
-LAB51: *((unsigned int *)t9) = 1;
- goto LAB54;
-
-LAB56: t16 = *((unsigned int *)t9);
- t17 = *((unsigned int *)t19);
- *((unsigned int *)t9) = (t16 | t17);
- t18 = *((unsigned int *)t13);
- t22 = *((unsigned int *)t19);
- *((unsigned int *)t13) = (t18 | t22);
- goto LAB55;
-
-LAB59: t19 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t19) = 1;
- goto LAB61;
-
-LAB60: *((unsigned int *)t9) = 1;
- goto LAB61;
-
-LAB63: xsi_set_current_line(78, ng0);
-
-LAB65: xsi_set_current_line(79, ng0);
- t21 = ((char*)((ng4)));
- t30 = (t0 + 1768);
- xsi_vlogvar_assign_value(t30, t21, 0, 0, 1);
- xsi_set_current_line(79, ng0);
- t2 = (t0 + 3288);
- xsi_process_wait(t2, 1000LL);
- *((char **)t1) = &&LAB66;
- goto LAB1;
-
-LAB66: xsi_set_current_line(80, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- memset(t9, 0, 8);
- t11 = (t10 + 4);
- t4 = *((unsigned int *)t11);
- t5 = (~(t4));
- t6 = *((unsigned int *)t10);
- t7 = (t6 & t5);
- t8 = (t7 & 1U);
- if (t8 != 0)
- goto LAB70;
-
-LAB68: if (*((unsigned int *)t11) == 0)
- goto LAB67;
-
-LAB69: t12 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t12) = 1;
-
-LAB70: t13 = (t9 + 4);
- t19 = (t10 + 4);
- t14 = *((unsigned int *)t10);
- t15 = (~(t14));
- *((unsigned int *)t9) = t15;
- *((unsigned int *)t13) = 0;
- if (*((unsigned int *)t19) != 0)
- goto LAB72;
-
-LAB71: t23 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t23 & 1U);
- t24 = *((unsigned int *)t13);
- *((unsigned int *)t13) = (t24 & 1U);
- t20 = (t0 + 2088);
- xsi_vlogvar_assign_value(t20, t9, 0, 0, 1);
- xsi_set_current_line(81, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1768);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(81, ng0);
- t2 = (t0 + 3288);
- xsi_process_wait(t2, 1000LL);
- *((char **)t1) = &&LAB73;
- goto LAB1;
-
-LAB67: *((unsigned int *)t9) = 1;
- goto LAB70;
-
-LAB72: t16 = *((unsigned int *)t9);
- t17 = *((unsigned int *)t19);
- *((unsigned int *)t9) = (t16 | t17);
- t18 = *((unsigned int *)t13);
- t22 = *((unsigned int *)t19);
- *((unsigned int *)t13) = (t18 | t22);
- goto LAB71;
-
-LAB73: xsi_set_current_line(82, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- memset(t9, 0, 8);
- t11 = (t10 + 4);
- t4 = *((unsigned int *)t11);
- t5 = (~(t4));
- t6 = *((unsigned int *)t10);
- t7 = (t6 & t5);
- t8 = (t7 & 1U);
- if (t8 != 0)
- goto LAB77;
-
-LAB75: if (*((unsigned int *)t11) == 0)
- goto LAB74;
-
-LAB76: t12 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t12) = 1;
-
-LAB77: t13 = (t9 + 4);
- t19 = (t10 + 4);
- t14 = *((unsigned int *)t10);
- t15 = (~(t14));
- *((unsigned int *)t9) = t15;
- *((unsigned int *)t13) = 0;
- if (*((unsigned int *)t19) != 0)
- goto LAB79;
-
-LAB78: t23 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t23 & 1U);
- t24 = *((unsigned int *)t13);
- *((unsigned int *)t13) = (t24 & 1U);
- t20 = (t0 + 2088);
- xsi_vlogvar_assign_value(t20, t9, 0, 0, 1);
- xsi_set_current_line(78, ng0);
- t2 = (t0 + 2568);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- t11 = ((char*)((ng4)));
- memset(t9, 0, 8);
- xsi_vlog_unsigned_add(t9, 32, t10, 4, t11, 32);
- t12 = (t0 + 2568);
- xsi_vlogvar_assign_value(t12, t9, 0, 0, 4);
- goto LAB57;
-
-LAB74: *((unsigned int *)t9) = 1;
- goto LAB77;
-
-LAB79: t16 = *((unsigned int *)t9);
- t17 = *((unsigned int *)t19);
- *((unsigned int *)t9) = (t16 | t17);
- t18 = *((unsigned int *)t13);
- t22 = *((unsigned int *)t19);
- *((unsigned int *)t13) = (t18 | t22);
- goto LAB78;
-
-LAB82: t19 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t19) = 1;
- goto LAB83;
-
-LAB84: xsi_set_current_line(85, ng0);
-
-LAB87: xsi_set_current_line(86, ng0);
- t21 = ((char*)((ng4)));
- t30 = (t0 + 1928);
- xsi_vlogvar_assign_value(t30, t21, 0, 0, 1);
- xsi_set_current_line(86, ng0);
- t2 = (t0 + 3288);
- xsi_process_wait(t2, 1000LL);
- *((char **)t1) = &&LAB88;
- goto LAB1;
-
-LAB88: xsi_set_current_line(86, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- memset(t9, 0, 8);
- t11 = (t10 + 4);
- t4 = *((unsigned int *)t11);
- t5 = (~(t4));
- t6 = *((unsigned int *)t10);
- t7 = (t6 & t5);
- t8 = (t7 & 1U);
- if (t8 != 0)
- goto LAB92;
-
-LAB90: if (*((unsigned int *)t11) == 0)
- goto LAB89;
-
-LAB91: t12 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t12) = 1;
-
-LAB92: t13 = (t9 + 4);
- t19 = (t10 + 4);
- t14 = *((unsigned int *)t10);
- t15 = (~(t14));
- *((unsigned int *)t9) = t15;
- *((unsigned int *)t13) = 0;
- if (*((unsigned int *)t19) != 0)
- goto LAB94;
-
-LAB93: t23 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t23 & 1U);
- t24 = *((unsigned int *)t13);
- *((unsigned int *)t13) = (t24 & 1U);
- t20 = (t0 + 2088);
- xsi_vlogvar_assign_value(t20, t9, 0, 0, 1);
- xsi_set_current_line(86, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1928);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- goto LAB86;
-
-LAB89: *((unsigned int *)t9) = 1;
- goto LAB92;
-
-LAB94: t16 = *((unsigned int *)t9);
- t17 = *((unsigned int *)t19);
- *((unsigned int *)t9) = (t16 | t17);
- t18 = *((unsigned int *)t13);
- t22 = *((unsigned int *)t19);
- *((unsigned int *)t13) = (t18 | t22);
- goto LAB93;
-
-}
-
-
-extern void work_m_09637473393135046702_3413554552_init()
-{
- static char *pe[] = {(void *)Initial_51_0};
- xsi_register_didat("work_m_09637473393135046702_3413554552", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.didat");
- xsi_register_executes(pe);
-}
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.didat b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.didat
deleted file mode 100644
index 9824e28..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.didat
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.lin64.o b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.lin64.o
deleted file mode 100644
index be3d391..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.lin64.o
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.c
deleted file mode 100644
index 67e2282..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.c
+++ /dev/null
@@ -1,590 +0,0 @@
-/**********************************************************************/
-/* ____ ____ */
-/* / /\/ / */
-/* /___/ \ / */
-/* \ \ \/ */
-/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
-/* / / All Right Reserved. */
-/* /---/ /\ */
-/* \ \ / \ */
-/* \___\/\___\ */
-/***********************************************************************/
-
-/* This file is designed for use with ISim build 0x8ddf5b5d */
-
-#define XSI_HIDE_SYMBOL_SPEC true
-#include "xsi.h"
-#include <memory.h>
-#ifdef __GNUC__
-#include <stdlib.h>
-#else
-#include <malloc.h>
-#define alloca _alloca
-#endif
-static const char *ng0 = "/home/michael/Documents/School/EC311/lab4/Bin2BCD.v";
-static int ng1[] = {0, 0};
-static int ng2[] = {7, 0};
-static int ng3[] = {1, 0};
-static int ng4[] = {5, 0};
-static int ng5[] = {3, 0};
-static int ng6[] = {19, 0};
-static int ng7[] = {16, 0};
-static int ng8[] = {15, 0};
-static int ng9[] = {12, 0};
-static int ng10[] = {11, 0};
-static int ng11[] = {8, 0};
-
-
-
-static void Always_32_0(char *t0)
-{
- char t6[8];
- char t20[8];
- char t28[8];
- char t38[8];
- char t40[8];
- char t41[8];
- char t42[8];
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t7;
- char *t8;
- char *t9;
- char *t10;
- char *t11;
- char *t12;
- char *t13;
- unsigned int t14;
- unsigned int t15;
- unsigned int t16;
- unsigned int t17;
- unsigned int t18;
- char *t19;
- char *t21;
- unsigned int t22;
- unsigned int t23;
- unsigned int t24;
- unsigned int t25;
- unsigned int t26;
- unsigned int t27;
- char *t29;
- char *t30;
- unsigned int t31;
- unsigned int t32;
- unsigned int t33;
- unsigned int t34;
- unsigned int t35;
- unsigned int t36;
- char *t37;
- char *t39;
- char *t43;
- char *t44;
- char *t45;
- char *t46;
- char *t47;
- char *t48;
- unsigned int t49;
- int t50;
- char *t51;
- unsigned int t52;
- int t53;
- int t54;
- char *t55;
- unsigned int t56;
- int t57;
- int t58;
- unsigned int t59;
- int t60;
- unsigned int t61;
- unsigned int t62;
- int t63;
- int t64;
-
-LAB0: t1 = (t0 + 3000U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(32, ng0);
- t2 = (t0 + 3320);
- *((int *)t2) = 1;
- t3 = (t0 + 3032);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(32, ng0);
-
-LAB5: xsi_set_current_line(33, ng0);
- t4 = ((char*)((ng1)));
- t5 = (t0 + 1768);
- xsi_vlogvar_assign_value(t5, t4, 0, 0, 4);
- xsi_set_current_line(33, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1608);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
- xsi_set_current_line(33, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1448);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
- xsi_set_current_line(34, ng0);
- t2 = (t0 + 1048U);
- t3 = *((char **)t2);
- t2 = (t0 + 1448);
- t4 = (t2 + 56U);
- t5 = *((char **)t4);
- t7 = (t0 + 1608);
- t8 = (t7 + 56U);
- t9 = *((char **)t8);
- t10 = (t0 + 1768);
- t11 = (t10 + 56U);
- t12 = *((char **)t11);
- xsi_vlogtype_concat(t6, 20, 20, 4U, t12, 4, t9, 4, t5, 4, t3, 8);
- t13 = (t0 + 1928);
- xsi_vlogvar_assign_value(t13, t6, 0, 0, 20);
- xsi_set_current_line(36, ng0);
- xsi_set_current_line(36, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 2088);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
-
-LAB6: t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = ((char*)((ng2)));
- memset(t6, 0, 8);
- t7 = (t4 + 4);
- if (*((unsigned int *)t7) != 0)
- goto LAB8;
-
-LAB7: t8 = (t5 + 4);
- if (*((unsigned int *)t8) != 0)
- goto LAB8;
-
-LAB11: if (*((unsigned int *)t4) < *((unsigned int *)t5))
- goto LAB9;
-
-LAB10: t10 = (t6 + 4);
- t14 = *((unsigned int *)t10);
- t15 = (~(t14));
- t16 = *((unsigned int *)t6);
- t17 = (t16 & t15);
- t18 = (t17 != 0);
- if (t18 > 0)
- goto LAB12;
-
-LAB13: xsi_set_current_line(49, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = ((char*)((ng3)));
- memset(t6, 0, 8);
- xsi_vlog_unsigned_lshift(t6, 20, t4, 20, t5, 32);
- t7 = (t0 + 1928);
- xsi_vlogvar_assign_value(t7, t6, 0, 0, 20);
- xsi_set_current_line(51, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- memset(t6, 0, 8);
- t5 = (t6 + 4);
- t7 = (t4 + 4);
- t14 = *((unsigned int *)t4);
- t15 = (t14 >> 16);
- *((unsigned int *)t6) = t15;
- t16 = *((unsigned int *)t7);
- t17 = (t16 >> 16);
- *((unsigned int *)t5) = t17;
- t18 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t18 & 15U);
- t22 = *((unsigned int *)t5);
- *((unsigned int *)t5) = (t22 & 15U);
- t8 = (t0 + 1768);
- xsi_vlogvar_assign_value(t8, t6, 0, 0, 4);
- xsi_set_current_line(52, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- memset(t6, 0, 8);
- t5 = (t6 + 4);
- t7 = (t4 + 4);
- t14 = *((unsigned int *)t4);
- t15 = (t14 >> 12);
- *((unsigned int *)t6) = t15;
- t16 = *((unsigned int *)t7);
- t17 = (t16 >> 12);
- *((unsigned int *)t5) = t17;
- t18 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t18 & 15U);
- t22 = *((unsigned int *)t5);
- *((unsigned int *)t5) = (t22 & 15U);
- t8 = (t0 + 1608);
- xsi_vlogvar_assign_value(t8, t6, 0, 0, 4);
- xsi_set_current_line(53, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- memset(t6, 0, 8);
- t5 = (t6 + 4);
- t7 = (t4 + 4);
- t14 = *((unsigned int *)t4);
- t15 = (t14 >> 8);
- *((unsigned int *)t6) = t15;
- t16 = *((unsigned int *)t7);
- t17 = (t16 >> 8);
- *((unsigned int *)t5) = t17;
- t18 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t18 & 15U);
- t22 = *((unsigned int *)t5);
- *((unsigned int *)t5) = (t22 & 15U);
- t8 = (t0 + 1448);
- xsi_vlogvar_assign_value(t8, t6, 0, 0, 4);
- goto LAB2;
-
-LAB8: t9 = (t6 + 4);
- *((unsigned int *)t6) = 1;
- *((unsigned int *)t9) = 1;
- goto LAB10;
-
-LAB9: *((unsigned int *)t6) = 1;
- goto LAB10;
-
-LAB12: xsi_set_current_line(36, ng0);
-
-LAB14: xsi_set_current_line(37, ng0);
- t11 = (t0 + 1928);
- t12 = (t11 + 56U);
- t13 = *((char **)t12);
- t19 = ((char*)((ng3)));
- memset(t20, 0, 8);
- xsi_vlog_unsigned_lshift(t20, 20, t13, 20, t19, 32);
- t21 = (t0 + 1928);
- xsi_vlogvar_assign_value(t21, t20, 0, 0, 20);
- xsi_set_current_line(38, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- memset(t6, 0, 8);
- t5 = (t6 + 4);
- t7 = (t4 + 4);
- t14 = *((unsigned int *)t4);
- t15 = (t14 >> 16);
- *((unsigned int *)t6) = t15;
- t16 = *((unsigned int *)t7);
- t17 = (t16 >> 16);
- *((unsigned int *)t5) = t17;
- t18 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t18 & 15U);
- t22 = *((unsigned int *)t5);
- *((unsigned int *)t5) = (t22 & 15U);
- t8 = ((char*)((ng4)));
- memset(t20, 0, 8);
- t9 = (t6 + 4);
- if (*((unsigned int *)t9) != 0)
- goto LAB16;
-
-LAB15: t10 = (t8 + 4);
- if (*((unsigned int *)t10) != 0)
- goto LAB16;
-
-LAB19: if (*((unsigned int *)t6) < *((unsigned int *)t8))
- goto LAB18;
-
-LAB17: *((unsigned int *)t20) = 1;
-
-LAB18: t12 = (t20 + 4);
- t23 = *((unsigned int *)t12);
- t24 = (~(t23));
- t25 = *((unsigned int *)t20);
- t26 = (t25 & t24);
- t27 = (t26 != 0);
- if (t27 > 0)
- goto LAB20;
-
-LAB21:
-LAB22: xsi_set_current_line(41, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- memset(t6, 0, 8);
- t5 = (t6 + 4);
- t7 = (t4 + 4);
- t14 = *((unsigned int *)t4);
- t15 = (t14 >> 12);
- *((unsigned int *)t6) = t15;
- t16 = *((unsigned int *)t7);
- t17 = (t16 >> 12);
- *((unsigned int *)t5) = t17;
- t18 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t18 & 15U);
- t22 = *((unsigned int *)t5);
- *((unsigned int *)t5) = (t22 & 15U);
- t8 = ((char*)((ng4)));
- memset(t20, 0, 8);
- t9 = (t6 + 4);
- if (*((unsigned int *)t9) != 0)
- goto LAB27;
-
-LAB26: t10 = (t8 + 4);
- if (*((unsigned int *)t10) != 0)
- goto LAB27;
-
-LAB30: if (*((unsigned int *)t6) < *((unsigned int *)t8))
- goto LAB29;
-
-LAB28: *((unsigned int *)t20) = 1;
-
-LAB29: t12 = (t20 + 4);
- t23 = *((unsigned int *)t12);
- t24 = (~(t23));
- t25 = *((unsigned int *)t20);
- t26 = (t25 & t24);
- t27 = (t26 != 0);
- if (t27 > 0)
- goto LAB31;
-
-LAB32:
-LAB33: xsi_set_current_line(44, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- memset(t6, 0, 8);
- t5 = (t6 + 4);
- t7 = (t4 + 4);
- t14 = *((unsigned int *)t4);
- t15 = (t14 >> 8);
- *((unsigned int *)t6) = t15;
- t16 = *((unsigned int *)t7);
- t17 = (t16 >> 8);
- *((unsigned int *)t5) = t17;
- t18 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t18 & 15U);
- t22 = *((unsigned int *)t5);
- *((unsigned int *)t5) = (t22 & 15U);
- t8 = ((char*)((ng4)));
- memset(t20, 0, 8);
- t9 = (t6 + 4);
- if (*((unsigned int *)t9) != 0)
- goto LAB38;
-
-LAB37: t10 = (t8 + 4);
- if (*((unsigned int *)t10) != 0)
- goto LAB38;
-
-LAB41: if (*((unsigned int *)t6) < *((unsigned int *)t8))
- goto LAB40;
-
-LAB39: *((unsigned int *)t20) = 1;
-
-LAB40: t12 = (t20 + 4);
- t23 = *((unsigned int *)t12);
- t24 = (~(t23));
- t25 = *((unsigned int *)t20);
- t26 = (t25 & t24);
- t27 = (t26 != 0);
- if (t27 > 0)
- goto LAB42;
-
-LAB43:
-LAB44: xsi_set_current_line(36, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = ((char*)((ng3)));
- memset(t6, 0, 8);
- xsi_vlog_unsigned_add(t6, 32, t4, 4, t5, 32);
- t7 = (t0 + 2088);
- xsi_vlogvar_assign_value(t7, t6, 0, 0, 4);
- goto LAB6;
-
-LAB16: t11 = (t20 + 4);
- *((unsigned int *)t20) = 1;
- *((unsigned int *)t11) = 1;
- goto LAB18;
-
-LAB20: xsi_set_current_line(38, ng0);
-
-LAB23: xsi_set_current_line(39, ng0);
- t13 = (t0 + 1928);
- t19 = (t13 + 56U);
- t21 = *((char **)t19);
- memset(t28, 0, 8);
- t29 = (t28 + 4);
- t30 = (t21 + 4);
- t31 = *((unsigned int *)t21);
- t32 = (t31 >> 16);
- *((unsigned int *)t28) = t32;
- t33 = *((unsigned int *)t30);
- t34 = (t33 >> 16);
- *((unsigned int *)t29) = t34;
- t35 = *((unsigned int *)t28);
- *((unsigned int *)t28) = (t35 & 15U);
- t36 = *((unsigned int *)t29);
- *((unsigned int *)t29) = (t36 & 15U);
- t37 = ((char*)((ng5)));
- memset(t38, 0, 8);
- xsi_vlog_unsigned_add(t38, 32, t28, 32, t37, 32);
- t39 = (t0 + 1928);
- t43 = (t0 + 1928);
- t44 = (t43 + 72U);
- t45 = *((char **)t44);
- t46 = ((char*)((ng6)));
- t47 = ((char*)((ng7)));
- xsi_vlog_convert_partindices(t40, t41, t42, ((int*)(t45)), 2, t46, 32, 1, t47, 32, 1);
- t48 = (t40 + 4);
- t49 = *((unsigned int *)t48);
- t50 = (!(t49));
- t51 = (t41 + 4);
- t52 = *((unsigned int *)t51);
- t53 = (!(t52));
- t54 = (t50 && t53);
- t55 = (t42 + 4);
- t56 = *((unsigned int *)t55);
- t57 = (!(t56));
- t58 = (t54 && t57);
- if (t58 == 1)
- goto LAB24;
-
-LAB25: goto LAB22;
-
-LAB24: t59 = *((unsigned int *)t42);
- t60 = (t59 + 0);
- t61 = *((unsigned int *)t40);
- t62 = *((unsigned int *)t41);
- t63 = (t61 - t62);
- t64 = (t63 + 1);
- xsi_vlogvar_assign_value(t39, t38, t60, *((unsigned int *)t41), t64);
- goto LAB25;
-
-LAB27: t11 = (t20 + 4);
- *((unsigned int *)t20) = 1;
- *((unsigned int *)t11) = 1;
- goto LAB29;
-
-LAB31: xsi_set_current_line(41, ng0);
-
-LAB34: xsi_set_current_line(42, ng0);
- t13 = (t0 + 1928);
- t19 = (t13 + 56U);
- t21 = *((char **)t19);
- memset(t28, 0, 8);
- t29 = (t28 + 4);
- t30 = (t21 + 4);
- t31 = *((unsigned int *)t21);
- t32 = (t31 >> 12);
- *((unsigned int *)t28) = t32;
- t33 = *((unsigned int *)t30);
- t34 = (t33 >> 12);
- *((unsigned int *)t29) = t34;
- t35 = *((unsigned int *)t28);
- *((unsigned int *)t28) = (t35 & 15U);
- t36 = *((unsigned int *)t29);
- *((unsigned int *)t29) = (t36 & 15U);
- t37 = ((char*)((ng5)));
- memset(t38, 0, 8);
- xsi_vlog_unsigned_add(t38, 32, t28, 32, t37, 32);
- t39 = (t0 + 1928);
- t43 = (t0 + 1928);
- t44 = (t43 + 72U);
- t45 = *((char **)t44);
- t46 = ((char*)((ng8)));
- t47 = ((char*)((ng9)));
- xsi_vlog_convert_partindices(t40, t41, t42, ((int*)(t45)), 2, t46, 32, 1, t47, 32, 1);
- t48 = (t40 + 4);
- t49 = *((unsigned int *)t48);
- t50 = (!(t49));
- t51 = (t41 + 4);
- t52 = *((unsigned int *)t51);
- t53 = (!(t52));
- t54 = (t50 && t53);
- t55 = (t42 + 4);
- t56 = *((unsigned int *)t55);
- t57 = (!(t56));
- t58 = (t54 && t57);
- if (t58 == 1)
- goto LAB35;
-
-LAB36: goto LAB33;
-
-LAB35: t59 = *((unsigned int *)t42);
- t60 = (t59 + 0);
- t61 = *((unsigned int *)t40);
- t62 = *((unsigned int *)t41);
- t63 = (t61 - t62);
- t64 = (t63 + 1);
- xsi_vlogvar_assign_value(t39, t38, t60, *((unsigned int *)t41), t64);
- goto LAB36;
-
-LAB38: t11 = (t20 + 4);
- *((unsigned int *)t20) = 1;
- *((unsigned int *)t11) = 1;
- goto LAB40;
-
-LAB42: xsi_set_current_line(44, ng0);
-
-LAB45: xsi_set_current_line(45, ng0);
- t13 = (t0 + 1928);
- t19 = (t13 + 56U);
- t21 = *((char **)t19);
- memset(t28, 0, 8);
- t29 = (t28 + 4);
- t30 = (t21 + 4);
- t31 = *((unsigned int *)t21);
- t32 = (t31 >> 8);
- *((unsigned int *)t28) = t32;
- t33 = *((unsigned int *)t30);
- t34 = (t33 >> 8);
- *((unsigned int *)t29) = t34;
- t35 = *((unsigned int *)t28);
- *((unsigned int *)t28) = (t35 & 15U);
- t36 = *((unsigned int *)t29);
- *((unsigned int *)t29) = (t36 & 15U);
- t37 = ((char*)((ng5)));
- memset(t38, 0, 8);
- xsi_vlog_unsigned_add(t38, 32, t28, 32, t37, 32);
- t39 = (t0 + 1928);
- t43 = (t0 + 1928);
- t44 = (t43 + 72U);
- t45 = *((char **)t44);
- t46 = ((char*)((ng10)));
- t47 = ((char*)((ng11)));
- xsi_vlog_convert_partindices(t40, t41, t42, ((int*)(t45)), 2, t46, 32, 1, t47, 32, 1);
- t48 = (t40 + 4);
- t49 = *((unsigned int *)t48);
- t50 = (!(t49));
- t51 = (t41 + 4);
- t52 = *((unsigned int *)t51);
- t53 = (!(t52));
- t54 = (t50 && t53);
- t55 = (t42 + 4);
- t56 = *((unsigned int *)t55);
- t57 = (!(t56));
- t58 = (t54 && t57);
- if (t58 == 1)
- goto LAB46;
-
-LAB47: goto LAB44;
-
-LAB46: t59 = *((unsigned int *)t42);
- t60 = (t59 + 0);
- t61 = *((unsigned int *)t40);
- t62 = *((unsigned int *)t41);
- t63 = (t61 - t62);
- t64 = (t63 + 1);
- xsi_vlogvar_assign_value(t39, t38, t60, *((unsigned int *)t41), t64);
- goto LAB47;
-
-}
-
-
-extern void work_m_14079594305330756291_2618506667_init()
-{
- static char *pe[] = {(void *)Always_32_0};
- xsi_register_didat("work_m_14079594305330756291_2618506667", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.didat");
- xsi_register_executes(pe);
-}
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.didat b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.didat
deleted file mode 100644
index ab5f612..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.didat
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.lin64.o b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.lin64.o
deleted file mode 100644
index d8618b6..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.lin64.o
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.c
deleted file mode 100644
index c8ac153..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.c
+++ /dev/null
@@ -1,249 +0,0 @@
-/**********************************************************************/
-/* ____ ____ */
-/* / /\/ / */
-/* /___/ \ / */
-/* \ \ \/ */
-/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
-/* / / All Right Reserved. */
-/* /---/ /\ */
-/* \ \ / \ */
-/* \___\/\___\ */
-/***********************************************************************/
-
-/* This file is designed for use with ISim build 0x8ddf5b5d */
-
-#define XSI_HIDE_SYMBOL_SPEC true
-#include "xsi.h"
-#include <memory.h>
-#ifdef __GNUC__
-#include <stdlib.h>
-#else
-#include <malloc.h>
-#define alloca _alloca
-#endif
-static const char *ng0 = "/home/michael/Documents/School/EC311/lab4/DisplayController.v";
-static unsigned int ng1[] = {3U, 0U};
-
-
-
-static void Always_41_0(char *t0)
-{
- char t4[8];
- char t26[8];
- char *t1;
- char *t2;
- char *t3;
- char *t5;
- char *t6;
- char *t7;
- char *t8;
- unsigned int t9;
- unsigned int t10;
- unsigned int t11;
- unsigned int t12;
- unsigned int t13;
- char *t14;
- char *t15;
- char *t16;
- unsigned int t17;
- unsigned int t18;
- unsigned int t19;
- unsigned int t20;
- unsigned int t21;
- unsigned int t22;
- unsigned int t23;
- unsigned int t24;
- char *t25;
- char *t27;
- char *t28;
-
-LAB0: t1 = (t0 + 3480U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(41, ng0);
- t2 = (t0 + 3800);
- *((int *)t2) = 1;
- t3 = (t0 + 3512);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(41, ng0);
-
-LAB5: xsi_set_current_line(42, ng0);
- t5 = (t0 + 2568);
- t6 = (t5 + 56U);
- t7 = *((char **)t6);
- memset(t4, 0, 8);
- t8 = (t7 + 4);
- t9 = *((unsigned int *)t8);
- t10 = (~(t9));
- t11 = *((unsigned int *)t7);
- t12 = (t11 & t10);
- t13 = (t12 & 1U);
- if (t13 != 0)
- goto LAB9;
-
-LAB7: if (*((unsigned int *)t8) == 0)
- goto LAB6;
-
-LAB8: t14 = (t4 + 4);
- *((unsigned int *)t4) = 1;
- *((unsigned int *)t14) = 1;
-
-LAB9: t15 = (t4 + 4);
- t16 = (t7 + 4);
- t17 = *((unsigned int *)t7);
- t18 = (~(t17));
- *((unsigned int *)t4) = t18;
- *((unsigned int *)t15) = 0;
- if (*((unsigned int *)t16) != 0)
- goto LAB11;
-
-LAB10: t23 = *((unsigned int *)t4);
- *((unsigned int *)t4) = (t23 & 1U);
- t24 = *((unsigned int *)t15);
- *((unsigned int *)t15) = (t24 & 1U);
- t25 = (t0 + 2568);
- xsi_vlogvar_wait_assign_value(t25, t4, 0, 0, 1, 0LL);
- xsi_set_current_line(43, ng0);
- t2 = (t0 + 2568);
- t3 = (t2 + 56U);
- t5 = *((char **)t3);
- memset(t26, 0, 8);
- t6 = (t5 + 4);
- t9 = *((unsigned int *)t6);
- t10 = (~(t9));
- t11 = *((unsigned int *)t5);
- t12 = (t11 & t10);
- t13 = (t12 & 1U);
- if (t13 != 0)
- goto LAB12;
-
-LAB13: if (*((unsigned int *)t6) != 0)
- goto LAB14;
-
-LAB15: t8 = (t26 + 4);
- t17 = *((unsigned int *)t26);
- t18 = *((unsigned int *)t8);
- t19 = (t17 || t18);
- if (t19 > 0)
- goto LAB16;
-
-LAB17: t20 = *((unsigned int *)t26);
- t21 = (~(t20));
- t22 = *((unsigned int *)t8);
- t23 = (t21 || t22);
- if (t23 > 0)
- goto LAB18;
-
-LAB19: if (*((unsigned int *)t8) > 0)
- goto LAB20;
-
-LAB21: if (*((unsigned int *)t26) > 0)
- goto LAB22;
-
-LAB23: memcpy(t4, t16, 8);
-
-LAB24: t14 = (t0 + 2248);
- xsi_vlogvar_wait_assign_value(t14, t4, 0, 0, 7, 0LL);
- xsi_set_current_line(44, ng0);
- t2 = (t0 + 2568);
- t3 = (t2 + 56U);
- t5 = *((char **)t3);
- memset(t26, 0, 8);
- t6 = (t5 + 4);
- t9 = *((unsigned int *)t6);
- t10 = (~(t9));
- t11 = *((unsigned int *)t5);
- t12 = (t11 & t10);
- t13 = (t12 & 1U);
- if (t13 != 0)
- goto LAB28;
-
-LAB26: if (*((unsigned int *)t6) == 0)
- goto LAB25;
-
-LAB27: t7 = (t26 + 4);
- *((unsigned int *)t26) = 1;
- *((unsigned int *)t7) = 1;
-
-LAB28: t8 = (t26 + 4);
- t14 = (t5 + 4);
- t17 = *((unsigned int *)t5);
- t18 = (~(t17));
- *((unsigned int *)t26) = t18;
- *((unsigned int *)t8) = 0;
- if (*((unsigned int *)t14) != 0)
- goto LAB30;
-
-LAB29: t23 = *((unsigned int *)t26);
- *((unsigned int *)t26) = (t23 & 1U);
- t24 = *((unsigned int *)t8);
- *((unsigned int *)t8) = (t24 & 1U);
- t15 = (t0 + 2568);
- t16 = (t15 + 56U);
- t25 = *((char **)t16);
- t27 = ((char*)((ng1)));
- xsi_vlogtype_concat(t4, 4, 4, 3U, t27, 2, t25, 1, t26, 1);
- t28 = (t0 + 2408);
- xsi_vlogvar_wait_assign_value(t28, t4, 0, 0, 4, 0LL);
- goto LAB2;
-
-LAB6: *((unsigned int *)t4) = 1;
- goto LAB9;
-
-LAB11: t19 = *((unsigned int *)t4);
- t20 = *((unsigned int *)t16);
- *((unsigned int *)t4) = (t19 | t20);
- t21 = *((unsigned int *)t15);
- t22 = *((unsigned int *)t16);
- *((unsigned int *)t15) = (t21 | t22);
- goto LAB10;
-
-LAB12: *((unsigned int *)t26) = 1;
- goto LAB15;
-
-LAB14: t7 = (t26 + 4);
- *((unsigned int *)t26) = 1;
- *((unsigned int *)t7) = 1;
- goto LAB15;
-
-LAB16: t14 = (t0 + 1688U);
- t15 = *((char **)t14);
- goto LAB17;
-
-LAB18: t14 = (t0 + 1848U);
- t16 = *((char **)t14);
- goto LAB19;
-
-LAB20: xsi_vlog_unsigned_bit_combine(t4, 7, t15, 7, t16, 7);
- goto LAB24;
-
-LAB22: memcpy(t4, t15, 8);
- goto LAB24;
-
-LAB25: *((unsigned int *)t26) = 1;
- goto LAB28;
-
-LAB30: t19 = *((unsigned int *)t26);
- t20 = *((unsigned int *)t14);
- *((unsigned int *)t26) = (t19 | t20);
- t21 = *((unsigned int *)t8);
- t22 = *((unsigned int *)t14);
- *((unsigned int *)t8) = (t21 | t22);
- goto LAB29;
-
-}
-
-
-extern void work_m_14181161885881575918_3845763652_init()
-{
- static char *pe[] = {(void *)Always_41_0};
- xsi_register_didat("work_m_14181161885881575918_3845763652", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.didat");
- xsi_register_executes(pe);
-}
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.didat b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.didat
deleted file mode 100644
index b86ca85..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.didat
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.lin64.o b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.lin64.o
deleted file mode 100644
index 52f30b3..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.lin64.o
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.c
deleted file mode 100644
index 848bccb..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.c
+++ /dev/null
@@ -1,203 +0,0 @@
-/**********************************************************************/
-/* ____ ____ */
-/* / /\/ / */
-/* /___/ \ / */
-/* \ \ \/ */
-/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
-/* / / All Right Reserved. */
-/* /---/ /\ */
-/* \ \ / \ */
-/* \___\/\___\ */
-/***********************************************************************/
-
-/* This file is designed for use with ISim build 0x8ddf5b5d */
-
-#define XSI_HIDE_SYMBOL_SPEC true
-#include "xsi.h"
-#include <memory.h>
-#ifdef __GNUC__
-#include <stdlib.h>
-#else
-#include <malloc.h>
-#define alloca _alloca
-#endif
-static const char *ng0 = "/home/michael/Documents/School/EC311/lab4/Increment.v";
-static int ng1[] = {9, 0};
-static int ng2[] = {0, 0};
-static int ng3[] = {1, 0};
-
-
-
-static void Always_28_0(char *t0)
-{
- char t4[8];
- char t5[8];
- char t10[8];
- char t46[8];
- char *t1;
- char *t2;
- char *t3;
- char *t6;
- char *t7;
- char *t8;
- char *t9;
- char *t11;
- char *t12;
- unsigned int t13;
- unsigned int t14;
- unsigned int t15;
- unsigned int t16;
- unsigned int t17;
- unsigned int t18;
- unsigned int t19;
- unsigned int t20;
- unsigned int t21;
- unsigned int t22;
- unsigned int t23;
- unsigned int t24;
- char *t25;
- char *t26;
- unsigned int t27;
- unsigned int t28;
- unsigned int t29;
- unsigned int t30;
- unsigned int t31;
- char *t32;
- char *t33;
- unsigned int t34;
- unsigned int t35;
- unsigned int t36;
- char *t37;
- unsigned int t38;
- unsigned int t39;
- unsigned int t40;
- unsigned int t41;
- char *t42;
- char *t43;
- char *t44;
- char *t45;
- char *t47;
-
-LAB0: t1 = (t0 + 2360U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(28, ng0);
- t2 = (t0 + 2680);
- *((int *)t2) = 1;
- t3 = (t0 + 2392);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(28, ng0);
-
-LAB5: xsi_set_current_line(29, ng0);
- t6 = (t0 + 1448);
- t7 = (t6 + 56U);
- t8 = *((char **)t7);
- t9 = ((char*)((ng1)));
- memset(t10, 0, 8);
- t11 = (t8 + 4);
- t12 = (t9 + 4);
- t13 = *((unsigned int *)t8);
- t14 = *((unsigned int *)t9);
- t15 = (t13 ^ t14);
- t16 = *((unsigned int *)t11);
- t17 = *((unsigned int *)t12);
- t18 = (t16 ^ t17);
- t19 = (t15 | t18);
- t20 = *((unsigned int *)t11);
- t21 = *((unsigned int *)t12);
- t22 = (t20 | t21);
- t23 = (~(t22));
- t24 = (t19 & t23);
- if (t24 != 0)
- goto LAB9;
-
-LAB6: if (t22 != 0)
- goto LAB8;
-
-LAB7: *((unsigned int *)t10) = 1;
-
-LAB9: memset(t5, 0, 8);
- t26 = (t10 + 4);
- t27 = *((unsigned int *)t26);
- t28 = (~(t27));
- t29 = *((unsigned int *)t10);
- t30 = (t29 & t28);
- t31 = (t30 & 1U);
- if (t31 != 0)
- goto LAB10;
-
-LAB11: if (*((unsigned int *)t26) != 0)
- goto LAB12;
-
-LAB13: t33 = (t5 + 4);
- t34 = *((unsigned int *)t5);
- t35 = *((unsigned int *)t33);
- t36 = (t34 || t35);
- if (t36 > 0)
- goto LAB14;
-
-LAB15: t38 = *((unsigned int *)t5);
- t39 = (~(t38));
- t40 = *((unsigned int *)t33);
- t41 = (t39 || t40);
- if (t41 > 0)
- goto LAB16;
-
-LAB17: if (*((unsigned int *)t33) > 0)
- goto LAB18;
-
-LAB19: if (*((unsigned int *)t5) > 0)
- goto LAB20;
-
-LAB21: memcpy(t4, t46, 8);
-
-LAB22: t47 = (t0 + 1448);
- xsi_vlogvar_assign_value(t47, t4, 0, 0, 4);
- goto LAB2;
-
-LAB8: t25 = (t10 + 4);
- *((unsigned int *)t10) = 1;
- *((unsigned int *)t25) = 1;
- goto LAB9;
-
-LAB10: *((unsigned int *)t5) = 1;
- goto LAB13;
-
-LAB12: t32 = (t5 + 4);
- *((unsigned int *)t5) = 1;
- *((unsigned int *)t32) = 1;
- goto LAB13;
-
-LAB14: t37 = ((char*)((ng2)));
- goto LAB15;
-
-LAB16: t42 = (t0 + 1448);
- t43 = (t42 + 56U);
- t44 = *((char **)t43);
- t45 = ((char*)((ng3)));
- memset(t46, 0, 8);
- xsi_vlog_unsigned_add(t46, 32, t44, 4, t45, 32);
- goto LAB17;
-
-LAB18: xsi_vlog_unsigned_bit_combine(t4, 32, t37, 32, t46, 32);
- goto LAB22;
-
-LAB20: memcpy(t4, t37, 8);
- goto LAB22;
-
-}
-
-
-extern void work_m_14878824473863214981_2647877144_init()
-{
- static char *pe[] = {(void *)Always_28_0};
- xsi_register_didat("work_m_14878824473863214981_2647877144", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.didat");
- xsi_register_executes(pe);
-}
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.didat b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.didat
deleted file mode 100644
index 1af083e..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.didat
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.lin64.o b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.lin64.o
deleted file mode 100644
index 18e78cf..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.lin64.o
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.c
deleted file mode 100644
index 960761b..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.c
+++ /dev/null
@@ -1,337 +0,0 @@
-/**********************************************************************/
-/* ____ ____ */
-/* / /\/ / */
-/* /___/ \ / */
-/* \ \ \/ */
-/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
-/* / / All Right Reserved. */
-/* /---/ /\ */
-/* \ \ / \ */
-/* \___\/\___\ */
-/***********************************************************************/
-
-/* This file is designed for use with ISim build 0x8ddf5b5d */
-
-#define XSI_HIDE_SYMBOL_SPEC true
-#include "xsi.h"
-#include <memory.h>
-#ifdef __GNUC__
-#include <stdlib.h>
-#else
-#include <malloc.h>
-#define alloca _alloca
-#endif
-static const char *ng0 = "/home/michael/opt/Xilinx/13.4/ISE_DS/ISE/verilog/src/glbl.v";
-static unsigned int ng1[] = {1U, 0U};
-static unsigned int ng2[] = {0U, 0U};
-
-
-
-static void NetDecl_16_0(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t6;
- char *t7;
- unsigned int t8;
- unsigned int t9;
- char *t10;
- unsigned int t11;
- unsigned int t12;
- char *t13;
- unsigned int t14;
- unsigned int t15;
- char *t16;
-
-LAB0: t1 = (t0 + 6952U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(16, ng0);
- t2 = (t0 + 1960U);
- t3 = *((char **)t2);
- t2 = (t0 + 8640);
- t4 = (t2 + 56U);
- t5 = *((char **)t4);
- t6 = (t5 + 56U);
- t7 = *((char **)t6);
- memset(t7, 0, 8);
- t8 = 1U;
- t9 = t8;
- t10 = (t3 + 4);
- t11 = *((unsigned int *)t3);
- t8 = (t8 & t11);
- t12 = *((unsigned int *)t10);
- t9 = (t9 & t12);
- t13 = (t7 + 4);
- t14 = *((unsigned int *)t7);
- *((unsigned int *)t7) = (t14 | t8);
- t15 = *((unsigned int *)t13);
- *((unsigned int *)t13) = (t15 | t9);
- xsi_driver_vfirst_trans(t2, 0, 0U);
- t16 = (t0 + 8512);
- *((int *)t16) = 1;
-
-LAB1: return;
-}
-
-static void Cont_48_1(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t6;
- char *t7;
- char *t8;
- char *t9;
- unsigned int t10;
- unsigned int t11;
- char *t12;
- unsigned int t13;
- unsigned int t14;
- char *t15;
- unsigned int t16;
- unsigned int t17;
- char *t18;
-
-LAB0: t1 = (t0 + 7200U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(48, ng0);
- t2 = (t0 + 3640);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = (t0 + 8704);
- t6 = (t5 + 56U);
- t7 = *((char **)t6);
- t8 = (t7 + 56U);
- t9 = *((char **)t8);
- memset(t9, 0, 8);
- t10 = 1U;
- t11 = t10;
- t12 = (t4 + 4);
- t13 = *((unsigned int *)t4);
- t10 = (t10 & t13);
- t14 = *((unsigned int *)t12);
- t11 = (t11 & t14);
- t15 = (t9 + 4);
- t16 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t16 | t10);
- t17 = *((unsigned int *)t15);
- *((unsigned int *)t15) = (t17 | t11);
- xsi_driver_vfirst_trans(t5, 0, 0);
- t18 = (t0 + 8528);
- *((int *)t18) = 1;
-
-LAB1: return;
-}
-
-static void Cont_49_2(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t6;
- char *t7;
- char *t8;
- char *t9;
- unsigned int t10;
- unsigned int t11;
- char *t12;
- unsigned int t13;
- unsigned int t14;
- char *t15;
- unsigned int t16;
- unsigned int t17;
- char *t18;
-
-LAB0: t1 = (t0 + 7448U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(49, ng0);
- t2 = (t0 + 3800);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = (t0 + 8768);
- t6 = (t5 + 56U);
- t7 = *((char **)t6);
- t8 = (t7 + 56U);
- t9 = *((char **)t8);
- memset(t9, 0, 8);
- t10 = 1U;
- t11 = t10;
- t12 = (t4 + 4);
- t13 = *((unsigned int *)t4);
- t10 = (t10 & t13);
- t14 = *((unsigned int *)t12);
- t11 = (t11 & t14);
- t15 = (t9 + 4);
- t16 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t16 | t10);
- t17 = *((unsigned int *)t15);
- *((unsigned int *)t15) = (t17 | t11);
- xsi_driver_vfirst_trans(t5, 0, 0);
- t18 = (t0 + 8544);
- *((int *)t18) = 1;
-
-LAB1: return;
-}
-
-static void Cont_50_3(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
- char *t5;
- char *t6;
- char *t7;
- char *t8;
- char *t9;
- unsigned int t10;
- unsigned int t11;
- char *t12;
- unsigned int t13;
- unsigned int t14;
- char *t15;
- unsigned int t16;
- unsigned int t17;
- char *t18;
-
-LAB0: t1 = (t0 + 7696U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(50, ng0);
- t2 = (t0 + 3960);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = (t0 + 8832);
- t6 = (t5 + 56U);
- t7 = *((char **)t6);
- t8 = (t7 + 56U);
- t9 = *((char **)t8);
- memset(t9, 0, 8);
- t10 = 1U;
- t11 = t10;
- t12 = (t4 + 4);
- t13 = *((unsigned int *)t4);
- t10 = (t10 & t13);
- t14 = *((unsigned int *)t12);
- t11 = (t11 & t14);
- t15 = (t9 + 4);
- t16 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t16 | t10);
- t17 = *((unsigned int *)t15);
- *((unsigned int *)t15) = (t17 | t11);
- xsi_driver_vfirst_trans(t5, 0, 0);
- t18 = (t0 + 8560);
- *((int *)t18) = 1;
-
-LAB1: return;
-}
-
-static void Initial_52_4(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
-
-LAB0: t1 = (t0 + 7944U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(52, ng0);
-
-LAB4: xsi_set_current_line(53, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 3640);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(54, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 3960);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(55, ng0);
- t2 = (t0 + 7752);
- xsi_process_wait(t2, 100000LL);
- *((char **)t1) = &&LAB5;
-
-LAB1: return;
-LAB5: xsi_set_current_line(56, ng0);
- t3 = ((char*)((ng2)));
- t4 = (t0 + 3640);
- xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);
- xsi_set_current_line(57, ng0);
- t2 = ((char*)((ng2)));
- t3 = (t0 + 3960);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- goto LAB1;
-
-}
-
-static void Initial_60_5(char *t0)
-{
- char *t1;
- char *t2;
- char *t3;
- char *t4;
-
-LAB0: t1 = (t0 + 8192U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(60, ng0);
-
-LAB4: xsi_set_current_line(61, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 3800);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(62, ng0);
- t2 = (t0 + 8000);
- xsi_process_wait(t2, 0LL);
- *((char **)t1) = &&LAB5;
-
-LAB1: return;
-LAB5: xsi_set_current_line(63, ng0);
- t3 = ((char*)((ng2)));
- t4 = (t0 + 3800);
- xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);
- goto LAB1;
-
-}
-
-
-extern void work_m_16541823861846354283_2073120511_init()
-{
- static char *pe[] = {(void *)NetDecl_16_0,(void *)Cont_48_1,(void *)Cont_49_2,(void *)Cont_50_3,(void *)Initial_52_4,(void *)Initial_60_5};
- xsi_register_didat("work_m_16541823861846354283_2073120511", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.didat");
- xsi_register_executes(pe);
-}
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.didat b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.didat
deleted file mode 100644
index 542d5ed..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.didat
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.lin64.o b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.lin64.o
deleted file mode 100644
index b79f2d7..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.lin64.o
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.c
deleted file mode 100644
index dd4c38d..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.c
+++ /dev/null
@@ -1,538 +0,0 @@
-/**********************************************************************/
-/* ____ ____ */
-/* / /\/ / */
-/* /___/ \ / */
-/* \ \ \/ */
-/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
-/* / / All Right Reserved. */
-/* /---/ /\ */
-/* \ \ / \ */
-/* \___\/\___\ */
-/***********************************************************************/
-
-/* This file is designed for use with ISim build 0x8ddf5b5d */
-
-#define XSI_HIDE_SYMBOL_SPEC true
-#include "xsi.h"
-#include <memory.h>
-#ifdef __GNUC__
-#include <stdlib.h>
-#else
-#include <malloc.h>
-#define alloca _alloca
-#endif
-static const char *ng0 = "/home/michael/Documents/School/EC311/lab4/BCD2Bin.v";
-static int ng1[] = {0, 0};
-static int ng2[] = {7, 0};
-static int ng3[] = {1, 0};
-static int ng4[] = {5, 0};
-static int ng5[] = {3, 0};
-static int ng6[] = {19, 0};
-static int ng7[] = {16, 0};
-static int ng8[] = {15, 0};
-static int ng9[] = {12, 0};
-static int ng10[] = {11, 0};
-static int ng11[] = {8, 0};
-
-
-
-static void Always_33_0(char *t0)
-{
- char t4[8];
- char t20[8];
- char t28[8];
- char t38[8];
- char t40[8];
- char t41[8];
- char t42[8];
- char *t1;
- char *t2;
- char *t3;
- char *t5;
- char *t6;
- char *t7;
- char *t8;
- char *t9;
- char *t10;
- char *t11;
- unsigned int t12;
- unsigned int t13;
- unsigned int t14;
- unsigned int t15;
- unsigned int t16;
- char *t17;
- char *t18;
- char *t19;
- char *t21;
- unsigned int t22;
- unsigned int t23;
- unsigned int t24;
- unsigned int t25;
- unsigned int t26;
- unsigned int t27;
- char *t29;
- char *t30;
- unsigned int t31;
- unsigned int t32;
- unsigned int t33;
- unsigned int t34;
- unsigned int t35;
- unsigned int t36;
- char *t37;
- char *t39;
- char *t43;
- char *t44;
- char *t45;
- char *t46;
- char *t47;
- char *t48;
- unsigned int t49;
- int t50;
- char *t51;
- unsigned int t52;
- int t53;
- int t54;
- char *t55;
- unsigned int t56;
- int t57;
- int t58;
- unsigned int t59;
- int t60;
- unsigned int t61;
- unsigned int t62;
- int t63;
- int t64;
-
-LAB0: t1 = (t0 + 3000U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(33, ng0);
- t2 = (t0 + 3320);
- *((int *)t2) = 1;
- t3 = (t0 + 3032);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(33, ng0);
-
-LAB5: xsi_set_current_line(35, ng0);
- t5 = (t0 + 1768);
- t6 = (t5 + 56U);
- t7 = *((char **)t6);
- t8 = (t0 + 1368U);
- t9 = *((char **)t8);
- t8 = (t0 + 1208U);
- t10 = *((char **)t8);
- t8 = (t0 + 1048U);
- t11 = *((char **)t8);
- xsi_vlogtype_concat(t4, 20, 20, 4U, t11, 4, t10, 4, t9, 4, t7, 8);
- t8 = (t0 + 2088);
- xsi_vlogvar_assign_value(t8, t4, 0, 0, 20);
- xsi_set_current_line(39, ng0);
- xsi_set_current_line(39, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1928);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 3);
-
-LAB6: t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t5 = *((char **)t3);
- t6 = ((char*)((ng2)));
- memset(t4, 0, 8);
- t7 = (t5 + 4);
- if (*((unsigned int *)t7) != 0)
- goto LAB8;
-
-LAB7: t8 = (t6 + 4);
- if (*((unsigned int *)t8) != 0)
- goto LAB8;
-
-LAB11: if (*((unsigned int *)t5) < *((unsigned int *)t6))
- goto LAB9;
-
-LAB10: t10 = (t4 + 4);
- t12 = *((unsigned int *)t10);
- t13 = (~(t12));
- t14 = *((unsigned int *)t4);
- t15 = (t14 & t13);
- t16 = (t15 != 0);
- if (t16 > 0)
- goto LAB12;
-
-LAB13: xsi_set_current_line(52, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t5 = *((char **)t3);
- t6 = ((char*)((ng3)));
- memset(t4, 0, 8);
- xsi_vlog_unsigned_rshift(t4, 20, t5, 20, t6, 32);
- t7 = (t0 + 2088);
- xsi_vlogvar_assign_value(t7, t4, 0, 0, 20);
- xsi_set_current_line(54, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t5 = *((char **)t3);
- memset(t4, 0, 8);
- t6 = (t4 + 4);
- t7 = (t5 + 4);
- t12 = *((unsigned int *)t5);
- t13 = (t12 >> 0);
- *((unsigned int *)t4) = t13;
- t14 = *((unsigned int *)t7);
- t15 = (t14 >> 0);
- *((unsigned int *)t6) = t15;
- t16 = *((unsigned int *)t4);
- *((unsigned int *)t4) = (t16 & 255U);
- t22 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t22 & 255U);
- t8 = (t0 + 1768);
- xsi_vlogvar_assign_value(t8, t4, 0, 0, 8);
- goto LAB2;
-
-LAB8: t9 = (t4 + 4);
- *((unsigned int *)t4) = 1;
- *((unsigned int *)t9) = 1;
- goto LAB10;
-
-LAB9: *((unsigned int *)t4) = 1;
- goto LAB10;
-
-LAB12: xsi_set_current_line(39, ng0);
-
-LAB14: xsi_set_current_line(40, ng0);
- t11 = (t0 + 2088);
- t17 = (t11 + 56U);
- t18 = *((char **)t17);
- t19 = ((char*)((ng3)));
- memset(t20, 0, 8);
- xsi_vlog_unsigned_rshift(t20, 20, t18, 20, t19, 32);
- t21 = (t0 + 2088);
- xsi_vlogvar_assign_value(t21, t20, 0, 0, 20);
- xsi_set_current_line(41, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t5 = *((char **)t3);
- memset(t4, 0, 8);
- t6 = (t4 + 4);
- t7 = (t5 + 4);
- t12 = *((unsigned int *)t5);
- t13 = (t12 >> 16);
- *((unsigned int *)t4) = t13;
- t14 = *((unsigned int *)t7);
- t15 = (t14 >> 16);
- *((unsigned int *)t6) = t15;
- t16 = *((unsigned int *)t4);
- *((unsigned int *)t4) = (t16 & 15U);
- t22 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t22 & 15U);
- t8 = ((char*)((ng4)));
- memset(t20, 0, 8);
- t9 = (t4 + 4);
- if (*((unsigned int *)t9) != 0)
- goto LAB16;
-
-LAB15: t10 = (t8 + 4);
- if (*((unsigned int *)t10) != 0)
- goto LAB16;
-
-LAB19: if (*((unsigned int *)t4) < *((unsigned int *)t8))
- goto LAB18;
-
-LAB17: *((unsigned int *)t20) = 1;
-
-LAB18: t17 = (t20 + 4);
- t23 = *((unsigned int *)t17);
- t24 = (~(t23));
- t25 = *((unsigned int *)t20);
- t26 = (t25 & t24);
- t27 = (t26 != 0);
- if (t27 > 0)
- goto LAB20;
-
-LAB21:
-LAB22: xsi_set_current_line(44, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t5 = *((char **)t3);
- memset(t4, 0, 8);
- t6 = (t4 + 4);
- t7 = (t5 + 4);
- t12 = *((unsigned int *)t5);
- t13 = (t12 >> 12);
- *((unsigned int *)t4) = t13;
- t14 = *((unsigned int *)t7);
- t15 = (t14 >> 12);
- *((unsigned int *)t6) = t15;
- t16 = *((unsigned int *)t4);
- *((unsigned int *)t4) = (t16 & 15U);
- t22 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t22 & 15U);
- t8 = ((char*)((ng4)));
- memset(t20, 0, 8);
- t9 = (t4 + 4);
- if (*((unsigned int *)t9) != 0)
- goto LAB27;
-
-LAB26: t10 = (t8 + 4);
- if (*((unsigned int *)t10) != 0)
- goto LAB27;
-
-LAB30: if (*((unsigned int *)t4) < *((unsigned int *)t8))
- goto LAB29;
-
-LAB28: *((unsigned int *)t20) = 1;
-
-LAB29: t17 = (t20 + 4);
- t23 = *((unsigned int *)t17);
- t24 = (~(t23));
- t25 = *((unsigned int *)t20);
- t26 = (t25 & t24);
- t27 = (t26 != 0);
- if (t27 > 0)
- goto LAB31;
-
-LAB32:
-LAB33: xsi_set_current_line(47, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t5 = *((char **)t3);
- memset(t4, 0, 8);
- t6 = (t4 + 4);
- t7 = (t5 + 4);
- t12 = *((unsigned int *)t5);
- t13 = (t12 >> 8);
- *((unsigned int *)t4) = t13;
- t14 = *((unsigned int *)t7);
- t15 = (t14 >> 8);
- *((unsigned int *)t6) = t15;
- t16 = *((unsigned int *)t4);
- *((unsigned int *)t4) = (t16 & 15U);
- t22 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t22 & 15U);
- t8 = ((char*)((ng4)));
- memset(t20, 0, 8);
- t9 = (t4 + 4);
- if (*((unsigned int *)t9) != 0)
- goto LAB38;
-
-LAB37: t10 = (t8 + 4);
- if (*((unsigned int *)t10) != 0)
- goto LAB38;
-
-LAB41: if (*((unsigned int *)t4) < *((unsigned int *)t8))
- goto LAB40;
-
-LAB39: *((unsigned int *)t20) = 1;
-
-LAB40: t17 = (t20 + 4);
- t23 = *((unsigned int *)t17);
- t24 = (~(t23));
- t25 = *((unsigned int *)t20);
- t26 = (t25 & t24);
- t27 = (t26 != 0);
- if (t27 > 0)
- goto LAB42;
-
-LAB43:
-LAB44: xsi_set_current_line(39, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t5 = *((char **)t3);
- t6 = ((char*)((ng3)));
- memset(t4, 0, 8);
- xsi_vlog_unsigned_add(t4, 32, t5, 3, t6, 32);
- t7 = (t0 + 1928);
- xsi_vlogvar_assign_value(t7, t4, 0, 0, 3);
- goto LAB6;
-
-LAB16: t11 = (t20 + 4);
- *((unsigned int *)t20) = 1;
- *((unsigned int *)t11) = 1;
- goto LAB18;
-
-LAB20: xsi_set_current_line(41, ng0);
-
-LAB23: xsi_set_current_line(42, ng0);
- t18 = (t0 + 2088);
- t19 = (t18 + 56U);
- t21 = *((char **)t19);
- memset(t28, 0, 8);
- t29 = (t28 + 4);
- t30 = (t21 + 4);
- t31 = *((unsigned int *)t21);
- t32 = (t31 >> 16);
- *((unsigned int *)t28) = t32;
- t33 = *((unsigned int *)t30);
- t34 = (t33 >> 16);
- *((unsigned int *)t29) = t34;
- t35 = *((unsigned int *)t28);
- *((unsigned int *)t28) = (t35 & 15U);
- t36 = *((unsigned int *)t29);
- *((unsigned int *)t29) = (t36 & 15U);
- t37 = ((char*)((ng5)));
- memset(t38, 0, 8);
- xsi_vlog_unsigned_minus(t38, 32, t28, 32, t37, 32);
- t39 = (t0 + 2088);
- t43 = (t0 + 2088);
- t44 = (t43 + 72U);
- t45 = *((char **)t44);
- t46 = ((char*)((ng6)));
- t47 = ((char*)((ng7)));
- xsi_vlog_convert_partindices(t40, t41, t42, ((int*)(t45)), 2, t46, 32, 1, t47, 32, 1);
- t48 = (t40 + 4);
- t49 = *((unsigned int *)t48);
- t50 = (!(t49));
- t51 = (t41 + 4);
- t52 = *((unsigned int *)t51);
- t53 = (!(t52));
- t54 = (t50 && t53);
- t55 = (t42 + 4);
- t56 = *((unsigned int *)t55);
- t57 = (!(t56));
- t58 = (t54 && t57);
- if (t58 == 1)
- goto LAB24;
-
-LAB25: goto LAB22;
-
-LAB24: t59 = *((unsigned int *)t42);
- t60 = (t59 + 0);
- t61 = *((unsigned int *)t40);
- t62 = *((unsigned int *)t41);
- t63 = (t61 - t62);
- t64 = (t63 + 1);
- xsi_vlogvar_assign_value(t39, t38, t60, *((unsigned int *)t41), t64);
- goto LAB25;
-
-LAB27: t11 = (t20 + 4);
- *((unsigned int *)t20) = 1;
- *((unsigned int *)t11) = 1;
- goto LAB29;
-
-LAB31: xsi_set_current_line(44, ng0);
-
-LAB34: xsi_set_current_line(45, ng0);
- t18 = (t0 + 2088);
- t19 = (t18 + 56U);
- t21 = *((char **)t19);
- memset(t28, 0, 8);
- t29 = (t28 + 4);
- t30 = (t21 + 4);
- t31 = *((unsigned int *)t21);
- t32 = (t31 >> 12);
- *((unsigned int *)t28) = t32;
- t33 = *((unsigned int *)t30);
- t34 = (t33 >> 12);
- *((unsigned int *)t29) = t34;
- t35 = *((unsigned int *)t28);
- *((unsigned int *)t28) = (t35 & 15U);
- t36 = *((unsigned int *)t29);
- *((unsigned int *)t29) = (t36 & 15U);
- t37 = ((char*)((ng5)));
- memset(t38, 0, 8);
- xsi_vlog_unsigned_minus(t38, 32, t28, 32, t37, 32);
- t39 = (t0 + 2088);
- t43 = (t0 + 2088);
- t44 = (t43 + 72U);
- t45 = *((char **)t44);
- t46 = ((char*)((ng8)));
- t47 = ((char*)((ng9)));
- xsi_vlog_convert_partindices(t40, t41, t42, ((int*)(t45)), 2, t46, 32, 1, t47, 32, 1);
- t48 = (t40 + 4);
- t49 = *((unsigned int *)t48);
- t50 = (!(t49));
- t51 = (t41 + 4);
- t52 = *((unsigned int *)t51);
- t53 = (!(t52));
- t54 = (t50 && t53);
- t55 = (t42 + 4);
- t56 = *((unsigned int *)t55);
- t57 = (!(t56));
- t58 = (t54 && t57);
- if (t58 == 1)
- goto LAB35;
-
-LAB36: goto LAB33;
-
-LAB35: t59 = *((unsigned int *)t42);
- t60 = (t59 + 0);
- t61 = *((unsigned int *)t40);
- t62 = *((unsigned int *)t41);
- t63 = (t61 - t62);
- t64 = (t63 + 1);
- xsi_vlogvar_assign_value(t39, t38, t60, *((unsigned int *)t41), t64);
- goto LAB36;
-
-LAB38: t11 = (t20 + 4);
- *((unsigned int *)t20) = 1;
- *((unsigned int *)t11) = 1;
- goto LAB40;
-
-LAB42: xsi_set_current_line(47, ng0);
-
-LAB45: xsi_set_current_line(48, ng0);
- t18 = (t0 + 2088);
- t19 = (t18 + 56U);
- t21 = *((char **)t19);
- memset(t28, 0, 8);
- t29 = (t28 + 4);
- t30 = (t21 + 4);
- t31 = *((unsigned int *)t21);
- t32 = (t31 >> 8);
- *((unsigned int *)t28) = t32;
- t33 = *((unsigned int *)t30);
- t34 = (t33 >> 8);
- *((unsigned int *)t29) = t34;
- t35 = *((unsigned int *)t28);
- *((unsigned int *)t28) = (t35 & 15U);
- t36 = *((unsigned int *)t29);
- *((unsigned int *)t29) = (t36 & 15U);
- t37 = ((char*)((ng5)));
- memset(t38, 0, 8);
- xsi_vlog_unsigned_minus(t38, 32, t28, 32, t37, 32);
- t39 = (t0 + 2088);
- t43 = (t0 + 2088);
- t44 = (t43 + 72U);
- t45 = *((char **)t44);
- t46 = ((char*)((ng10)));
- t47 = ((char*)((ng11)));
- xsi_vlog_convert_partindices(t40, t41, t42, ((int*)(t45)), 2, t46, 32, 1, t47, 32, 1);
- t48 = (t40 + 4);
- t49 = *((unsigned int *)t48);
- t50 = (!(t49));
- t51 = (t41 + 4);
- t52 = *((unsigned int *)t51);
- t53 = (!(t52));
- t54 = (t50 && t53);
- t55 = (t42 + 4);
- t56 = *((unsigned int *)t55);
- t57 = (!(t56));
- t58 = (t54 && t57);
- if (t58 == 1)
- goto LAB46;
-
-LAB47: goto LAB44;
-
-LAB46: t59 = *((unsigned int *)t42);
- t60 = (t59 + 0);
- t61 = *((unsigned int *)t40);
- t62 = *((unsigned int *)t41);
- t63 = (t61 - t62);
- t64 = (t63 + 1);
- xsi_vlogvar_assign_value(t39, t38, t60, *((unsigned int *)t41), t64);
- goto LAB47;
-
-}
-
-
-extern void work_m_17579661360444318263_0092613024_init()
-{
- static char *pe[] = {(void *)Always_33_0};
- xsi_register_didat("work_m_17579661360444318263_0092613024", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.didat");
- xsi_register_executes(pe);
-}
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.didat b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.didat
deleted file mode 100644
index 15f3a36..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.didat
+++ /dev/null
Binary files differ
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.lin64.o b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.lin64.o
deleted file mode 100644
index 44deea7..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.lin64.o
+++ /dev/null
Binary files differ
diff --git a/isim/isim_usage_statistics.html b/isim/isim_usage_statistics.html
index c994ede..b976c1d 100644
--- a/isim/isim_usage_statistics.html
+++ b/isim/isim_usage_statistics.html
@@ -1,16 +1,16 @@
-<TABLE BORDER CELLSPACING=0 WIDTH='100%'>
-<xtag-section name="ISimStatistics">
-<TR ALIGN=CENTER BGCOLOR='#99CCFF'><TD COLSPAN=1><B>ISim Statistics</B></TD></TR>
-<TR><TD><xtag-isim-property-name>Xilinx HDL Libraries Used</xtag-isim-property-name>=<xtag-isim-property-value></xtag-isim-property-value></TD></TR>
-<TR><TD><xtag-isim-property-name>Fuse Resource Usage</xtag-isim-property-name>=<xtag-isim-property-value>1610 ms, 393132 KB</xtag-isim-property-value></TD></TR>
-
-<TR><TD><xtag-isim-property-name>Total Signals</xtag-isim-property-name>=<xtag-isim-property-value>67</xtag-isim-property-value></TD></TR>
-<TR><TD><xtag-isim-property-name>Total Nets</xtag-isim-property-name>=<xtag-isim-property-value>223</xtag-isim-property-value></TD></TR>
-<TR><TD><xtag-isim-property-name>Total Blocks</xtag-isim-property-name>=<xtag-isim-property-value>16</xtag-isim-property-value></TD></TR>
-<TR><TD><xtag-isim-property-name>Total Processes</xtag-isim-property-name>=<xtag-isim-property-value>55</xtag-isim-property-value></TD></TR>
-<TR><TD><xtag-isim-property-name>Total Simulation Time</xtag-isim-property-name>=<xtag-isim-property-value>1 us</xtag-isim-property-value></TD></TR>
-<TR><TD><xtag-isim-property-name>Simulation Resource Usage</xtag-isim-property-name>=<xtag-isim-property-value>0.07 sec, 256151 KB</xtag-isim-property-value></TD></TR>
-<TR><TD><xtag-isim-property-name>Simulation Mode</xtag-isim-property-name>=<xtag-isim-property-value>gui</xtag-isim-property-value></TD></TR>
-<TR><TD><xtag-isim-property-name>Hardware CoSim</xtag-isim-property-name>=<xtag-isim-property-value>0</xtag-isim-property-value></TD></TR>
-</xtag-section>
-</TABLE>
+<TABLE BORDER CELLSPACING=0 WIDTH='100%'>
+<xtag-section name="ISimStatistics">
+<TR ALIGN=CENTER BGCOLOR='#99CCFF'><TD COLSPAN=1><B>ISim Statistics</B></TD></TR>
+<TR><TD><xtag-isim-property-name>Xilinx HDL Libraries Used</xtag-isim-property-name>=<xtag-isim-property-value></xtag-isim-property-value></TD></TR>
+<TR><TD><xtag-isim-property-name>Fuse Resource Usage</xtag-isim-property-name>=<xtag-isim-property-value>467 ms, 26940 KB</xtag-isim-property-value></TD></TR>
+
+<TR><TD><xtag-isim-property-name>Total Signals</xtag-isim-property-name>=<xtag-isim-property-value>18</xtag-isim-property-value></TD></TR>
+<TR><TD><xtag-isim-property-name>Total Nets</xtag-isim-property-name>=<xtag-isim-property-value>32</xtag-isim-property-value></TD></TR>
+<TR><TD><xtag-isim-property-name>Total Blocks</xtag-isim-property-name>=<xtag-isim-property-value>3</xtag-isim-property-value></TD></TR>
+<TR><TD><xtag-isim-property-name>Total Processes</xtag-isim-property-name>=<xtag-isim-property-value>14</xtag-isim-property-value></TD></TR>
+<TR><TD><xtag-isim-property-name>Total Simulation Time</xtag-isim-property-name>=<xtag-isim-property-value>10 us</xtag-isim-property-value></TD></TR>
+<TR><TD><xtag-isim-property-name>Simulation Resource Usage</xtag-isim-property-name>=<xtag-isim-property-value>0.140401 sec, 795467 KB</xtag-isim-property-value></TD></TR>
+<TR><TD><xtag-isim-property-name>Simulation Mode</xtag-isim-property-name>=<xtag-isim-property-value>gui</xtag-isim-property-value></TD></TR>
+<TR><TD><xtag-isim-property-name>Hardware CoSim</xtag-isim-property-name>=<xtag-isim-property-value>0</xtag-isim-property-value></TD></TR>
+</xtag-section>
+</TABLE>
diff --git a/isim/pn_info b/isim/pn_info
index c5644b4..c13701e 100644
--- a/isim/pn_info
+++ b/isim/pn_info
@@ -1 +1 @@
-13.4
+13.3
diff --git a/isim/work/@b@c@d2@bin.sdb b/isim/work/@b@c@d2@bin.sdb
deleted file mode 100644
index 5446114..0000000
--- a/isim/work/@b@c@d2@bin.sdb
+++ /dev/null
Binary files differ
diff --git a/isim/work/@bin2@b@c@d.sdb b/isim/work/@bin2@b@c@d.sdb
deleted file mode 100644
index b05009d..0000000
--- a/isim/work/@bin2@b@c@d.sdb
+++ /dev/null
Binary files differ
diff --git a/isim/work/@clock@divider.sdb b/isim/work/@clock@divider.sdb
deleted file mode 100644
index 643e0f3..0000000
--- a/isim/work/@clock@divider.sdb
+++ /dev/null
Binary files differ
diff --git a/isim/work/@countdown.sdb b/isim/work/@countdown.sdb
index 6f2fe1c..834d06e 100644..100755
--- a/isim/work/@countdown.sdb
+++ b/isim/work/@countdown.sdb
Binary files differ
diff --git a/isim/work/@countdown@controller.sdb b/isim/work/@countdown@controller.sdb
deleted file mode 100644
index 7eb46a4..0000000
--- a/isim/work/@countdown@controller.sdb
+++ /dev/null
Binary files differ
diff --git a/isim/work/@display@controller.sdb b/isim/work/@display@controller.sdb
deleted file mode 100644
index cacbd04..0000000
--- a/isim/work/@display@controller.sdb
+++ /dev/null
Binary files differ
diff --git a/isim/work/@increment.sdb b/isim/work/@increment.sdb
deleted file mode 100644
index fc0650a..0000000
--- a/isim/work/@increment.sdb
+++ /dev/null
Binary files differ
diff --git a/isim/work/@sev@seg@disp.sdb b/isim/work/@sev@seg@disp.sdb
deleted file mode 100644
index a249a35..0000000
--- a/isim/work/@sev@seg@disp.sdb
+++ /dev/null
Binary files differ
diff --git a/isim/work/@test_@contdown@controller.sdb b/isim/work/@test_@contdown@controller.sdb
deleted file mode 100644
index 6bc1184..0000000
--- a/isim/work/@test_@contdown@controller.sdb
+++ /dev/null
Binary files differ
diff --git a/isim/work/debouncer.sdb b/isim/work/debouncer.sdb
deleted file mode 100644
index dbfeaa0..0000000
--- a/isim/work/debouncer.sdb
+++ /dev/null
Binary files differ
diff --git a/isim/work/glbl.sdb b/isim/work/glbl.sdb
index cabad6c..4063c0b 100644..100755
--- a/isim/work/glbl.sdb
+++ b/isim/work/glbl.sdb
Binary files differ