summaryrefslogtreecommitdiff
path: root/isim/TEST_Detector_isim_beh.exe.sim/work/m_13872111861810629931_1087962131.c
diff options
context:
space:
mode:
Diffstat (limited to 'isim/TEST_Detector_isim_beh.exe.sim/work/m_13872111861810629931_1087962131.c')
-rw-r--r--isim/TEST_Detector_isim_beh.exe.sim/work/m_13872111861810629931_1087962131.c547
1 files changed, 547 insertions, 0 deletions
diff --git a/isim/TEST_Detector_isim_beh.exe.sim/work/m_13872111861810629931_1087962131.c b/isim/TEST_Detector_isim_beh.exe.sim/work/m_13872111861810629931_1087962131.c
new file mode 100644
index 0000000..47cffce
--- /dev/null
+++ b/isim/TEST_Detector_isim_beh.exe.sim/work/m_13872111861810629931_1087962131.c
@@ -0,0 +1,547 @@
+/**********************************************************************/
+/* ____ ____ */
+/* / /\/ / */
+/* /___/ \ / */
+/* \ \ \/ */
+/* \ \ 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/lab6/Detector.v";
+static int ng1[] = {0, 0};
+static unsigned int ng2[] = {0U, 0U};
+static unsigned int ng3[] = {1U, 0U};
+static unsigned int ng4[] = {2U, 0U};
+static unsigned int ng5[] = {3U, 0U};
+static int ng6[] = {1, 0};
+
+
+
+static void Initial_33_0(char *t0)
+{
+ char *t1;
+ char *t2;
+
+LAB0: xsi_set_current_line(33, ng0);
+
+LAB2: xsi_set_current_line(34, ng0);
+ t1 = ((char*)((ng1)));
+ t2 = (t0 + 1928);
+ xsi_vlogvar_assign_value(t2, t1, 0, 0, 2);
+ xsi_set_current_line(35, ng0);
+ t1 = ((char*)((ng1)));
+ t2 = (t0 + 1768);
+ xsi_vlogvar_assign_value(t2, t1, 0, 0, 1);
+
+LAB1: return;
+}
+
+static void Always_38_1(char *t0)
+{
+ char *t1;
+ char *t2;
+ char *t3;
+ char *t4;
+ char *t5;
+ unsigned int t6;
+ unsigned int t7;
+ unsigned int t8;
+ unsigned int t9;
+ unsigned int t10;
+ char *t11;
+ char *t12;
+
+LAB0: t1 = (t0 + 3248U);
+ t2 = *((char **)t1);
+ if (t2 == 0)
+ goto LAB2;
+
+LAB3: goto *t2;
+
+LAB2: xsi_set_current_line(38, ng0);
+ t2 = (t0 + 4064);
+ *((int *)t2) = 1;
+ t3 = (t0 + 3280);
+ *((char **)t3) = t2;
+ *((char **)t1) = &&LAB4;
+
+LAB1: return;
+LAB4: xsi_set_current_line(38, ng0);
+
+LAB5: xsi_set_current_line(39, ng0);
+ t4 = (t0 + 1368U);
+ t5 = *((char **)t4);
+ t4 = (t5 + 4);
+ t6 = *((unsigned int *)t4);
+ t7 = (~(t6));
+ t8 = *((unsigned int *)t5);
+ t9 = (t8 & t7);
+ t10 = (t9 != 0);
+ if (t10 > 0)
+ goto LAB6;
+
+LAB7: xsi_set_current_line(41, ng0);
+
+LAB10: xsi_set_current_line(42, ng0);
+ t2 = (t0 + 2088);
+ t3 = (t2 + 56U);
+ t4 = *((char **)t3);
+ t5 = (t0 + 1928);
+ xsi_vlogvar_wait_assign_value(t5, t4, 0, 0, 2, 0LL);
+
+LAB8: goto LAB2;
+
+LAB6: xsi_set_current_line(39, ng0);
+
+LAB9: xsi_set_current_line(40, ng0);
+ t11 = ((char*)((ng1)));
+ t12 = (t0 + 1928);
+ xsi_vlogvar_wait_assign_value(t12, t11, 0, 0, 2, 0LL);
+ goto LAB8;
+
+}
+
+static void Always_46_2(char *t0)
+{
+ char t9[8];
+ char t10[8];
+ char *t1;
+ char *t2;
+ char *t3;
+ char *t4;
+ char *t5;
+ char *t6;
+ char *t7;
+ int t8;
+ char *t11;
+ char *t12;
+ unsigned int t13;
+ unsigned int t14;
+ unsigned int t15;
+ unsigned int t16;
+ unsigned int t17;
+ char *t18;
+ char *t19;
+ unsigned int t20;
+ unsigned int t21;
+ unsigned int t22;
+ char *t23;
+ unsigned int t24;
+ unsigned int t25;
+ unsigned int t26;
+ unsigned int t27;
+ char *t28;
+ char *t29;
+
+LAB0: t1 = (t0 + 3496U);
+ t2 = *((char **)t1);
+ if (t2 == 0)
+ goto LAB2;
+
+LAB3: goto *t2;
+
+LAB2: xsi_set_current_line(46, ng0);
+ t2 = (t0 + 4080);
+ *((int *)t2) = 1;
+ t3 = (t0 + 3528);
+ *((char **)t3) = t2;
+ *((char **)t1) = &&LAB4;
+
+LAB1: return;
+LAB4: xsi_set_current_line(46, ng0);
+
+LAB5: xsi_set_current_line(47, ng0);
+ t4 = (t0 + 1928);
+ t5 = (t4 + 56U);
+ t6 = *((char **)t5);
+
+LAB6: t7 = ((char*)((ng2)));
+ t8 = xsi_vlog_unsigned_case_compare(t6, 2, t7, 2);
+ if (t8 == 1)
+ goto LAB7;
+
+LAB8: t2 = ((char*)((ng3)));
+ t8 = xsi_vlog_unsigned_case_compare(t6, 2, t2, 2);
+ if (t8 == 1)
+ goto LAB9;
+
+LAB10: t2 = ((char*)((ng4)));
+ t8 = xsi_vlog_unsigned_case_compare(t6, 2, t2, 2);
+ if (t8 == 1)
+ goto LAB11;
+
+LAB12: t2 = ((char*)((ng5)));
+ t8 = xsi_vlog_unsigned_case_compare(t6, 2, t2, 2);
+ if (t8 == 1)
+ goto LAB13;
+
+LAB14:
+LAB16:
+LAB15: xsi_set_current_line(52, ng0);
+ t2 = ((char*)((ng2)));
+ t3 = (t0 + 2088);
+ xsi_vlogvar_assign_value(t3, t2, 0, 0, 2);
+
+LAB17: goto LAB2;
+
+LAB7: xsi_set_current_line(48, ng0);
+ t11 = (t0 + 1048U);
+ t12 = *((char **)t11);
+ memset(t10, 0, 8);
+ t11 = (t12 + 4);
+ t13 = *((unsigned int *)t11);
+ t14 = (~(t13));
+ t15 = *((unsigned int *)t12);
+ t16 = (t15 & t14);
+ t17 = (t16 & 1U);
+ if (t17 != 0)
+ goto LAB18;
+
+LAB19: if (*((unsigned int *)t11) != 0)
+ goto LAB20;
+
+LAB21: t19 = (t10 + 4);
+ t20 = *((unsigned int *)t10);
+ t21 = *((unsigned int *)t19);
+ t22 = (t20 || t21);
+ if (t22 > 0)
+ goto LAB22;
+
+LAB23: t24 = *((unsigned int *)t10);
+ t25 = (~(t24));
+ t26 = *((unsigned int *)t19);
+ t27 = (t25 || t26);
+ if (t27 > 0)
+ goto LAB24;
+
+LAB25: if (*((unsigned int *)t19) > 0)
+ goto LAB26;
+
+LAB27: if (*((unsigned int *)t10) > 0)
+ goto LAB28;
+
+LAB29: memcpy(t9, t28, 8);
+
+LAB30: t29 = (t0 + 2088);
+ xsi_vlogvar_assign_value(t29, t9, 0, 0, 2);
+ goto LAB17;
+
+LAB9: xsi_set_current_line(49, ng0);
+ t3 = (t0 + 1048U);
+ t4 = *((char **)t3);
+ memset(t10, 0, 8);
+ t3 = (t4 + 4);
+ t13 = *((unsigned int *)t3);
+ t14 = (~(t13));
+ t15 = *((unsigned int *)t4);
+ t16 = (t15 & t14);
+ t17 = (t16 & 1U);
+ if (t17 != 0)
+ goto LAB31;
+
+LAB32: if (*((unsigned int *)t3) != 0)
+ goto LAB33;
+
+LAB34: t7 = (t10 + 4);
+ t20 = *((unsigned int *)t10);
+ t21 = *((unsigned int *)t7);
+ t22 = (t20 || t21);
+ if (t22 > 0)
+ goto LAB35;
+
+LAB36: t24 = *((unsigned int *)t10);
+ t25 = (~(t24));
+ t26 = *((unsigned int *)t7);
+ t27 = (t25 || t26);
+ if (t27 > 0)
+ goto LAB37;
+
+LAB38: if (*((unsigned int *)t7) > 0)
+ goto LAB39;
+
+LAB40: if (*((unsigned int *)t10) > 0)
+ goto LAB41;
+
+LAB42: memcpy(t9, t12, 8);
+
+LAB43: t18 = (t0 + 2088);
+ xsi_vlogvar_assign_value(t18, t9, 0, 0, 2);
+ goto LAB17;
+
+LAB11: xsi_set_current_line(50, ng0);
+ t3 = (t0 + 1048U);
+ t4 = *((char **)t3);
+ memset(t10, 0, 8);
+ t3 = (t4 + 4);
+ t13 = *((unsigned int *)t3);
+ t14 = (~(t13));
+ t15 = *((unsigned int *)t4);
+ t16 = (t15 & t14);
+ t17 = (t16 & 1U);
+ if (t17 != 0)
+ goto LAB44;
+
+LAB45: if (*((unsigned int *)t3) != 0)
+ goto LAB46;
+
+LAB47: t7 = (t10 + 4);
+ t20 = *((unsigned int *)t10);
+ t21 = *((unsigned int *)t7);
+ t22 = (t20 || t21);
+ if (t22 > 0)
+ goto LAB48;
+
+LAB49: t24 = *((unsigned int *)t10);
+ t25 = (~(t24));
+ t26 = *((unsigned int *)t7);
+ t27 = (t25 || t26);
+ if (t27 > 0)
+ goto LAB50;
+
+LAB51: if (*((unsigned int *)t7) > 0)
+ goto LAB52;
+
+LAB53: if (*((unsigned int *)t10) > 0)
+ goto LAB54;
+
+LAB55: memcpy(t9, t12, 8);
+
+LAB56: t18 = (t0 + 2088);
+ xsi_vlogvar_assign_value(t18, t9, 0, 0, 2);
+ goto LAB17;
+
+LAB13: xsi_set_current_line(51, ng0);
+ t3 = (t0 + 1048U);
+ t4 = *((char **)t3);
+ memset(t10, 0, 8);
+ t3 = (t4 + 4);
+ t13 = *((unsigned int *)t3);
+ t14 = (~(t13));
+ t15 = *((unsigned int *)t4);
+ t16 = (t15 & t14);
+ t17 = (t16 & 1U);
+ if (t17 != 0)
+ goto LAB57;
+
+LAB58: if (*((unsigned int *)t3) != 0)
+ goto LAB59;
+
+LAB60: t7 = (t10 + 4);
+ t20 = *((unsigned int *)t10);
+ t21 = *((unsigned int *)t7);
+ t22 = (t20 || t21);
+ if (t22 > 0)
+ goto LAB61;
+
+LAB62: t24 = *((unsigned int *)t10);
+ t25 = (~(t24));
+ t26 = *((unsigned int *)t7);
+ t27 = (t25 || t26);
+ if (t27 > 0)
+ goto LAB63;
+
+LAB64: if (*((unsigned int *)t7) > 0)
+ goto LAB65;
+
+LAB66: if (*((unsigned int *)t10) > 0)
+ goto LAB67;
+
+LAB68: memcpy(t9, t12, 8);
+
+LAB69: t18 = (t0 + 2088);
+ xsi_vlogvar_assign_value(t18, t9, 0, 0, 2);
+ goto LAB17;
+
+LAB18: *((unsigned int *)t10) = 1;
+ goto LAB21;
+
+LAB20: t18 = (t10 + 4);
+ *((unsigned int *)t10) = 1;
+ *((unsigned int *)t18) = 1;
+ goto LAB21;
+
+LAB22: t23 = ((char*)((ng3)));
+ goto LAB23;
+
+LAB24: t28 = ((char*)((ng2)));
+ goto LAB25;
+
+LAB26: xsi_vlog_unsigned_bit_combine(t9, 2, t23, 2, t28, 2);
+ goto LAB30;
+
+LAB28: memcpy(t9, t23, 8);
+ goto LAB30;
+
+LAB31: *((unsigned int *)t10) = 1;
+ goto LAB34;
+
+LAB33: t5 = (t10 + 4);
+ *((unsigned int *)t10) = 1;
+ *((unsigned int *)t5) = 1;
+ goto LAB34;
+
+LAB35: t11 = ((char*)((ng4)));
+ goto LAB36;
+
+LAB37: t12 = ((char*)((ng2)));
+ goto LAB38;
+
+LAB39: xsi_vlog_unsigned_bit_combine(t9, 2, t11, 2, t12, 2);
+ goto LAB43;
+
+LAB41: memcpy(t9, t11, 8);
+ goto LAB43;
+
+LAB44: *((unsigned int *)t10) = 1;
+ goto LAB47;
+
+LAB46: t5 = (t10 + 4);
+ *((unsigned int *)t10) = 1;
+ *((unsigned int *)t5) = 1;
+ goto LAB47;
+
+LAB48: t11 = ((char*)((ng5)));
+ goto LAB49;
+
+LAB50: t12 = ((char*)((ng2)));
+ goto LAB51;
+
+LAB52: xsi_vlog_unsigned_bit_combine(t9, 2, t11, 2, t12, 2);
+ goto LAB56;
+
+LAB54: memcpy(t9, t11, 8);
+ goto LAB56;
+
+LAB57: *((unsigned int *)t10) = 1;
+ goto LAB60;
+
+LAB59: t5 = (t10 + 4);
+ *((unsigned int *)t10) = 1;
+ *((unsigned int *)t5) = 1;
+ goto LAB60;
+
+LAB61: t11 = ((char*)((ng5)));
+ goto LAB62;
+
+LAB63: t12 = ((char*)((ng2)));
+ goto LAB64;
+
+LAB65: xsi_vlog_unsigned_bit_combine(t9, 2, t11, 2, t12, 2);
+ goto LAB69;
+
+LAB67: memcpy(t9, t11, 8);
+ goto LAB69;
+
+}
+
+static void Always_56_3(char *t0)
+{
+ char *t1;
+ char *t2;
+ char *t3;
+ char *t4;
+ char *t5;
+ char *t6;
+ char *t7;
+ int t8;
+ char *t9;
+ char *t10;
+
+LAB0: t1 = (t0 + 3744U);
+ t2 = *((char **)t1);
+ if (t2 == 0)
+ goto LAB2;
+
+LAB3: goto *t2;
+
+LAB2: xsi_set_current_line(56, ng0);
+ t2 = (t0 + 4096);
+ *((int *)t2) = 1;
+ t3 = (t0 + 3776);
+ *((char **)t3) = t2;
+ *((char **)t1) = &&LAB4;
+
+LAB1: return;
+LAB4: xsi_set_current_line(56, ng0);
+
+LAB5: xsi_set_current_line(57, ng0);
+ t4 = (t0 + 1928);
+ t5 = (t4 + 56U);
+ t6 = *((char **)t5);
+
+LAB6: t7 = ((char*)((ng2)));
+ t8 = xsi_vlog_unsigned_case_compare(t6, 2, t7, 2);
+ if (t8 == 1)
+ goto LAB7;
+
+LAB8: t2 = ((char*)((ng3)));
+ t8 = xsi_vlog_unsigned_case_compare(t6, 2, t2, 2);
+ if (t8 == 1)
+ goto LAB9;
+
+LAB10: t2 = ((char*)((ng4)));
+ t8 = xsi_vlog_unsigned_case_compare(t6, 2, t2, 2);
+ if (t8 == 1)
+ goto LAB11;
+
+LAB12: t2 = ((char*)((ng5)));
+ t8 = xsi_vlog_unsigned_case_compare(t6, 2, t2, 2);
+ if (t8 == 1)
+ goto LAB13;
+
+LAB14:
+LAB16:
+LAB15: xsi_set_current_line(62, ng0);
+ t2 = ((char*)((ng1)));
+ t3 = (t0 + 1768);
+ xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
+
+LAB17: goto LAB2;
+
+LAB7: xsi_set_current_line(58, ng0);
+ t9 = ((char*)((ng1)));
+ t10 = (t0 + 1768);
+ xsi_vlogvar_assign_value(t10, t9, 0, 0, 1);
+ goto LAB17;
+
+LAB9: xsi_set_current_line(59, ng0);
+ t3 = ((char*)((ng1)));
+ t4 = (t0 + 1768);
+ xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);
+ goto LAB17;
+
+LAB11: xsi_set_current_line(60, ng0);
+ t3 = ((char*)((ng1)));
+ t4 = (t0 + 1768);
+ xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);
+ goto LAB17;
+
+LAB13: xsi_set_current_line(61, ng0);
+ t3 = ((char*)((ng6)));
+ t4 = (t0 + 1768);
+ xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);
+ goto LAB17;
+
+}
+
+
+extern void work_m_13872111861810629931_1087962131_init()
+{
+ static char *pe[] = {(void *)Initial_33_0,(void *)Always_38_1,(void *)Always_46_2,(void *)Always_56_3};
+ xsi_register_didat("work_m_13872111861810629931_1087962131", "isim/TEST_Detector_isim_beh.exe.sim/work/m_13872111861810629931_1087962131.didat");
+ xsi_register_executes(pe);
+}
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-29 01:38:13 +0000