otsdaq_prepmodernization  v2_05_02_indev
a_0562365326_3192441503.c
1 /**********************************************************************/
2 /* ____ ____ */
3 /* / /\/ / */
4 /* /___/ \ / */
5 /* \ \ \/ */
6 /* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
7 /* / / All Right Reserved. */
8 /* /---/ /\ */
9 /* \ \ / \ */
10 /* \___\/\___\ */
11 /***********************************************************************/
12 
13 /* This file is designed for use with ISim build 0x7708f090 */
14 
15 #define XSI_HIDE_SYMBOL_SPEC true
16 #include <memory.h>
17 #include "xsi.h"
18 #ifdef __GNUC__
19 #include <stdlib.h>
20 #else
21 #include <malloc.h>
22 #define alloca _alloca
23 #endif
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;
29 
30 unsigned char ieee_p_2592010699_sub_1605435078_503743352(char*,
31  unsigned char,
32  unsigned char);
33 unsigned char ieee_p_2592010699_sub_1690584930_503743352(char*, unsigned char);
34 
35 static void work_a_0562365326_3192441503_p_0(char* t0)
36 {
37  char* t1;
38  char* t2;
39  unsigned char t3;
40  char* t4;
41  char* t5;
42  char* t6;
43  char* t7;
44  char* t8;
45 
46 LAB0:
47  xsi_set_current_line(106, ng0);
48 
49 LAB3:
50  t1 = (t0 + 6800U);
51  t2 = *((char**)t1);
52  t3 = *((unsigned char*)t2);
53  t1 = (t0 + 13464);
54  t4 = (t1 + 56U);
55  t5 = *((char**)t4);
56  t6 = (t5 + 56U);
57  t7 = *((char**)t6);
58  *((unsigned char*)t7) = t3;
59  xsi_driver_first_trans_fast_port(t1);
60 
61 LAB2:
62  t8 = (t0 + 13288);
63  *((int*)t8) = 1;
64 
65 LAB1:
66  return;
67 LAB4:
68  goto LAB2;
69 }
70 
71 static void work_a_0562365326_3192441503_p_1(char* t0)
72 {
73  char* t1;
74  char* t2;
75  unsigned char t3;
76  char* t4;
77  char* t5;
78  char* t6;
79  char* t7;
80  char* t8;
81 
82 LAB0:
83  xsi_set_current_line(107, ng0);
84 
85 LAB3:
86  t1 = (t0 + 7120U);
87  t2 = *((char**)t1);
88  t3 = *((unsigned char*)t2);
89  t1 = (t0 + 13528);
90  t4 = (t1 + 56U);
91  t5 = *((char**)t4);
92  t6 = (t5 + 56U);
93  t7 = *((char**)t6);
94  *((unsigned char*)t7) = t3;
95  xsi_driver_first_trans_fast_port(t1);
96 
97 LAB2:
98  t8 = (t0 + 13304);
99  *((int*)t8) = 1;
100 
101 LAB1:
102  return;
103 LAB4:
104  goto LAB2;
105 }
106 
107 static void work_a_0562365326_3192441503_p_2(char* t0)
108 {
109  char* t1;
110  char* t2;
111  unsigned char t3;
112  char* t4;
113  char* t5;
114  char* t6;
115  char* t7;
116  char* t8;
117 
118 LAB0:
119  xsi_set_current_line(108, ng0);
120 
121 LAB3:
122  t1 = (t0 + 5840U);
123  t2 = *((char**)t1);
124  t3 = *((unsigned char*)t2);
125  t1 = (t0 + 13592);
126  t4 = (t1 + 56U);
127  t5 = *((char**)t4);
128  t6 = (t5 + 56U);
129  t7 = *((char**)t6);
130  *((unsigned char*)t7) = t3;
131  xsi_driver_first_trans_fast(t1);
132 
133 LAB2:
134  t8 = (t0 + 13320);
135  *((int*)t8) = 1;
136 
137 LAB1:
138  return;
139 LAB4:
140  goto LAB2;
141 }
142 
143 static void work_a_0562365326_3192441503_p_3(char* t0)
144 {
145  char* t1;
146  char* t2;
147  unsigned char t3;
148  unsigned char t4;
149  char* t5;
150  char* t6;
151  char* t7;
152  char* t8;
153  unsigned char t9;
154  unsigned char t10;
155  unsigned char t11;
156  unsigned char t12;
157  unsigned char t13;
158  unsigned char t14;
159  unsigned char t15;
160  unsigned char t16;
161  unsigned char t17;
162  unsigned char t18;
163  char* t19;
164  char* t20;
165  char* t21;
166  char* t22;
167 
168 LAB0:
169  xsi_set_current_line(117, ng0);
170  t1 = (t0 + 5520U);
171  t2 = *((char**)t1);
172  t3 = *((unsigned char*)t2);
173  t4 = (t3 == (unsigned char)3);
174  if(t4 != 0)
175  goto LAB2;
176 
177 LAB4:
178  t1 = (t0 + 5640U);
179  t4 = xsi_signal_has_event(t1);
180  if(t4 == 1)
181  goto LAB7;
182 
183 LAB8:
184  t3 = (unsigned char)0;
185 
186 LAB9:
187  if(t3 != 0)
188  goto LAB5;
189 
190 LAB6:
191 LAB3:
192  t1 = (t0 + 13336);
193  *((int*)t1) = 1;
194 
195 LAB1:
196  return;
197 LAB2:
198  xsi_set_current_line(118, ng0);
199  t1 = (t0 + 13656);
200  t5 = (t1 + 56U);
201  t6 = *((char**)t5);
202  t7 = (t6 + 56U);
203  t8 = *((char**)t7);
204  *((unsigned char*)t8) = (unsigned char)2;
205  xsi_driver_first_trans_fast(t1);
206  goto LAB3;
207 
208 LAB5:
209  xsi_set_current_line(120, ng0);
210  t2 = (t0 + 6000U);
211  t6 = *((char**)t2);
212  t13 = *((unsigned char*)t6);
213  t14 = (t13 == (unsigned char)2);
214  if(t14 == 1)
215  goto LAB16;
216 
217 LAB17:
218  t12 = (unsigned char)0;
219 
220 LAB18:
221  if(t12 == 1)
222  goto LAB13;
223 
224 LAB14:
225  t11 = (unsigned char)0;
226 
227 LAB15:
228  if(t11 != 0)
229  goto LAB10;
230 
231 LAB12:
232 LAB11:
233  goto LAB3;
234 
235 LAB7:
236  t2 = (t0 + 5680U);
237  t5 = *((char**)t2);
238  t9 = *((unsigned char*)t5);
239  t10 = (t9 == (unsigned char)3);
240  t3 = t10;
241  goto LAB9;
242 
243 LAB10:
244  xsi_set_current_line(121, ng0);
245  t2 = (t0 + 13656);
246  t19 = (t2 + 56U);
247  t20 = *((char**)t19);
248  t21 = (t20 + 56U);
249  t22 = *((char**)t21);
250  *((unsigned char*)t22) = (unsigned char)3;
251  xsi_driver_first_trans_fast(t2);
252  goto LAB11;
253 
254 LAB13:
255  t2 = (t0 + 7440U);
256  t8 = *((char**)t2);
257  t17 = *((unsigned char*)t8);
258  t18 = (t17 == (unsigned char)2);
259  t11 = t18;
260  goto LAB15;
261 
262 LAB16:
263  t2 = (t0 + 7120U);
264  t7 = *((char**)t2);
265  t15 = *((unsigned char*)t7);
266  t16 = (t15 == (unsigned char)3);
267  t12 = t16;
268  goto LAB18;
269 }
270 
271 static void work_a_0562365326_3192441503_p_4(char* t0)
272 {
273  char* t1;
274  char* t2;
275  unsigned char t3;
276  char* t4;
277  unsigned char t5;
278  unsigned char t6;
279  unsigned char t7;
280  char* t8;
281  unsigned char t9;
282  unsigned char t10;
283  char* t11;
284  char* t12;
285  char* t13;
286  char* t14;
287  char* t15;
288 
289 LAB0:
290  xsi_set_current_line(126, ng0);
291 
292 LAB3:
293  t1 = (t0 + 7120U);
294  t2 = *((char**)t1);
295  t3 = *((unsigned char*)t2);
296  t1 = (t0 + 6000U);
297  t4 = *((char**)t1);
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);
301  t1 = (t0 + 7440U);
302  t8 = *((char**)t1);
303  t9 = *((unsigned char*)t8);
304  t10 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t7, t9);
305  t1 = (t0 + 13720);
306  t11 = (t1 + 56U);
307  t12 = *((char**)t11);
308  t13 = (t12 + 56U);
309  t14 = *((char**)t13);
310  *((unsigned char*)t14) = t10;
311  xsi_driver_first_trans_fast(t1);
312 
313 LAB2:
314  t15 = (t0 + 13352);
315  *((int*)t15) = 1;
316 
317 LAB1:
318  return;
319 LAB4:
320  goto LAB2;
321 }
322 
323 static void work_a_0562365326_3192441503_p_5(char* t0)
324 {
325  char* t1;
326  char* t2;
327  int t3;
328  unsigned int t4;
329  unsigned int t5;
330  unsigned int t6;
331  char* t7;
332  char* t8;
333  char* t9;
334  char* t10;
335  char* t11;
336  char* t12;
337 
338 LAB0:
339  xsi_set_current_line(127, ng0);
340 
341 LAB3:
342  t1 = (t0 + 6960U);
343  t2 = *((char**)t1);
344  t3 = (128 - 1);
345  t4 = (127 - t3);
346  t5 = (t4 * 1U);
347  t6 = (0 + t5);
348  t1 = (t2 + t6);
349  t7 = (t0 + 13784);
350  t8 = (t7 + 56U);
351  t9 = *((char**)t8);
352  t10 = (t9 + 56U);
353  t11 = *((char**)t10);
354  memcpy(t11, t1, 128U);
355  xsi_driver_first_trans_fast(t7);
356 
357 LAB2:
358  t12 = (t0 + 13368);
359  *((int*)t12) = 1;
360 
361 LAB1:
362  return;
363 LAB4:
364  goto LAB2;
365 }
366 
367 static void work_a_0562365326_3192441503_p_6(char* t0)
368 {
369  char* t1;
370  char* t2;
371  unsigned char t3;
372  unsigned char t4;
373  char* t5;
374  char* t6;
375  char* t7;
376  char* t8;
377  unsigned char t9;
378  unsigned char t10;
379  unsigned char t11;
380  unsigned char t12;
381  unsigned char t13;
382  unsigned char t14;
383  unsigned char t15;
384  unsigned char t16;
385  unsigned char t17;
386  unsigned char t18;
387  char* t19;
388  char* t20;
389  char* t21;
390  unsigned char t22;
391  char* t23;
392  char* t24;
393  char* t25;
394  char* t26;
395  char* t27;
396 
397 LAB0:
398  xsi_set_current_line(145, ng0);
399  t1 = (t0 + 5520U);
400  t2 = *((char**)t1);
401  t3 = *((unsigned char*)t2);
402  t4 = (t3 == (unsigned char)3);
403  if(t4 != 0)
404  goto LAB2;
405 
406 LAB4:
407  t1 = (t0 + 5640U);
408  t4 = xsi_signal_has_event(t1);
409  if(t4 == 1)
410  goto LAB7;
411 
412 LAB8:
413  t3 = (unsigned char)0;
414 
415 LAB9:
416  if(t3 != 0)
417  goto LAB5;
418 
419 LAB6:
420 LAB3:
421  t1 = (t0 + 13384);
422  *((int*)t1) = 1;
423 
424 LAB1:
425  return;
426 LAB2:
427  xsi_set_current_line(146, ng0);
428  t1 = (t0 + 13848);
429  t5 = (t1 + 56U);
430  t6 = *((char**)t5);
431  t7 = (t6 + 56U);
432  t8 = *((char**)t7);
433  *((unsigned char*)t8) = (unsigned char)2;
434  xsi_driver_first_trans_fast(t1);
435  goto LAB3;
436 
437 LAB5:
438  xsi_set_current_line(148, ng0);
439  t2 = (t0 + 6000U);
440  t6 = *((char**)t2);
441  t12 = *((unsigned char*)t6);
442  t13 = (t12 == (unsigned char)2);
443  if(t13 == 1)
444  goto LAB13;
445 
446 LAB14:
447  t11 = (unsigned char)0;
448 
449 LAB15:
450  if(t11 != 0)
451  goto LAB10;
452 
453 LAB12:
454 LAB11:
455  goto LAB3;
456 
457 LAB7:
458  t2 = (t0 + 5680U);
459  t5 = *((char**)t2);
460  t9 = *((unsigned char*)t5);
461  t10 = (t9 == (unsigned char)3);
462  t3 = t10;
463  goto LAB9;
464 
465 LAB10:
466  xsi_set_current_line(149, ng0);
467  t2 = (t0 + 6160U);
468  t19 = *((char**)t2);
469  t2 = (t0 + 26416U);
470  t20 = (t0 + 6640U);
471  t21 = *((char**)t20);
472  t20 = (t0 + 26432U);
473  t22 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t19, t2, t21, t20);
474  if(t22 != 0)
475  goto LAB19;
476 
477 LAB21:
478  xsi_set_current_line(152, ng0);
479  t1 = (t0 + 13848);
480  t2 = (t1 + 56U);
481  t5 = *((char**)t2);
482  t6 = (t5 + 56U);
483  t7 = *((char**)t6);
484  *((unsigned char*)t7) = (unsigned char)3;
485  xsi_driver_first_trans_fast(t1);
486 
487 LAB20:
488  goto LAB11;
489 
490 LAB13:
491  t2 = (t0 + 7120U);
492  t7 = *((char**)t2);
493  t15 = *((unsigned char*)t7);
494  t16 = (t15 == (unsigned char)3);
495  if(t16 == 1)
496  goto LAB16;
497 
498 LAB17:
499  t14 = (unsigned char)0;
500 
501 LAB18:
502  t11 = t14;
503  goto LAB15;
504 
505 LAB16:
506  t2 = (t0 + 7440U);
507  t8 = *((char**)t2);
508  t17 = *((unsigned char*)t8);
509  t18 = (t17 == (unsigned char)3);
510  t14 = t18;
511  goto LAB18;
512 
513 LAB19:
514  xsi_set_current_line(150, ng0);
515  t23 = (t0 + 13848);
516  t24 = (t23 + 56U);
517  t25 = *((char**)t24);
518  t26 = (t25 + 56U);
519  t27 = *((char**)t26);
520  *((unsigned char*)t27) = (unsigned char)2;
521  xsi_driver_first_trans_fast(t23);
522  goto LAB20;
523 }
524 
525 extern void work_a_0562365326_3192441503_init()
526 {
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",
535  "isim/ethernetFIFO_tb.exe.sim/work/a_0562365326_3192441503.didat");
536  xsi_register_executes(pe);
537 }