yayHEADmaster

1 files changed, 219 insertions, 0 deletions

diff --git a/isim/TEST_DisplayController_isim_beh.exe.sim/work/m_13807125322707046414_3845763652.c b/isim/TEST_DisplayController_isim_beh.exe.sim/work/m_13807125322707046414_3845763652.c
new file mode 100644
index 0000000..80c2cea
--- /dev/null
+++ b/isim/TEST_DisplayController_isim_beh.exe.sim/work/m_13807125322707046414_3845763652.c
@@ -0,0 +1,219 @@
+/**********************************************************************/
+/*   ____  ____                                                       */
+/*  /   /\/   /                                                       */
+/* /___/  \  /                                                        */
+/* \   \   \/                                                       */
+/*  \   \        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/lab5/DisplayController.v";
+static unsigned int ng1[] = {1U, 0U};
+static unsigned int ng2[] = {0U, 0U};
+static unsigned int ng3[] = {14U, 0U};
+static unsigned int ng4[] = {13U, 0U};
+static unsigned int ng5[] = {2U, 0U};
+static unsigned int ng6[] = {11U, 0U};
+static unsigned int ng7[] = {3U, 0U};
+static unsigned int ng8[] = {7U, 0U};
+static int ng9[] = {10, 0};
+
+
+
+static void Always_48_0(char *t0)
+{
+    char t8[8];
+    char *t1;
+    char *t2;
+    char *t3;
+    char *t4;
+    char *t5;
+    char *t6;
+    char *t7;
+    char *t9;
+    int t10;
+
+LAB0:    t1 = (t0 + 4440U);
+    t2 = *((char **)t1);
+    if (t2 == 0)
+        goto LAB2;
+
+LAB3:    goto *t2;
+
+LAB2:    xsi_set_current_line(48, ng0);
+    t2 = (t0 + 5008);
+    *((int *)t2) = 1;
+    t3 = (t0 + 4472);
+    *((char **)t3) = t2;
+    *((char **)t1) = &&LAB4;
+
+LAB1:    return;
+LAB4:    xsi_set_current_line(48, ng0);
+
+LAB5:    xsi_set_current_line(49, ng0);
+    t4 = (t0 + 3528);
+    t5 = (t4 + 56U);
+    t6 = *((char **)t5);
+    t7 = ((char*)((ng1)));
+    memset(t8, 0, 8);
+    xsi_vlog_unsigned_add(t8, 2, t6, 2, t7, 2);
+    t9 = (t0 + 3528);
+    xsi_vlogvar_wait_assign_value(t9, t8, 0, 0, 2, 0LL);
+    xsi_set_current_line(50, ng0);
+    t2 = (t0 + 3528);
+    t3 = (t2 + 56U);
+    t4 = *((char **)t3);
+
+LAB6:    t5 = ((char*)((ng2)));
+    t10 = xsi_vlog_unsigned_case_compare(t4, 2, t5, 2);
+    if (t10 == 1)
+        goto LAB7;
+
+LAB8:    t2 = ((char*)((ng1)));
+    t10 = xsi_vlog_unsigned_case_compare(t4, 2, t2, 2);
+    if (t10 == 1)
+        goto LAB9;
+
+LAB10:    t2 = ((char*)((ng5)));
+    t10 = xsi_vlog_unsigned_case_compare(t4, 2, t2, 2);
+    if (t10 == 1)
+        goto LAB11;
+
+LAB12:    t2 = ((char*)((ng7)));
+    t10 = xsi_vlog_unsigned_case_compare(t4, 2, t2, 2);
+    if (t10 == 1)
+        goto LAB13;
+
+LAB14:
+LAB15:    xsi_set_current_line(56, ng0);
+    t2 = (t0 + 3528);
+    t3 = (t2 + 56U);
+    t5 = *((char **)t3);
+
+LAB16:    t6 = ((char*)((ng2)));
+    t10 = xsi_vlog_unsigned_case_compare(t5, 2, t6, 2);
+    if (t10 == 1)
+        goto LAB17;
+
+LAB18:    t2 = ((char*)((ng1)));
+    t10 = xsi_vlog_unsigned_case_compare(t5, 2, t2, 2);
+    if (t10 == 1)
+        goto LAB19;
+
+LAB20:    t2 = ((char*)((ng5)));
+    t10 = xsi_vlog_unsigned_case_compare(t5, 2, t2, 2);
+    if (t10 == 1)
+        goto LAB21;
+
+LAB22:    t2 = ((char*)((ng7)));
+    t10 = xsi_vlog_unsigned_case_compare(t5, 2, t2, 2);
+    if (t10 == 1)
+        goto LAB23;
+
+LAB24:
+LAB25:    goto LAB2;
+
+LAB7:    xsi_set_current_line(51, ng0);
+    t6 = ((char*)((ng3)));
+    t7 = (t0 + 3368);
+    xsi_vlogvar_wait_assign_value(t7, t6, 0, 0, 4, 0LL);
+    goto LAB15;
+
+LAB9:    xsi_set_current_line(52, ng0);
+    t3 = ((char*)((ng4)));
+    t5 = (t0 + 3368);
+    xsi_vlogvar_wait_assign_value(t5, t3, 0, 0, 4, 0LL);
+    goto LAB15;
+
+LAB11:    xsi_set_current_line(53, ng0);
+    t3 = ((char*)((ng6)));
+    t5 = (t0 + 3368);
+    xsi_vlogvar_wait_assign_value(t5, t3, 0, 0, 4, 0LL);
+    goto LAB15;
+
+LAB13:    xsi_set_current_line(54, ng0);
+    t3 = ((char*)((ng8)));
+    t5 = (t0 + 3368);
+    xsi_vlogvar_wait_assign_value(t5, t3, 0, 0, 4, 0LL);
+    goto LAB15;
+
+LAB17:    xsi_set_current_line(57, ng0);
+    t7 = (t0 + 2168U);
+    t9 = *((char **)t7);
+    t7 = (t0 + 3208);
+    xsi_vlogvar_wait_assign_value(t7, t9, 0, 0, 7, 0LL);
+    goto LAB25;
+
+LAB19:    xsi_set_current_line(58, ng0);
+    t3 = (t0 + 2328U);
+    t6 = *((char **)t3);
+    t3 = (t0 + 3208);
+    xsi_vlogvar_wait_assign_value(t3, t6, 0, 0, 7, 0LL);
+    goto LAB25;
+
+LAB21:    xsi_set_current_line(59, ng0);
+    t3 = (t0 + 2488U);
+    t6 = *((char **)t3);
+    t3 = (t0 + 3208);
+    xsi_vlogvar_wait_assign_value(t3, t6, 0, 0, 7, 0LL);
+    goto LAB25;
+
+LAB23:    xsi_set_current_line(60, ng0);
+    t3 = (t0 + 2648U);
+    t6 = *((char **)t3);
+    t3 = (t0 + 3208);
+    xsi_vlogvar_wait_assign_value(t3, t6, 0, 0, 7, 0LL);
+    goto LAB25;
+
+}
+
+static void implSig1_execute(char *t0)
+{
+    char *t1;
+    char *t2;
+    char *t3;
+    char *t4;
+    char *t5;
+    char *t6;
+    char *t7;
+
+LAB0:    t1 = (t0 + 4688U);
+    t2 = *((char **)t1);
+    if (t2 == 0)
+        goto LAB2;
+
+LAB3:    goto *t2;
+
+LAB2:    t2 = ((char*)((ng9)));
+    t3 = (t0 + 5088);
+    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_13807125322707046414_3845763652_init()
+{
+	static char *pe[] = {(void *)Always_48_0,(void *)implSig1_execute};
+	xsi_register_didat("work_m_13807125322707046414_3845763652", "isim/TEST_DisplayController_isim_beh.exe.sim/work/m_13807125322707046414_3845763652.didat");
+	xsi_register_executes(pe);
+}