summaryrefslogtreecommitdiff
path: root/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c
diff options
context:
space:
mode:
Diffstat (limited to 'isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c')
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c273
1 files changed, 0 insertions, 273 deletions
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);
-}