diff options
| author | Michael Abed <michaelabed@gmail.com> | 2012-03-22 16:14:11 -0400 |
|---|---|---|
| committer | Michael Abed <michaelabed@gmail.com> | 2012-03-22 16:14:11 -0400 |
| commit | 11a0ed5a6e8af2e224caf1cb782829dfd8737b5e (patch) | |
| tree | 5c7aa13704d69357887328db7c4926be76858c72 /isim/Test_ContdownController_isim_beh.exe.sim | |
| parent | bab97470acd4dd09ef19b669ff6c6f933aece0f8 (diff) | |
| download | ec311-lab4-11a0ed5a6e8af2e224caf1cb782829dfd8737b5e.tar.gz ec311-lab4-11a0ed5a6e8af2e224caf1cb782829dfd8737b5e.tar.bz2 ec311-lab4-11a0ed5a6e8af2e224caf1cb782829dfd8737b5e.zip | |
updates
Diffstat (limited to 'isim/Test_ContdownController_isim_beh.exe.sim')
40 files changed, 72 insertions, 4379 deletions
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg b/isim/Test_ContdownController_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg Binary files differindex 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 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 Binary files differindex 71bf847..71bf847 100644..100755 --- a/isim/Test_ContdownController_isim_beh.exe.sim/netId.dat +++ b/isim/Test_ContdownController_isim_beh.exe.sim/netId.dat diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/tmp_save/_1 b/isim/Test_ContdownController_isim_beh.exe.sim/tmp_save/_1 Binary files differindex 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 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 Binary files differdeleted 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 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 Binary files differdeleted file mode 100644 index a25c52c..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_01832328269938973087_1606112044.didat +++ /dev/null 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 Binary files differdeleted file mode 100644 index 305d62a..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_01832328269938973087_1606112044.lin64.o +++ /dev/null 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 Binary files differdeleted file mode 100644 index 7883ad1..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.didat +++ /dev/null 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 Binary files differdeleted file mode 100644 index 9b5da10..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.lin64.o +++ /dev/null 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 Binary files differdeleted file mode 100644 index 1597deb..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.didat +++ /dev/null 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 Binary files differdeleted file mode 100644 index 889883c..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.lin64.o +++ /dev/null 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 Binary files differdeleted file mode 100644 index c085f25..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.didat +++ /dev/null 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 Binary files differdeleted file mode 100644 index 6a4750e..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.lin64.o +++ /dev/null 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 Binary files differdeleted file mode 100644 index 93ffdf8..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.didat +++ /dev/null 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 Binary files differdeleted file mode 100644 index 34c2d23..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.lin64.o +++ /dev/null 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 Binary files differdeleted file mode 100644 index 9824e28..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.didat +++ /dev/null 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 Binary files differdeleted file mode 100644 index be3d391..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.lin64.o +++ /dev/null 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 Binary files differdeleted file mode 100644 index ab5f612..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.didat +++ /dev/null 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 Binary files differdeleted file mode 100644 index d8618b6..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.lin64.o +++ /dev/null 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 Binary files differdeleted file mode 100644 index b86ca85..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.didat +++ /dev/null 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 Binary files differdeleted file mode 100644 index 52f30b3..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.lin64.o +++ /dev/null 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 Binary files differdeleted file mode 100644 index 1af083e..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.didat +++ /dev/null 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 Binary files differdeleted file mode 100644 index 18e78cf..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.lin64.o +++ /dev/null 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 Binary files differdeleted file mode 100644 index 542d5ed..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.didat +++ /dev/null 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 Binary files differdeleted file mode 100644 index b79f2d7..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.lin64.o +++ /dev/null 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 Binary files differdeleted file mode 100644 index 15f3a36..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.didat +++ /dev/null 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 Binary files differdeleted file mode 100644 index 44deea7..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.lin64.o +++ /dev/null |