diff options
Diffstat (limited to 'isim/TEST_Bin2BCD_isim_beh.exe.sim')
17 files changed, 1217 insertions, 0 deletions
diff --git a/isim/TEST_Bin2BCD_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg b/isim/TEST_Bin2BCD_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg Binary files differnew file mode 100644 index 0000000..e4626e0 --- /dev/null +++ b/isim/TEST_Bin2BCD_isim_beh.exe.sim/ISimEngine-DesignHierarchy.dbg diff --git a/isim/TEST_Bin2BCD_isim_beh.exe.sim/TEST_Bin2BCD_isim_beh.exe b/isim/TEST_Bin2BCD_isim_beh.exe.sim/TEST_Bin2BCD_isim_beh.exe Binary files differnew file mode 100755 index 0000000..fa04231 --- /dev/null +++ b/isim/TEST_Bin2BCD_isim_beh.exe.sim/TEST_Bin2BCD_isim_beh.exe diff --git a/isim/TEST_Bin2BCD_isim_beh.exe.sim/isimcrash.log b/isim/TEST_Bin2BCD_isim_beh.exe.sim/isimcrash.log new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/isim/TEST_Bin2BCD_isim_beh.exe.sim/isimcrash.log diff --git a/isim/TEST_Bin2BCD_isim_beh.exe.sim/isimkernel.log b/isim/TEST_Bin2BCD_isim_beh.exe.sim/isimkernel.log new file mode 100644 index 0000000..04dde27 --- /dev/null +++ b/isim/TEST_Bin2BCD_isim_beh.exe.sim/isimkernel.log @@ -0,0 +1,29 @@ +Command line: + TEST_Bin2BCD_isim_beh.exe + -simmode gui + -simrunnum 0 + -socket 36066 + +Thu Mar 29 15:27:41 2012 + + + Elaboration Time: 0.02 sec + + Current Memory Usage: 181.277 Meg + + Total Signals : 18 + Total Nets : 45 + Total Signal Drivers : 10 + Total Blocks : 3 + Total Primitive Blocks : 2 + Total Processes : 13 + Total Traceable Variables : 25 + Total Scalar Nets and Variables : 193 +Total Line Count : 39 + + Total Simulation Time: 0.04 sec + + Current Memory Usage: 256.778 Meg + +Thu Mar 29 15:28:03 2012 + diff --git a/isim/TEST_Bin2BCD_isim_beh.exe.sim/netId.dat b/isim/TEST_Bin2BCD_isim_beh.exe.sim/netId.dat Binary files differnew file mode 100644 index 0000000..9ecf9af --- /dev/null +++ b/isim/TEST_Bin2BCD_isim_beh.exe.sim/netId.dat diff --git a/isim/TEST_Bin2BCD_isim_beh.exe.sim/tmp_save/_1 b/isim/TEST_Bin2BCD_isim_beh.exe.sim/tmp_save/_1 Binary files differnew file mode 100644 index 0000000..def0567 --- /dev/null +++ b/isim/TEST_Bin2BCD_isim_beh.exe.sim/tmp_save/_1 diff --git a/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/TEST_Bin2BCD_isim_beh.exe_main.c b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/TEST_Bin2BCD_isim_beh.exe_main.c new file mode 100644 index 0000000..e214f38 --- /dev/null +++ b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/TEST_Bin2BCD_isim_beh.exe_main.c @@ -0,0 +1,36 @@ +/**********************************************************************/ +/* ____ ____ */ +/* / /\/ / */ +/* /___/ \ / */ +/* \ \ \/ */ +/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ +/* / / All Right Reserved. */ +/* /---/ /\ */ +/* \ \ / \ */ +/* \___\/\___\ */ +/***********************************************************************/ + +#include "xsi.h" + +struct XSI_INFO xsi_info; + + + +int main(int argc, char **argv) +{ + xsi_init_design(argc, argv); + xsi_register_info(&xsi_info); + + xsi_register_min_prec_unit(-12); + work_m_16012083836245549588_2618506667_init(); + work_m_17956504886923659924_0893867553_init(); + work_m_16541823861846354283_2073120511_init(); + + + xsi_register_tops("work_m_17956504886923659924_0893867553"); + xsi_register_tops("work_m_16541823861846354283_2073120511"); + + + return xsi_run_simulation(argc, argv); + +} diff --git a/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/TEST_Bin2BCD_isim_beh.exe_main.lin64.o b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/TEST_Bin2BCD_isim_beh.exe_main.lin64.o Binary files differnew file mode 100644 index 0000000..901350c --- /dev/null +++ b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/TEST_Bin2BCD_isim_beh.exe_main.lin64.o diff --git a/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16012083836245549588_2618506667.c b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16012083836245549588_2618506667.c new file mode 100644 index 0000000..d490288 --- /dev/null +++ b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16012083836245549588_2618506667.c @@ -0,0 +1,707 @@ +/**********************************************************************/ +/* ____ ____ */ +/* / /\/ / */ +/* /___/ \ / */ +/* \ \ \/ */ +/* \ \ 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/Bin2BCD.v"; +static int ng1[] = {0, 0}; +static int ng2[] = {15, 0}; +static int ng3[] = {1, 0}; +static int ng4[] = {5, 0}; +static unsigned int ng5[] = {3U, 0U}; +static int ng6[] = {31, 0}; +static int ng7[] = {28, 0}; +static int ng8[] = {27, 0}; +static int ng9[] = {24, 0}; +static int ng10[] = {23, 0}; +static int ng11[] = {20, 0}; +static int ng12[] = {19, 0}; +static int ng13[] = {16, 0}; + + + +static void Always_33_0(char *t0) +{ + char t6[8]; + char t22[8]; + char t29[8]; + char t38[8]; + char t40[8]; + char t41[8]; + char t42[8]; + char *t1; + char *t2; + char *t3; + char *t4; + char *t5; + char *t7; + char *t8; + char *t9; + char *t10; + char *t11; + char *t12; + char *t13; + char *t14; + char *t15; + char *t16; + unsigned int t17; + unsigned int t18; + unsigned int t19; + unsigned int t20; + unsigned int t21; + unsigned int t23; + unsigned int t24; + unsigned int t25; + unsigned int t26; + unsigned int t27; + unsigned int t28; + char *t30; + unsigned int t31; + unsigned int t32; + unsigned int t33; + unsigned int t34; + unsigned int t35; + unsigned int t36; + char *t37; + char *t39; + char *t43; + char *t44; + char *t45; + char *t46; + char *t47; + char *t48; + unsigned int t49; + int t50; + char *t51; + unsigned int t52; + int t53; + int t54; + char *t55; + unsigned int t56; + int t57; + int t58; + unsigned int t59; + int t60; + unsigned int t61; + unsigned int t62; + int t63; + int t64; + +LAB0: t1 = (t0 + 3160U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: xsi_set_current_line(33, ng0); + t2 = (t0 + 3480); + *((int *)t2) = 1; + t3 = (t0 + 3192); + *((char **)t3) = t2; + *((char **)t1) = &&LAB4; + +LAB1: return; +LAB4: xsi_set_current_line(33, ng0); + +LAB5: xsi_set_current_line(34, ng0); + t4 = ((char*)((ng1))); + t5 = (t0 + 1768); + xsi_vlogvar_assign_value(t5, t4, 0, 0, 4); + xsi_set_current_line(34, ng0); + t2 = ((char*)((ng1))); + t3 = (t0 + 1608); + xsi_vlogvar_assign_value(t3, t2, 0, 0, 4); + xsi_set_current_line(34, ng0); + t2 = ((char*)((ng1))); + t3 = (t0 + 1448); + xsi_vlogvar_assign_value(t3, t2, 0, 0, 4); + xsi_set_current_line(35, ng0); + t2 = (t0 + 1048U); + t3 = *((char **)t2); + t2 = (t0 + 1448); + t4 = (t2 + 56U); + t5 = *((char **)t4); + t7 = (t0 + 1608); + t8 = (t7 + 56U); + t9 = *((char **)t8); + t10 = (t0 + 1768); + t11 = (t10 + 56U); + t12 = *((char **)t11); + t13 = (t0 + 1928); + t14 = (t13 + 56U); + t15 = *((char **)t14); + xsi_vlogtype_concat(t6, 32, 32, 5U, t15, 4, t12, 4, t9, 4, t5, 4, t3, 16); + t16 = (t0 + 2088); + xsi_vlogvar_assign_value(t16, t6, 0, 0, 32); + xsi_set_current_line(37, ng0); + xsi_set_current_line(37, ng0); + t2 = ((char*)((ng1))); + t3 = (t0 + 2248); + xsi_vlogvar_assign_value(t3, t2, 0, 0, 4); + +LAB6: t2 = (t0 + 2248); + t3 = (t2 + 56U); + t4 = *((char **)t3); + t5 = ((char*)((ng2))); + memset(t6, 0, 8); + t7 = (t4 + 4); + if (*((unsigned int *)t7) != 0) + goto LAB8; + +LAB7: t8 = (t5 + 4); + if (*((unsigned int *)t8) != 0) + goto LAB8; + +LAB11: if (*((unsigned int *)t4) < *((unsigned int *)t5)) + goto LAB9; + +LAB10: t10 = (t6 + 4); + t17 = *((unsigned int *)t10); + t18 = (~(t17)); + t19 = *((unsigned int *)t6); + t20 = (t19 & t18); + t21 = (t20 != 0); + if (t21 > 0) + goto LAB12; + +LAB13: xsi_set_current_line(49, ng0); + t2 = (t0 + 2088); + t3 = (t2 + 56U); + t4 = *((char **)t3); + t5 = ((char*)((ng3))); + memset(t6, 0, 8); + xsi_vlog_unsigned_lshift(t6, 32, t4, 32, t5, 32); + t7 = (t0 + 2088); + xsi_vlogvar_assign_value(t7, t6, 0, 0, 32); + xsi_set_current_line(51, ng0); + t2 = (t0 + 2088); + t3 = (t2 + 56U); + t4 = *((char **)t3); + memset(t6, 0, 8); + t5 = (t6 + 4); + t7 = (t4 + 4); + t17 = *((unsigned int *)t4); + t18 = (t17 >> 28); + *((unsigned int *)t6) = t18; + t19 = *((unsigned int *)t7); + t20 = (t19 >> 28); + *((unsigned int *)t5) = t20; + t21 = *((unsigned int *)t6); + *((unsigned int *)t6) = (t21 & 15U); + t23 = *((unsigned int *)t5); + *((unsigned int *)t5) = (t23 & 15U); + t8 = (t0 + 1928); + xsi_vlogvar_assign_value(t8, t6, 0, 0, 4); + xsi_set_current_line(52, ng0); + t2 = (t0 + 2088); + t3 = (t2 + 56U); + t4 = *((char **)t3); + memset(t6, 0, 8); + t5 = (t6 + 4); + t7 = (t4 + 4); + t17 = *((unsigned int *)t4); + t18 = (t17 >> 24); + *((unsigned int *)t6) = t18; + t19 = *((unsigned int *)t7); + t20 = (t19 >> 24); + *((unsigned int *)t5) = t20; + t21 = *((unsigned int *)t6); + *((unsigned int *)t6) = (t21 & 15U); + t23 = *((unsigned int *)t5); + *((unsigned int *)t5) = (t23 & 15U); + t8 = (t0 + 1768); + xsi_vlogvar_assign_value(t8, t6, 0, 0, 4); + xsi_set_current_line(53, ng0); + t2 = (t0 + 2088); + t3 = (t2 + 56U); + t4 = *((char **)t3); + memset(t6, 0, 8); + t5 = (t6 + 4); + t7 = (t4 + 4); + t17 = *((unsigned int *)t4); + t18 = (t17 >> 20); + *((unsigned int *)t6) = t18; + t19 = *((unsigned int *)t7); + t20 = (t19 >> 20); + *((unsigned int *)t5) = t20; + t21 = *((unsigned int *)t6); + *((unsigned int *)t6) = (t21 & 15U); + t23 = *((unsigned int *)t5); + *((unsigned int *)t5) = (t23 & 15U); + t8 = (t0 + 1608); + xsi_vlogvar_assign_value(t8, t6, 0, 0, 4); + xsi_set_current_line(54, ng0); + t2 = (t0 + 2088); + t3 = (t2 + 56U); + t4 = *((char **)t3); + memset(t6, 0, 8); + t5 = (t6 + 4); + t7 = (t4 + 4); + t17 = *((unsigned int *)t4); + t18 = (t17 >> 16); + *((unsigned int *)t6) = t18; + t19 = *((unsigned int *)t7); + t20 = (t19 >> 16); + *((unsigned int *)t5) = t20; + t21 = *((unsigned int *)t6); + *((unsigned int *)t6) = (t21 & 15U); + t23 = *((unsigned int *)t5); + *((unsigned int *)t5) = (t23 & 15U); + t8 = (t0 + 1448); + xsi_vlogvar_assign_value(t8, t6, 0, 0, 4); + goto LAB2; + +LAB8: t9 = (t6 + 4); + *((unsigned int *)t6) = 1; + *((unsigned int *)t9) = 1; + goto LAB10; + +LAB9: *((unsigned int *)t6) = 1; + goto LAB10; + +LAB12: xsi_set_current_line(37, ng0); + +LAB14: xsi_set_current_line(38, ng0); + t11 = (t0 + 2088); + t12 = (t11 + 56U); + t13 = *((char **)t12); + t14 = ((char*)((ng3))); + memset(t22, 0, 8); + xsi_vlog_unsigned_lshift(t22, 32, t13, 32, t14, 32); + t15 = (t0 + 2088); + xsi_vlogvar_assign_value(t15, t22, 0, 0, 32); + xsi_set_current_line(39, ng0); + t2 = (t0 + 2088); + t3 = (t2 + 56U); + t4 = *((char **)t3); + memset(t6, 0, 8); + t5 = (t6 + 4); + t7 = (t4 + 4); + t17 = *((unsigned int *)t4); + t18 = (t17 >> 28); + *((unsigned int *)t6) = t18; + t19 = *((unsigned int *)t7); + t20 = (t19 >> 28); + *((unsigned int *)t5) = t20; + t21 = *((unsigned int *)t6); + *((unsigned int *)t6) = (t21 & 15U); + t23 = *((unsigned int *)t5); + *((unsigned int *)t5) = (t23 & 15U); + t8 = ((char*)((ng4))); + memset(t22, 0, 8); + t9 = (t6 + 4); + if (*((unsigned int *)t9) != 0) + goto LAB16; + +LAB15: t10 = (t8 + 4); + if (*((unsigned int *)t10) != 0) + goto LAB16; + +LAB19: if (*((unsigned int *)t6) < *((unsigned int *)t8)) + goto LAB18; + +LAB17: *((unsigned int *)t22) = 1; + +LAB18: t12 = (t22 + 4); + t24 = *((unsigned int *)t12); + t25 = (~(t24)); + t26 = *((unsigned int *)t22); + t27 = (t26 & t25); + t28 = (t27 != 0); + if (t28 > 0) + goto LAB20; + +LAB21: +LAB22: xsi_set_current_line(41, ng0); + t2 = (t0 + 2088); + t3 = (t2 + 56U); + t4 = *((char **)t3); + memset(t6, 0, 8); + t5 = (t6 + 4); + t7 = (t4 + 4); + t17 = *((unsigned int *)t4); + t18 = (t17 >> 24); + *((unsigned int *)t6) = t18; + t19 = *((unsigned int *)t7); + t20 = (t19 >> 24); + *((unsigned int *)t5) = t20; + t21 = *((unsigned int *)t6); + *((unsigned int *)t6) = (t21 & 15U); + t23 = *((unsigned int *)t5); + *((unsigned int *)t5) = (t23 & 15U); + t8 = ((char*)((ng4))); + memset(t22, 0, 8); + t9 = (t6 + 4); + if (*((unsigned int *)t9) != 0) + goto LAB26; + +LAB25: t10 = (t8 + 4); + if (*((unsigned int *)t10) != 0) + goto LAB26; + +LAB29: if (*((unsigned int *)t6) < *((unsigned int *)t8)) + goto LAB28; + +LAB27: *((unsigned int *)t22) = 1; + +LAB28: t12 = (t22 + 4); + t24 = *((unsigned int *)t12); + t25 = (~(t24)); + t26 = *((unsigned int *)t22); + t27 = (t26 & t25); + t28 = (t27 != 0); + if (t28 > 0) + goto LAB30; + +LAB31: +LAB32: xsi_set_current_line(43, ng0); + t2 = (t0 + 2088); + t3 = (t2 + 56U); + t4 = *((char **)t3); + memset(t6, 0, 8); + t5 = (t6 + 4); + t7 = (t4 + 4); + t17 = *((unsigned int *)t4); + t18 = (t17 >> 20); + *((unsigned int *)t6) = t18; + t19 = *((unsigned int *)t7); + t20 = (t19 >> 20); + *((unsigned int *)t5) = t20; + t21 = *((unsigned int *)t6); + *((unsigned int *)t6) = (t21 & 15U); + t23 = *((unsigned int *)t5); + *((unsigned int *)t5) = (t23 & 15U); + t8 = ((char*)((ng4))); + memset(t22, 0, 8); + t9 = (t6 + 4); + if (*((unsigned int *)t9) != 0) + goto LAB36; + +LAB35: t10 = (t8 + 4); + if (*((unsigned int *)t10) != 0) + goto LAB36; + +LAB39: if (*((unsigned int *)t6) < *((unsigned int *)t8)) + goto LAB38; + +LAB37: *((unsigned int *)t22) = 1; + +LAB38: t12 = (t22 + 4); + t24 = *((unsigned int *)t12); + t25 = (~(t24)); + t26 = *((unsigned int *)t22); + t27 = (t26 & t25); + t28 = (t27 != 0); + if (t28 > 0) + goto LAB40; + +LAB41: +LAB42: xsi_set_current_line(45, ng0); + t2 = (t0 + 2088); + t3 = (t2 + 56U); + t4 = *((char **)t3); + memset(t6, 0, 8); + t5 = (t6 + 4); + t7 = (t4 + 4); + t17 = *((unsigned int *)t4); + t18 = (t17 >> 16); + *((unsigned int *)t6) = t18; + t19 = *((unsigned int *)t7); + t20 = (t19 >> 16); + *((unsigned int *)t5) = t20; + t21 = *((unsigned int *)t6); + *((unsigned int *)t6) = (t21 & 15U); + t23 = *((unsigned int *)t5); + *((unsigned int *)t5) = (t23 & 15U); + t8 = ((char*)((ng4))); + memset(t22, 0, 8); + t9 = (t6 + 4); + if (*((unsigned int *)t9) != 0) + goto LAB46; + +LAB45: t10 = (t8 + 4); + if (*((unsigned int *)t10) != 0) + goto LAB46; + +LAB49: if (*((unsigned int *)t6) < *((unsigned int *)t8)) + goto LAB48; + +LAB47: *((unsigned int *)t22) = 1; + +LAB48: t12 = (t22 + 4); + t24 = *((unsigned int *)t12); + t25 = (~(t24)); + t26 = *((unsigned int *)t22); + t27 = (t26 & t25); + t28 = (t27 != 0); + if (t28 > 0) + goto LAB50; + +LAB51: +LAB52: xsi_set_current_line(37, ng0); + t2 = (t0 + 2248); + t3 = (t2 + 56U); + t4 = *((char **)t3); + t5 = ((char*)((ng3))); + memset(t6, 0, 8); + xsi_vlog_unsigned_add(t6, 32, t4, 4, t5, 32); + t7 = (t0 + 2248); + xsi_vlogvar_assign_value(t7, t6, 0, 0, 4); + goto LAB6; + +LAB16: t11 = (t22 + 4); + *((unsigned int *)t22) = 1; + *((unsigned int *)t11) = 1; + goto LAB18; + +LAB20: xsi_set_current_line(40, ng0); + t13 = (t0 + 2088); + t14 = (t13 + 56U); + t15 = *((char **)t14); + memset(t29, 0, 8); + t16 = (t29 + 4); + t30 = (t15 + 4); + t31 = *((unsigned int *)t15); + t32 = (t31 >> 28); + *((unsigned int *)t29) = t32; + t33 = *((unsigned int *)t30); + t34 = (t33 >> 28); + *((unsigned int *)t16) = t34; + t35 = *((unsigned int *)t29); + *((unsigned int *)t29) = (t35 & 15U); + t36 = *((unsigned int *)t16); + *((unsigned int *)t16) = (t36 & 15U); + t37 = ((char*)((ng5))); + memset(t38, 0, 8); + xsi_vlog_unsigned_add(t38, 4, t29, 4, t37, 4); + t39 = (t0 + 2088); + t43 = (t0 + 2088); + t44 = (t43 + 72U); + t45 = *((char **)t44); + t46 = ((char*)((ng6))); + t47 = ((char*)((ng7))); + xsi_vlog_convert_partindices(t40, t41, t42, ((int*)(t45)), 2, t46, 32, 1, t47, 32, 1); + t48 = (t40 + 4); + t49 = *((unsigned int *)t48); + t50 = (!(t49)); + t51 = (t41 + 4); + t52 = *((unsigned int *)t51); + t53 = (!(t52)); + t54 = (t50 && t53); + t55 = (t42 + 4); + t56 = *((unsigned int *)t55); + t57 = (!(t56)); + t58 = (t54 && t57); + if (t58 == 1) + goto LAB23; + +LAB24: goto LAB22; + +LAB23: t59 = *((unsigned int *)t42); + t60 = (t59 + 0); + t61 = *((unsigned int *)t40); + t62 = *((unsigned int *)t41); + t63 = (t61 - t62); + t64 = (t63 + 1); + xsi_vlogvar_assign_value(t39, t38, t60, *((unsigned int *)t41), t64); + goto LAB24; + +LAB26: t11 = (t22 + 4); + *((unsigned int *)t22) = 1; + *((unsigned int *)t11) = 1; + goto LAB28; + +LAB30: xsi_set_current_line(42, ng0); + t13 = (t0 + 2088); + t14 = (t13 + 56U); + t15 = *((char **)t14); + memset(t29, 0, 8); + t16 = (t29 + 4); + t30 = (t15 + 4); + t31 = *((unsigned int *)t15); + t32 = (t31 >> 24); + *((unsigned int *)t29) = t32; + t33 = *((unsigned int *)t30); + t34 = (t33 >> 24); + *((unsigned int *)t16) = t34; + t35 = *((unsigned int *)t29); + *((unsigned int *)t29) = (t35 & 15U); + t36 = *((unsigned int *)t16); + *((unsigned int *)t16) = (t36 & 15U); + t37 = ((char*)((ng5))); + memset(t38, 0, 8); + xsi_vlog_unsigned_add(t38, 4, t29, 4, t37, 4); + t39 = (t0 + 2088); + t43 = (t0 + 2088); + t44 = (t43 + 72U); + t45 = *((char **)t44); + t46 = ((char*)((ng8))); + t47 = ((char*)((ng9))); + xsi_vlog_convert_partindices(t40, t41, t42, ((int*)(t45)), 2, t46, 32, 1, t47, 32, 1); + t48 = (t40 + 4); + t49 = *((unsigned int *)t48); + t50 = (!(t49)); + t51 = (t41 + 4); + t52 = *((unsigned int *)t51); + t53 = (!(t52)); + t54 = (t50 && t53); + t55 = (t42 + 4); + t56 = *((unsigned int *)t55); + t57 = (!(t56)); + t58 = (t54 && t57); + if (t58 == 1) + goto LAB33; + +LAB34: goto LAB32; + +LAB33: t59 = *((unsigned int *)t42); + t60 = (t59 + 0); + t61 = *((unsigned int *)t40); + t62 = *((unsigned int *)t41); + t63 = (t61 - t62); + t64 = (t63 + 1); + xsi_vlogvar_assign_value(t39, t38, t60, *((unsigned int *)t41), t64); + goto LAB34; + +LAB36: t11 = (t22 + 4); + *((unsigned int *)t22) = 1; + *((unsigned int *)t11) = 1; + goto LAB38; + +LAB40: xsi_set_current_line(44, ng0); + t13 = (t0 + 2088); + t14 = (t13 + 56U); + t15 = *((char **)t14); + memset(t29, 0, 8); + t16 = (t29 + 4); + t30 = (t15 + 4); + t31 = *((unsigned int *)t15); + t32 = (t31 >> 20); + *((unsigned int *)t29) = t32; + t33 = *((unsigned int *)t30); + t34 = (t33 >> 20); + *((unsigned int *)t16) = t34; + t35 = *((unsigned int *)t29); + *((unsigned int *)t29) = (t35 & 15U); + t36 = *((unsigned int *)t16); + *((unsigned int *)t16) = (t36 & 15U); + t37 = ((char*)((ng5))); + memset(t38, 0, 8); + xsi_vlog_unsigned_add(t38, 4, t29, 4, t37, 4); + t39 = (t0 + 2088); + t43 = (t0 + 2088); + t44 = (t43 + 72U); + t45 = *((char **)t44); + t46 = ((char*)((ng10))); + t47 = ((char*)((ng11))); + xsi_vlog_convert_partindices(t40, t41, t42, ((int*)(t45)), 2, t46, 32, 1, t47, 32, 1); + t48 = (t40 + 4); + t49 = *((unsigned int *)t48); + t50 = (!(t49)); + t51 = (t41 + 4); + t52 = *((unsigned int *)t51); + t53 = (!(t52)); + t54 = (t50 && t53); + t55 = (t42 + 4); + t56 = *((unsigned int *)t55); + t57 = (!(t56)); + t58 = (t54 && t57); + if (t58 == 1) + goto LAB43; + +LAB44: goto LAB42; + +LAB43: t59 = *((unsigned int *)t42); + t60 = (t59 + 0); + t61 = *((unsigned int *)t40); + t62 = *((unsigned int *)t41); + t63 = (t61 - t62); + t64 = (t63 + 1); + xsi_vlogvar_assign_value(t39, t38, t60, *((unsigned int *)t41), t64); + goto LAB44; + +LAB46: t11 = (t22 + 4); + *((unsigned int *)t22) = 1; + *((unsigned int *)t11) = 1; + goto LAB48; + +LAB50: xsi_set_current_line(46, ng0); + t13 = (t0 + 2088); + t14 = (t13 + 56U); + t15 = *((char **)t14); + memset(t29, 0, 8); + t16 = (t29 + 4); + t30 = (t15 + 4); + t31 = *((unsigned int *)t15); + t32 = (t31 >> 16); + *((unsigned int *)t29) = t32; + t33 = *((unsigned int *)t30); + t34 = (t33 >> 16); + *((unsigned int *)t16) = t34; + t35 = *((unsigned int *)t29); + *((unsigned int *)t29) = (t35 & 15U); + t36 = *((unsigned int *)t16); + *((unsigned int *)t16) = (t36 & 15U); + t37 = ((char*)((ng5))); + memset(t38, 0, 8); + xsi_vlog_unsigned_add(t38, 4, t29, 4, t37, 4); + t39 = (t0 + 2088); + t43 = (t0 + 2088); + t44 = (t43 + 72U); + t45 = *((char **)t44); + t46 = ((char*)((ng12))); + t47 = ((char*)((ng13))); + xsi_vlog_convert_partindices(t40, t41, t42, ((int*)(t45)), 2, t46, 32, 1, t47, 32, 1); + t48 = (t40 + 4); + t49 = *((unsigned int *)t48); + t50 = (!(t49)); + t51 = (t41 + 4); + t52 = *((unsigned int *)t51); + t53 = (!(t52)); + t54 = (t50 && t53); + t55 = (t42 + 4); + t56 = *((unsigned int *)t55); + t57 = (!(t56)); + t58 = (t54 && t57); + if (t58 == 1) + goto LAB53; + +LAB54: goto LAB52; + +LAB53: t59 = *((unsigned int *)t42); + t60 = (t59 + 0); + t61 = *((unsigned int *)t40); + t62 = *((unsigned int *)t41); + t63 = (t61 - t62); + t64 = (t63 + 1); + xsi_vlogvar_assign_value(t39, t38, t60, *((unsigned int *)t41), t64); + goto LAB54; + +} + + +extern void work_m_16012083836245549588_2618506667_init() +{ + static char *pe[] = {(void *)Always_33_0}; + xsi_register_didat("work_m_16012083836245549588_2618506667", "isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16012083836245549588_2618506667.didat"); + xsi_register_executes(pe); +} diff --git a/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16012083836245549588_2618506667.didat b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16012083836245549588_2618506667.didat Binary files differnew file mode 100644 index 0000000..59fe66b --- /dev/null +++ b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16012083836245549588_2618506667.didat diff --git a/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16012083836245549588_2618506667.lin64.o b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16012083836245549588_2618506667.lin64.o Binary files differnew file mode 100644 index 0000000..fb68158 --- /dev/null +++ b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16012083836245549588_2618506667.lin64.o diff --git a/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.c b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.c new file mode 100644 index 0000000..2eba636 --- /dev/null +++ b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.c @@ -0,0 +1,337 @@ +/**********************************************************************/ +/* ____ ____ */ +/* / /\/ / */ +/* /___/ \ / */ +/* \ \ \/ */ +/* \ \ 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/opt/Xilinx/13.4/ISE_DS/ISE/verilog/src/glbl.v"; +static unsigned int ng1[] = {1U, 0U}; +static unsigned int ng2[] = {0U, 0U}; + + + +static void NetDecl_16_0(char *t0) +{ + char *t1; + char *t2; + char *t3; + char *t4; + char *t5; + char *t6; + char *t7; + unsigned int t8; + unsigned int t9; + char *t10; + unsigned int t11; + unsigned int t12; + char *t13; + unsigned int t14; + unsigned int t15; + char *t16; + +LAB0: t1 = (t0 + 6952U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: xsi_set_current_line(16, ng0); + t2 = (t0 + 1960U); + t3 = *((char **)t2); + t2 = (t0 + 8640); + t4 = (t2 + 56U); + t5 = *((char **)t4); + t6 = (t5 + 56U); + t7 = *((char **)t6); + memset(t7, 0, 8); + t8 = 1U; + t9 = t8; + t10 = (t3 + 4); + t11 = *((unsigned int *)t3); + t8 = (t8 & t11); + t12 = *((unsigned int *)t10); + t9 = (t9 & t12); + t13 = (t7 + 4); + t14 = *((unsigned int *)t7); + *((unsigned int *)t7) = (t14 | t8); + t15 = *((unsigned int *)t13); + *((unsigned int *)t13) = (t15 | t9); + xsi_driver_vfirst_trans(t2, 0, 0U); + t16 = (t0 + 8512); + *((int *)t16) = 1; + +LAB1: return; +} + +static void Cont_48_1(char *t0) +{ + char *t1; + char *t2; + char *t3; + char *t4; + char *t5; + char *t6; + char *t7; + char *t8; + char *t9; + unsigned int t10; + unsigned int t11; + char *t12; + unsigned int t13; + unsigned int t14; + char *t15; + unsigned int t16; + unsigned int t17; + char *t18; + +LAB0: t1 = (t0 + 7200U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: xsi_set_current_line(48, ng0); + t2 = (t0 + 3640); + t3 = (t2 + 56U); + t4 = *((char **)t3); + t5 = (t0 + 8704); + t6 = (t5 + 56U); + t7 = *((char **)t6); + t8 = (t7 + 56U); + t9 = *((char **)t8); + memset(t9, 0, 8); + t10 = 1U; + t11 = t10; + t12 = (t4 + 4); + t13 = *((unsigned int *)t4); + t10 = (t10 & t13); + t14 = *((unsigned int *)t12); + t11 = (t11 & t14); + t15 = (t9 + 4); + t16 = *((unsigned int *)t9); + *((unsigned int *)t9) = (t16 | t10); + t17 = *((unsigned int *)t15); + *((unsigned int *)t15) = (t17 | t11); + xsi_driver_vfirst_trans(t5, 0, 0); + t18 = (t0 + 8528); + *((int *)t18) = 1; + +LAB1: return; +} + +static void Cont_49_2(char *t0) +{ + char *t1; + char *t2; + char *t3; + char *t4; + char *t5; + char *t6; + char *t7; + char *t8; + char *t9; + unsigned int t10; + unsigned int t11; + char *t12; + unsigned int t13; + unsigned int t14; + char *t15; + unsigned int t16; + unsigned int t17; + char *t18; + +LAB0: t1 = (t0 + 7448U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: xsi_set_current_line(49, ng0); + t2 = (t0 + 3800); + t3 = (t2 + 56U); + t4 = *((char **)t3); + t5 = (t0 + 8768); + t6 = (t5 + 56U); + t7 = *((char **)t6); + t8 = (t7 + 56U); + t9 = *((char **)t8); + memset(t9, 0, 8); + t10 = 1U; + t11 = t10; + t12 = (t4 + 4); + t13 = *((unsigned int *)t4); + t10 = (t10 & t13); + t14 = *((unsigned int *)t12); + t11 = (t11 & t14); + t15 = (t9 + 4); + t16 = *((unsigned int *)t9); + *((unsigned int *)t9) = (t16 | t10); + t17 = *((unsigned int *)t15); + *((unsigned int *)t15) = (t17 | t11); + xsi_driver_vfirst_trans(t5, 0, 0); + t18 = (t0 + 8544); + *((int *)t18) = 1; + +LAB1: return; +} + +static void Cont_50_3(char *t0) +{ + char *t1; + char *t2; + char *t3; + char *t4; + char *t5; + char *t6; + char *t7; + char *t8; + char *t9; + unsigned int t10; + unsigned int t11; + char *t12; + unsigned int t13; + unsigned int t14; + char *t15; + unsigned int t16; + unsigned int t17; + char *t18; + +LAB0: t1 = (t0 + 7696U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: xsi_set_current_line(50, ng0); + t2 = (t0 + 3960); + t3 = (t2 + 56U); + t4 = *((char **)t3); + t5 = (t0 + 8832); + t6 = (t5 + 56U); + t7 = *((char **)t6); + t8 = (t7 + 56U); + t9 = *((char **)t8); + memset(t9, 0, 8); + t10 = 1U; + t11 = t10; + t12 = (t4 + 4); + t13 = *((unsigned int *)t4); + t10 = (t10 & t13); + t14 = *((unsigned int *)t12); + t11 = (t11 & t14); + t15 = (t9 + 4); + t16 = *((unsigned int *)t9); + *((unsigned int *)t9) = (t16 | t10); + t17 = *((unsigned int *)t15); + *((unsigned int *)t15) = (t17 | t11); + xsi_driver_vfirst_trans(t5, 0, 0); + t18 = (t0 + 8560); + *((int *)t18) = 1; + +LAB1: return; +} + +static void Initial_52_4(char *t0) +{ + char *t1; + char *t2; + char *t3; + char *t4; + +LAB0: t1 = (t0 + 7944U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: xsi_set_current_line(52, ng0); + +LAB4: xsi_set_current_line(53, ng0); + t2 = ((char*)((ng1))); + t3 = (t0 + 3640); + xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); + xsi_set_current_line(54, ng0); + t2 = ((char*)((ng1))); + t3 = (t0 + 3960); + xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); + xsi_set_current_line(55, ng0); + t2 = (t0 + 7752); + xsi_process_wait(t2, 100000LL); + *((char **)t1) = &&LAB5; + +LAB1: return; +LAB5: xsi_set_current_line(56, ng0); + t3 = ((char*)((ng2))); + t4 = (t0 + 3640); + xsi_vlogvar_assign_value(t4, t3, 0, 0, 1); + xsi_set_current_line(57, ng0); + t2 = ((char*)((ng2))); + t3 = (t0 + 3960); + xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); + goto LAB1; + +} + +static void Initial_60_5(char *t0) +{ + char *t1; + char *t2; + char *t3; + char *t4; + +LAB0: t1 = (t0 + 8192U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: xsi_set_current_line(60, ng0); + +LAB4: xsi_set_current_line(61, ng0); + t2 = ((char*)((ng1))); + t3 = (t0 + 3800); + xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); + xsi_set_current_line(62, ng0); + t2 = (t0 + 8000); + xsi_process_wait(t2, 0LL); + *((char **)t1) = &&LAB5; + +LAB1: return; +LAB5: xsi_set_current_line(63, ng0); + t3 = ((char*)((ng2))); + t4 = (t0 + 3800); + xsi_vlogvar_assign_value(t4, t3, 0, 0, 1); + goto LAB1; + +} + + +extern void work_m_16541823861846354283_2073120511_init() +{ + static char *pe[] = {(void *)NetDecl_16_0,(void *)Cont_48_1,(void *)Cont_49_2,(void *)Cont_50_3,(void *)Initial_52_4,(void *)Initial_60_5}; + xsi_register_didat("work_m_16541823861846354283_2073120511", "isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.didat"); + xsi_register_executes(pe); +} diff --git a/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.didat b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.didat Binary files differnew file mode 100644 index 0000000..264f658 --- /dev/null +++ b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.didat diff --git a/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.lin64.o b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.lin64.o Binary files differnew file mode 100644 index 0000000..ca1600f --- /dev/null +++ b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_16541823861846354283_2073120511.lin64.o diff --git a/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_17956504886923659924_0893867553.c b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_17956504886923659924_0893867553.c new file mode 100644 index 0000000..8faff9c --- /dev/null +++ b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_17956504886923659924_0893867553.c @@ -0,0 +1,108 @@ +/**********************************************************************/ +/* ____ ____ */ +/* / /\/ / */ +/* /___/ \ / */ +/* \ \ \/ */ +/* \ \ 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/TEST_Bin2BCD.v"; +static int ng1[] = {0, 0}; +static int ng2[] = {7, 0}; +static int ng3[] = {16, 0}; +static int ng4[] = {217, 0}; +static int ng5[] = {1839, 0}; + + + +static void Initial_45_0(char *t0) +{ + char *t1; + char *t2; + char *t3; + +LAB0: t1 = (t0 + 2840U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: xsi_set_current_line(45, ng0); + +LAB4: xsi_set_current_line(47, ng0); + t2 = ((char*)((ng1))); + t3 = (t0 + 1928); + xsi_vlogvar_assign_value(t3, t2, 0, 0, 16); + xsi_set_current_line(50, ng0); + t2 = (t0 + 2648); + xsi_process_wait(t2, 100000LL); + *((char **)t1) = &&LAB5; + +LAB1: return; +LAB5: xsi_set_current_line(51, ng0); + t2 = ((char*)((ng2))); + t3 = (t0 + 1928); + xsi_vlogvar_assign_value(t3, t2, 0, 0, 16); + xsi_set_current_line(51, ng0); + t2 = (t0 + 2648); + xsi_process_wait(t2, 50000LL); + *((char **)t1) = &&LAB6; + goto LAB1; + +LAB6: xsi_set_current_line(52, ng0); + t2 = ((char*)((ng3))); + t3 = (t0 + 1928); + xsi_vlogvar_assign_value(t3, t2, 0, 0, 16); + xsi_set_current_line(52, ng0); + t2 = (t0 + 2648); + xsi_process_wait(t2, 50000LL); + *((char **)t1) = &&LAB7; + goto LAB1; + +LAB7: xsi_set_current_line(53, ng0); + t2 = ((char*)((ng4))); + t3 = (t0 + 1928); + xsi_vlogvar_assign_value(t3, t2, 0, 0, 16); + xsi_set_current_line(53, ng0); + t2 = (t0 + 2648); + xsi_process_wait(t2, 50000LL); + *((char **)t1) = &&LAB8; + goto LAB1; + +LAB8: xsi_set_current_line(54, ng0); + t2 = ((char*)((ng5))); + t3 = (t0 + 1928); + xsi_vlogvar_assign_value(t3, t2, 0, 0, 16); + xsi_set_current_line(54, ng0); + t2 = (t0 + 2648); + xsi_process_wait(t2, 50000LL); + *((char **)t1) = &&LAB9; + goto LAB1; + +LAB9: goto LAB1; + +} + + +extern void work_m_17956504886923659924_0893867553_init() +{ + static char *pe[] = {(void *)Initial_45_0}; + xsi_register_didat("work_m_17956504886923659924_0893867553", "isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_17956504886923659924_0893867553.didat"); + xsi_register_executes(pe); +} diff --git a/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_17956504886923659924_0893867553.didat b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_17956504886923659924_0893867553.didat Binary files differnew file mode 100644 index 0000000..a107fb0 --- /dev/null +++ b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_17956504886923659924_0893867553.didat diff --git a/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_17956504886923659924_0893867553.lin64.o b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_17956504886923659924_0893867553.lin64.o Binary files differnew file mode 100644 index 0000000..3620501 --- /dev/null +++ b/isim/TEST_Bin2BCD_isim_beh.exe.sim/work/m_17956504886923659924_0893867553.lin64.o |