text: /**********************************************************************/
  /*   ____  ____                                                       */
  /*  /   /\/   /                                                       */
  /* /___/  \  /                                                        */
  /* \   \   \/                                                       */
  /*  \   \        Copyright (c) 2003-2009 Xilinx, Inc.                */
  /*  /   /          All Right Reserved.                                 */
  /* /---/   /\                                                         */
  /* \   \  /  \                                                      */
  /*  \___\/\___\                                                    */
  /***********************************************************************/
  
  /* This file is designed for use with ISim build 0xc3576ebc */
  
  #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 = "v:/hipsBuilds/P_hips_v05.0/rst/hips/gtxe1/B_GTXE1_enc.v";
  static unsigned int ng1[] = {0U, 0U};
  static unsigned int ng2[] = {1U, 0U};
  
  
  
  static void NetDecl_49855_0(char *t0)
  {
      char t3[8];
      char t6[8];
      char *t1;
      char *t2;
      char *t4;
      char *t5;
      unsigned int t7;
      unsigned int t8;
      unsigned int t9;
      char *t10;
      char *t11;
      unsigned int t12;
      unsigned int t13;
      unsigned int t14;
      unsigned int t15;
      unsigned int t16;
      unsigned int t17;
      unsigned int t18;
      char *t19;
      char *t20;
      unsigned int t21;
      unsigned int t22;
      unsigned int t23;
      unsigned int t24;
      unsigned int t25;
      unsigned int t26;
      unsigned int t27;
      unsigned int t28;
      int t29;
      int t30;
      unsigned int t31;
      unsigned int t32;
      unsigned int t33;
      unsigned int t34;
      unsigned int t35;
      unsigned int t36;
      char *t37;
      unsigned int t38;
      unsigned int t39;
      unsigned int t40;
      unsigned int t41;
      unsigned int t42;
      char *t43;
      char *t44;
      char *t45;
      unsigned int t46;
      unsigned int t47;
      unsigned int t48;
      unsigned int t49;
      unsigned int t50;
      unsigned int t51;
      unsigned int t52;
      unsigned int t53;
      char *t54;
      char *t55;
      char *t56;
      char *t57;
      char *t58;
      unsigned int t59;
      unsigned int t60;
      char *t61;
      unsigned int t62;
      unsigned int t63;
      char *t64;
      unsigned int t65;
      unsigned int t66;
      char *t67;
  
  LAB0:    t1 = (t0 + 3328U);
      t2 = *((char **)t1);
      if (t2 == 0)
          goto LAB2;
  
  LAB3:    goto *t2;
  
  LAB2:    xsi_set_current_line(49855, ng0);
      t2 = (t0 + 1368U);
      t4 = *((char **)t2);
      t2 = (t0 + 1208U);
      t5 = *((char **)t2);
      t7 = *((unsigned int *)t4);
      t8 = *((unsigned int *)t5);
      t9 = (t7 & t8);
      *((unsigned int *)t6) = t9;
      t2 = (t4 + 4);
      t10 = (t5 + 4);
      t11 = (t6 + 4);
      t12 = *((unsigned int *)t2);
      t13 = *((unsigned int *)t10);
      t14 = (t12 | t13);
      *((unsigned int *)t11) = t14;
      t15 = *((unsigned int *)t11);
      t16 = (t15 != 0);
      if (t16 == 1)
          goto LAB4;
  
  LAB5:
  LAB6:    memset(t3, 0, 8);
      t37 = (t6 + 4);
      t38 = *((unsigned int *)t37);
      t39 = (~(t38));
      t40 = *((unsigned int *)t6);
      t41 = (t40 & t39);
      t42 = (t41 & 1U);
      if (t42 != 0)
          goto LAB10;
  
  LAB8:    if (*((unsigned int *)t37) == 0)
          goto LAB7;
  
  LAB9:    t43 = (t3 + 4);
      *((unsigned int *)t3) = 1;
      *((unsigned int *)t43) = 1;
  
  LAB10:    t44 = (t3 + 4);
      t45 = (t6 + 4);
      t46 = *((unsigned int *)t6);
      t47 = (~(t46));
      *((unsigned int *)t3) = t47;
      *((unsigned int *)t44) = 0;
      if (*((unsigned int *)t45) != 0)
          goto LAB12;
  
  LAB11:    t52 = *((unsigned int *)t3);
      *((unsigned int *)t3) = (t52 & 1U);
      t53 = *((unsigned int *)t44);
      *((unsigned int *)t44) = (t53 & 1U);
      t54 = (t0 + 4488);
      t55 = (t54 + 56U);
      t56 = *((char **)t55);
      t57 = (t56 + 56U);
      t58 = *((char **)t57);
      memset(t58, 0, 8);
      t59 = 1U;
      t60 = t59;
      t61 = (t3 + 4);
      t62 = *((unsigned int *)t3);
      t59 = (t59 & t62);
      t63 = *((unsigned int *)t61);
      t60 = (t60 & t63);
      t64 = (t58 + 4);
      t65 = *((unsigned int *)t58);
      *((unsigned int *)t58) = (t65 | t59);
      t66 = *((unsigned int *)t64);
      *((unsigned int *)t64) = (t66 | t60);
      xsi_driver_vfirst_trans_delayed(t54, 0, 0U, 50LL, 0);
      t67 = (t0 + 4392);
      *((int *)t67) = 1;
  
  LAB1:    return;
  LAB4:    t17 = *((unsigned int *)t6);
      t18 = *((unsigned int *)t11);
      *((unsigned int *)t6) = (t17 | t18);
      t19 = (t4 + 4);
      t20 = (t5 + 4);
      t21 = *((unsigned int *)t4);
      t22 = (~(t21));
      t23 = *((unsigned int *)t19);
      t24 = (~(t23));
      t25 = *((unsigned int *)t5);
      t26 = (~(t25));
      t27 = *((unsigned int *)t20);
      t28 = (~(t27));
      t29 = (t22 & t24);
      t30 = (t26 & t28);
      t31 = (~(t29));
      t32 = (~(t30));
      t33 = *((unsigned int *)t11);
      *((unsigned int *)t11) = (t33 & t31);
      t34 = *((unsigned int *)t11);
      *((unsigned int *)t11) = (t34 & t32);
      t35 = *((unsigned int *)t6);
      *((unsigned int *)t6) = (t35 & t31);
      t36 = *((unsigned int *)t6);
      *((unsigned int *)t6) = (t36 & t32);
      goto LAB6;
  
  LAB7:    *((unsigned int *)t3) = 1;
      goto LAB10;
  
  LAB12:    t48 = *((unsigned int *)t3);
      t49 = *((unsigned int *)t45);
      *((unsigned int *)t3) = (t48 | t49);
      t50 = *((unsigned int *)t44);
      t51 = *((unsigned int *)t45);
      *((unsigned int *)t44) = (t50 | t51);
      goto LAB11;
  
  }
  
  static void NetDecl_49856_1(char *t0)
  {
      char t3[8];
      char t4[8];
      char t22[8];
      char t41[8];
      char *t1;
      char *t2;
      char *t5;
      unsigned int t6;
      unsigned int t7;
      unsigned int t8;
      unsigned int t9;
      unsigned int t10;
      char *t11;
      char *t12;
      char *t13;
      unsigned int t14;
      unsigned int t15;
      unsigned int t16;
      unsigned int t17;
      unsigned int t18;
      unsigned int t19;
      unsigned int t20;
      unsigned int t21;
      char *t23;
      char *t24;
      unsigned int t25;
      unsigned int t26;
      unsigned int t27;
      unsigned int t28;
      unsigned int t29;
      char *t30;
      char *t31;
      char *t32;
      unsigned int t33;
      unsigned int t34;
      unsigned int t35;
      unsigned int t36;
      unsigned int t37;
      unsigned int t38;
      unsigned int t39;
      unsigned int t40;
      unsigned int t42;
      unsigned int t43;
      unsigned int t44;
      char *t45;
      char *t46;
      char *t47;
      unsigned int t48;
      unsigned int 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;
      unsigned int t60;
      unsigned int t61;
      unsigned int t62;
      unsigned int t63;
      unsigned int t64;
      int t65;
      int t66;
      unsigned int t67;
      unsigned int t68;
      unsigned int t69;
      unsigned int t70;
      unsigned int t71;
      unsigned int t72;
      char *t73;
      unsigned int t74;
      unsigned int t75;
      unsigned int t76;
      unsigned int t77;
      unsigned int t78;
      char *t79;
      char *t80;
      char *t81;
      unsigned int t82;
      unsigned int t83;
      unsigned int t84;
      unsigned int t85;
      unsigned int t86;
      unsigned int t87;
      unsigned int t88;
      unsigned int t89;
      char *t90;
      char *t91;
      char *t92;
      char *t93;
      char *t94;
      unsigned int t95;
      unsigned int t96;
      char *t97;
      unsigned int t98;
      unsigned int t99;
      char *t100;
      unsigned int t101;
      unsigned int t102;
      char *t103;
  
  LAB0:    t1 = (t0 + 3576U);
      t2 = *((char **)t1);
      if (t2 == 0)
          goto LAB2;
  
  LAB3:    goto *t2;
  
  LAB2:    xsi_set_current_line(49856, ng0);
      t2 = (t0 + 1528U);
      t5 = *((char **)t2);
      memset(t4, 0, 8);
      t2 = (t5 + 4);
      t6 = *((unsigned int *)t2);
      t7 = (~(t6));
      t8 = *((unsigned int *)t5);
      t9 = (t8 & t7);
      t10 = (t9 & 1U);
      if (t10 != 0)
          goto LAB7;
  
  LAB5:    if (*((unsigned int *)t2) == 0)
          goto LAB4;
  
  LAB6:    t11 = (t4 + 4);
      *((unsigned int *)t4) = 1;
      *((unsigned int *)t11) = 1;
  
  LAB7:    t12 = (t4 + 4);
      t13 = (t5 + 4);
      t14 = *((unsigned int *)t5);
      t15 = (~(t14));
      *((unsigned int *)t4) = t15;
      *((unsigned int *)t12) = 0;
      if (*((unsigned int *)t13) != 0)
          goto LAB9;
  
  LAB8:    t20 = *((unsigned int *)t4);
      *((unsigned int *)t4) = (t20 & 1U);
      t21 = *((unsigned int *)t12);
      *((unsigned int *)t12) = (t21 & 1U);
      t23 = (t0 + 1208U);
      t24 = *((char **)t23);
      memset(t22, 0, 8);
      t23 = (t24 + 4);
      t25 = *((unsigned int *)t23);
      t26 = (~(t25));
      t27 = *((unsigned int *)t24);
      t28 = (t27 & t26);
      t29 = (t28 & 1U);
      if (t29 != 0)
          goto LAB13;
  
  LAB11:    if (*((unsigned int *)t23) == 0)
          goto LAB10;
  
  LAB12:    t30 = (t22 + 4);
      *((unsigned int *)t22) = 1;
      *((unsigned int *)t30) = 1;
  
  LAB13:    t31 = (t22 + 4);
      t32 = (t24 + 4);
      t33 = *((unsigned int *)t24);
      t34 = (~(t33));
      *((unsigned int *)t22) = t34;
      *((unsigned int *)t31) = 0;
      if (*((unsigned int *)t32) != 0)
          goto LAB15;
  
  LAB14:    t39 = *((unsigned int *)t22);
      *((unsigned int *)t22) = (t39 & 1U);
      t40 = *((unsigned int *)t31);
      *((unsigned int *)t31) = (t40 & 1U);
      t42 = *((unsigned int *)t4);
      t43 = *((unsigned int *)t22);
      t44 = (t42 & t43);
      *((unsigned int *)t41) = t44;
      t45 = (t4 + 4);
      t46 = (t22 + 4);
      t47 = (t41 + 4);
      t48 = *((unsigned int *)t45);
      t49 = *((unsigned int *)t46);
      t50 = (t48 | t49);
      *((unsigned int *)t47) = t50;
      t51 = *((unsigned int *)t47);
      t52 = (t51 != 0);
      if (t52 == 1)
          goto LAB16;
  
  LAB17:
  LAB18:    memset(t3, 0, 8);
      t73 = (t41 + 4);
      t74 = *((unsigned int *)t73);
      t75 = (~(t74));
      t76 = *((unsigned int *)t41);
      t77 = (t76 & t75);
      t78 = (t77 & 1U);
      if (t78 != 0)
          goto LAB22;
  
  LAB20:    if (*((unsigned int *)t73) == 0)
          goto LAB19;
  
  LAB21:    t79 = (t3 + 4);
      *((unsigned int *)t3) = 1;
      *((unsigned int *)t79) = 1;
  
  LAB22:    t80 = (t3 + 4);
      t81 = (t41 + 4);
      t82 = *((unsigned int *)t41);
      t83 = (~(t82));
      *((unsigned int *)t3) = t83;
      *((unsigned int *)t80) = 0;
      if (*((unsigned int *)t81) != 0)
          goto LAB24;
  
  LAB23:    t88 = *((unsigned int *)t3);
      *((unsigned int *)t3) = (t88 & 1U);
      t89 = *((unsigned int *)t80);
      *((unsigned int *)t80) = (t89 & 1U);
      t90 = (t0 + 4552);
      t91 = (t90 + 56U);
      t92 = *((char **)t91);
      t93 = (t92 + 56U);
      t94 = *((char **)t93);
      memset(t94, 0, 8);
      t95 = 1U;
      t96 = t95;
      t97 = (t3 + 4);
      t98 = *((unsigned int *)t3);
      t95 = (t95 & t98);
      t99 = *((unsigned int *)t97);
      t96 = (t96 & t99);
      t100 = (t94 + 4);
      t101 = *((unsigned int *)t94);
      *((unsigned int *)t94) = (t101 | t95);
      t102 = *((unsigned int *)t100);
      *((unsigned int *)t100) = (t102 | t96);
      xsi_driver_vfirst_trans_delayed(t90, 0, 0U, 50LL, 0);
      t103 = (t0 + 4408);
      *((int *)t103) = 1;
  
  LAB1:    return;
  LAB4:    *((unsigned int *)t4) = 1;
      goto LAB7;
  
  LAB9:    t16 = *((unsigned int *)t4);
      t17 = *((unsigned int *)t13);
      *((unsigned int *)t4) = (t16 | t17);
      t18 = *((unsigned int *)t12);
      t19 = *((unsigned int *)t13);
      *((unsigned int *)t12) = (t18 | t19);
      goto LAB8;
  
  LAB10:    *((unsigned int *)t22) = 1;
      goto LAB13;
  
  LAB15:    t35 = *((unsigned int *)t22);
      t36 = *((unsigned int *)t32);
      *((unsigned int *)t22) = (t35 | t36);
      t37 = *((unsigned int *)t31);
      t38 = *((unsigned int *)t32);
      *((unsigned int *)t31) = (t37 | t38);
      goto LAB14;
  
  LAB16:    t53 = *((unsigned int *)t41);
      t54 = *((unsigned int *)t47);
      *((unsigned int *)t41) = (t53 | t54);
      t55 = (t4 + 4);
      t56 = (t22 + 4);
      t57 = *((unsigned int *)t4);
      t58 = (~(t57));
      t59 = *((unsigned int *)t55);
      t60 = (~(t59));
      t61 = *((unsigned int *)t22);
      t62 = (~(t61));
      t63 = *((unsigned int *)t56);
      t64 = (~(t63));
      t65 = (t58 & t60);
      t66 = (t62 & t64);
      t67 = (~(t65));
      t68 = (~(t66));
      t69 = *((unsigned int *)t47);
      *((unsigned int *)t47) = (t69 & t67);
      t70 = *((unsigned int *)t47);
      *((unsigned int *)t47) = (t70 & t68);
      t71 = *((unsigned int *)t41);
      *((unsigned int *)t41) = (t71 & t67);
      t72 = *((unsigned int *)t41);
      *((unsigned int *)t41) = (t72 & t68);
      goto LAB18;
  
  LAB19:    *((unsigned int *)t3) = 1;
      goto LAB22;
  
  LAB24:    t84 = *((unsigned int *)t3);
      t85 = *((unsigned int *)t81);
      *((unsigned int *)t3) = (t84 | t85);
      t86 = *((unsigned int *)t80);
      t87 = *((unsigned int *)t81);
      *((unsigned int *)t80) = (t86 | t87);
      goto LAB23;
  
  }
  
  static void implSig1_execute(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;
  
  LAB0:    t1 = (t0 + 3824U);
      t2 = *((char **)t1);
      if (t2 == 0)
          goto LAB2;
  
  LAB3:    goto *t2;
  
  LAB2:    t2 = ((char*)((ng1)));
      t3 = (t0 + 4616);
      t4 = (t3 + 56U);
      t5 = *((char **)t4);
      t6 = (t5 + 56U);
      t7 = *((char **)t6);
      memset(t7, 0, 8);
      t8 = 1U;
      t9 = t8;
      t10 = (t2 + 4);
      t11 = *((unsigned int *)t2);
      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(t3, 0, 0);
  
  LAB1:    return;
  }
  
  static void implSig2_execute(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;
  
  LAB0:    t1 = (t0 + 4072U);
      t2 = *((char **)t1);
      if (t2 == 0)
          goto LAB2;
  
  LAB3:    goto *t2;
  
  LAB2:    t2 = ((char*)((ng2)));
      t3 = (t0 + 4680);
      t4 = (t3 + 56U);
      t5 = *((char **)t4);
      t6 = (t5 + 56U);
      t7 = *((char **)t6);
      memset(t7, 0, 8);
      t8 = 1U;
      t9 = t8;
      t10 = (t2 + 4);
      t11 = *((unsigned int *)t2);
      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(t3, 0, 0);
  
  LAB1:    return;
  }
  
  
  extern void secureip_m_00000000000592613109_0004126851_init()
  {
  	static char *pe[] = {(void *)NetDecl_49855_0,(void *)NetDecl_49856_1,(void *)implSig1_execute,(void *)implSig2_execute};
  	xsi_register_didat("secureip_m_00000000000592613109_0004126851", "isim/top_test_bench.exe.sim/secureip/m_00000000000592613109_0004126851.didat");
  	xsi_register_executes(pe);
  }
  