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, 0 insertions, 718 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
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);
-}
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-03 08:57:55 +0000