summaryrefslogtreecommitdiff
path: root/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.c
diff options
context:
space:
mode:
Diffstat (limited to 'isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.c')
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.c718
1 files changed, 718 insertions, 0 deletions
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
new file mode 100644
index 0000000..c798e64
--- /dev/null
+++ b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_06185630164696979556_3598138731.c
@@ -0,0 +1,718 @@
+/**********************************************************************/
+/* ____ ____ */
+/* / /\/ / */
+/* /___/ \ / */
+/* \ \ \/ */
+/* \ \ 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);
+}
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-06 07:23:26 +0000