15 #define XSI_HIDE_SYMBOL_SPEC true
22 #define alloca _alloca
24 static const char* ng0 =
25 "D:/cbradford/WorkingExampleCollinDebug/GPS_ADC_/GEL_CAPTAN/ipcore_dir/ethernetFIFO/"
26 "simulation/ethernetFIFO_dverif.vhd";
27 extern char* IEEE_P_2592010699;
28 extern char* IEEE_P_3620187407;
30 unsigned char ieee_p_2592010699_sub_1605435078_503743352(
char*,
33 unsigned char ieee_p_2592010699_sub_1690584930_503743352(
char*,
unsigned char);
35 static void work_a_0562365326_3192441503_p_0(
char* t0)
47 xsi_set_current_line(106, ng0);
52 t3 = *((
unsigned char*)t2);
58 *((
unsigned char*)t7) = t3;
59 xsi_driver_first_trans_fast_port(t1);
71 static void work_a_0562365326_3192441503_p_1(
char* t0)
83 xsi_set_current_line(107, ng0);
88 t3 = *((
unsigned char*)t2);
94 *((
unsigned char*)t7) = t3;
95 xsi_driver_first_trans_fast_port(t1);
107 static void work_a_0562365326_3192441503_p_2(
char* t0)
119 xsi_set_current_line(108, ng0);
124 t3 = *((
unsigned char*)t2);
130 *((
unsigned char*)t7) = t3;
131 xsi_driver_first_trans_fast(t1);
143 static void work_a_0562365326_3192441503_p_3(
char* t0)
169 xsi_set_current_line(117, ng0);
172 t3 = *((
unsigned char*)t2);
173 t4 = (t3 == (
unsigned char)3);
179 t4 = xsi_signal_has_event(t1);
184 t3 = (
unsigned char)0;
198 xsi_set_current_line(118, ng0);
204 *((
unsigned char*)t8) = (
unsigned char)2;
205 xsi_driver_first_trans_fast(t1);
209 xsi_set_current_line(120, ng0);
212 t13 = *((
unsigned char*)t6);
213 t14 = (t13 == (
unsigned char)2);
218 t12 = (
unsigned char)0;
225 t11 = (
unsigned char)0;
238 t9 = *((
unsigned char*)t5);
239 t10 = (t9 == (
unsigned char)3);
244 xsi_set_current_line(121, ng0);
247 t20 = *((
char**)t19);
249 t22 = *((
char**)t21);
250 *((
unsigned char*)t22) = (
unsigned char)3;
251 xsi_driver_first_trans_fast(t2);
257 t17 = *((
unsigned char*)t8);
258 t18 = (t17 == (
unsigned char)2);
265 t15 = *((
unsigned char*)t7);
266 t16 = (t15 == (
unsigned char)3);
271 static void work_a_0562365326_3192441503_p_4(
char* t0)
290 xsi_set_current_line(126, ng0);
295 t3 = *((
unsigned char*)t2);
298 t5 = *((
unsigned char*)t4);
299 t6 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t5);
300 t7 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t3, t6);
303 t9 = *((
unsigned char*)t8);
304 t10 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t7, t9);
307 t12 = *((
char**)t11);
309 t14 = *((
char**)t13);
310 *((
unsigned char*)t14) = t10;
311 xsi_driver_first_trans_fast(t1);
323 static void work_a_0562365326_3192441503_p_5(
char* t0)
339 xsi_set_current_line(127, ng0);
353 t11 = *((
char**)t10);
354 memcpy(t11, t1, 128U);
355 xsi_driver_first_trans_fast(t7);
367 static void work_a_0562365326_3192441503_p_6(
char* t0)
398 xsi_set_current_line(145, ng0);
401 t3 = *((
unsigned char*)t2);
402 t4 = (t3 == (
unsigned char)3);
408 t4 = xsi_signal_has_event(t1);
413 t3 = (
unsigned char)0;
427 xsi_set_current_line(146, ng0);
433 *((
unsigned char*)t8) = (
unsigned char)2;
434 xsi_driver_first_trans_fast(t1);
438 xsi_set_current_line(148, ng0);
441 t12 = *((
unsigned char*)t6);
442 t13 = (t12 == (
unsigned char)2);
447 t11 = (
unsigned char)0;
460 t9 = *((
unsigned char*)t5);
461 t10 = (t9 == (
unsigned char)3);
466 xsi_set_current_line(149, ng0);
471 t21 = *((
char**)t20);
473 t22 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t19, t2, t21, t20);
478 xsi_set_current_line(152, ng0);
484 *((
unsigned char*)t7) = (
unsigned char)3;
485 xsi_driver_first_trans_fast(t1);
493 t15 = *((
unsigned char*)t7);
494 t16 = (t15 == (
unsigned char)3);
499 t14 = (
unsigned char)0;
508 t17 = *((
unsigned char*)t8);
509 t18 = (t17 == (
unsigned char)3);
514 xsi_set_current_line(150, ng0);
517 t25 = *((
char**)t24);
519 t27 = *((
char**)t26);
520 *((
unsigned char*)t27) = (
unsigned char)2;
521 xsi_driver_first_trans_fast(t23);
525 extern void work_a_0562365326_3192441503_init()
527 static char* pe[] = {(
void*)work_a_0562365326_3192441503_p_0,
528 (
void*)work_a_0562365326_3192441503_p_1,
529 (
void*)work_a_0562365326_3192441503_p_2,
530 (
void*)work_a_0562365326_3192441503_p_3,
531 (
void*)work_a_0562365326_3192441503_p_4,
532 (
void*)work_a_0562365326_3192441503_p_5,
533 (
void*)work_a_0562365326_3192441503_p_6};
534 xsi_register_didat("work_a_0562365326_3192441503",
536 xsi_register_executes(pe);