diff options
Diffstat (limited to 'isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.c')
-rw-r--r-- | isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.c | 192 |
1 files changed, 192 insertions, 0 deletions
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.c new file mode 100644 index 0000000..e76415d --- /dev/null +++ b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.c @@ -0,0 +1,192 @@ +/**********************************************************************/ +/* ____ ____ */ +/* / /\/ / */ +/* /___/ \ / */ +/* \ \ \/ */ +/* \ \ 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/CountdownController.v"; +static int ng1[] = {100, 0}; +static int ng2[] = {50, 0}; +static int ng3[] = {0, 0}; + + + +static void Always_75_0(char *t0) +{ + char *t1; + char *t2; + char *t3; + char *t4; + char *t5; + +LAB0: t1 = (t0 + 6040U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: xsi_set_current_line(75, ng0); + t2 = (t0 + 7352); + *((int *)t2) = 1; + t3 = (t0 + 6072); + *((char **)t3) = t2; + *((char **)t1) = &&LAB4; + +LAB1: return; +LAB4: xsi_set_current_line(75, ng0); + +LAB5: xsi_set_current_line(76, ng0); + t4 = (t0 + 1848U); + t5 = *((char **)t4); + t4 = (t0 + 4968); + xsi_vlogvar_wait_assign_value(t4, t5, 0, 0, 7, 0LL); + xsi_set_current_line(77, ng0); + t2 = (t0 + 2008U); + t3 = *((char **)t2); + t2 = (t0 + 5128); + xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 4, 0LL); + goto LAB2; + +} + +static void implSig1_execute(char *t0) +{ + char *t1; + char *t2; + char *t3; + char *t4; + char *t5; + char *t6; + char *t7; + +LAB0: t1 = (t0 + 6288U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: t2 = ((char*)((ng1))); + t3 = (t0 + 7432); + 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; +} + +static void implSig2_execute(char *t0) +{ + char *t1; + char *t2; + char *t3; + char *t4; + char *t5; + char *t6; + char *t7; + +LAB0: t1 = (t0 + 6536U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: t2 = ((char*)((ng1))); + t3 = (t0 + 7496); + 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; +} + +static void implSig3_execute(char *t0) +{ + char *t1; + char *t2; + char *t3; + char *t4; + char *t5; + char *t6; + char *t7; + +LAB0: t1 = (t0 + 6784U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: t2 = ((char*)((ng2))); + t3 = (t0 + 7560); + 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; +} + +static void implSig4_execute(char *t0) +{ + char *t1; + char *t2; + char *t3; + char *t4; + char *t5; + char *t6; + char *t7; + +LAB0: t1 = (t0 + 7032U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: t2 = ((char*)((ng3))); + t3 = (t0 + 7624); + 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_08578567565259243700_1151371814_init() +{ + static char *pe[] = {(void *)Always_75_0,(void *)implSig1_execute,(void *)implSig2_execute,(void *)implSig3_execute,(void *)implSig4_execute}; + xsi_register_didat("work_m_08578567565259243700_1151371814", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_08578567565259243700_1151371814.didat"); + xsi_register_executes(pe); +} |