1 | (edif test (edifVersion 2 0 0) (edifLevel 0) (keywordMap (keywordLevel 0)) |
---|
2 | (status (written (timeStamp 2007 8 25 21 25 18) |
---|
3 | (author "Xilinx, Inc.") |
---|
4 | (program "Xilinx CORE Generator" (version "Xilinx CORE Generator 8.2.03i")))) |
---|
5 | (comment " |
---|
6 | This file is owned and controlled by Xilinx and must be used |
---|
7 | solely for design, simulation, implementation and creation of |
---|
8 | design files limited to Xilinx devices or technologies. Use |
---|
9 | with non-Xilinx devices or technologies is expressly prohibited |
---|
10 | and immediately terminates your license. |
---|
11 | |
---|
12 | XILINX IS PROVIDING THIS DESIGN, CODE, OR INFORMATION 'AS IS' |
---|
13 | SOLELY FOR USE IN DEVELOPING PROGRAMS AND SOLUTIONS FOR |
---|
14 | XILINX DEVICES. BY PROVIDING THIS DESIGN, CODE, OR INFORMATION |
---|
15 | AS ONE POSSIBLE IMPLEMENTATION OF THIS FEATURE, APPLICATION |
---|
16 | OR STANDARD, XILINX IS MAKING NO REPRESENTATION THAT THIS |
---|
17 | IMPLEMENTATION IS FREE FROM ANY CLAIMS OF INFRINGEMENT, |
---|
18 | AND YOU ARE RESPONSIBLE FOR OBTAINING ANY RIGHTS YOU MAY REQUIRE |
---|
19 | FOR YOUR IMPLEMENTATION. XILINX EXPRESSLY DISCLAIMS ANY |
---|
20 | WARRANTY WHATSOEVER WITH RESPECT TO THE ADEQUACY OF THE |
---|
21 | IMPLEMENTATION, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OR |
---|
22 | REPRESENTATIONS THAT THIS IMPLEMENTATION IS FREE FROM CLAIMS OF |
---|
23 | INFRINGEMENT, IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS |
---|
24 | FOR A PARTICULAR PURPOSE. |
---|
25 | |
---|
26 | Xilinx products are not intended for use in life support |
---|
27 | appliances, devices, or systems. Use in such applications are |
---|
28 | expressly prohibited. |
---|
29 | |
---|
30 | (c) Copyright 1995-2006 Xilinx, Inc. |
---|
31 | All rights reserved. |
---|
32 | |
---|
33 | ") |
---|
34 | (comment "Core parameters: ") |
---|
35 | (comment "c_count_mode = 0 ") |
---|
36 | (comment "c_load_enable = true ") |
---|
37 | (comment "c_has_aset = false ") |
---|
38 | (comment "c_load_low = false ") |
---|
39 | (comment "c_count_to = 1111111111111111 ") |
---|
40 | (comment "c_sync_priority = 1 ") |
---|
41 | (comment "c_has_iv = false ") |
---|
42 | (comment "c_restrict_count = false ") |
---|
43 | (comment "c_has_sclr = false ") |
---|
44 | (comment "c_width = 7 ") |
---|
45 | (comment "c_has_q_thresh1 = false ") |
---|
46 | (comment "c_enable_rlocs = false ") |
---|
47 | (comment "c_has_q_thresh0 = false ") |
---|
48 | (comment "c_thresh1_value = 1111111111111111 ") |
---|
49 | (comment "c_has_load = false ") |
---|
50 | (comment "c_thresh_early = true ") |
---|
51 | (comment "c_has_up = false ") |
---|
52 | (comment "c_has_thresh1 = false ") |
---|
53 | (comment "c_has_thresh0 = false ") |
---|
54 | (comment "c_ainit_val = 1111111 ") |
---|
55 | (comment "c_has_ce = true ") |
---|
56 | (comment "c_pipe_stages = 0 ") |
---|
57 | (comment "c_family = virtex2p ") |
---|
58 | (comment "InstanceName = binary_counter_virtex2p_7_0_016610e0863621bf ") |
---|
59 | (comment "c_has_aclr = false ") |
---|
60 | (comment "c_sync_enable = 0 ") |
---|
61 | (comment "c_has_ainit = false ") |
---|
62 | (comment "c_sinit_val = 1111111 ") |
---|
63 | (comment "c_has_sset = false ") |
---|
64 | (comment "c_has_sinit = true ") |
---|
65 | (comment "c_count_by = 0001 ") |
---|
66 | (comment "c_has_l = false ") |
---|
67 | (comment "c_thresh0_value = 1111111111111111 ") |
---|
68 | (external xilinxun (edifLevel 0) |
---|
69 | (technology (numberDefinition)) |
---|
70 | (cell VCC (cellType GENERIC) |
---|
71 | (view view_1 (viewType NETLIST) |
---|
72 | (interface |
---|
73 | (port P (direction OUTPUT)) |
---|
74 | ) |
---|
75 | ) |
---|
76 | ) |
---|
77 | (cell GND (cellType GENERIC) |
---|
78 | (view view_1 (viewType NETLIST) |
---|
79 | (interface |
---|
80 | (port G (direction OUTPUT)) |
---|
81 | ) |
---|
82 | ) |
---|
83 | ) |
---|
84 | (cell FDSE (cellType GENERIC) |
---|
85 | (view view_1 (viewType NETLIST) |
---|
86 | (interface |
---|
87 | (port D (direction INPUT)) |
---|
88 | (port C (direction INPUT)) |
---|
89 | (port CE (direction INPUT)) |
---|
90 | (port S (direction INPUT)) |
---|
91 | (port Q (direction OUTPUT)) |
---|
92 | ) |
---|
93 | ) |
---|
94 | ) |
---|
95 | (cell LUT4 (cellType GENERIC) |
---|
96 | (view view_1 (viewType NETLIST) |
---|
97 | (interface |
---|
98 | (port I0 (direction INPUT)) |
---|
99 | (port I1 (direction INPUT)) |
---|
100 | (port I2 (direction INPUT)) |
---|
101 | (port I3 (direction INPUT)) |
---|
102 | (port O (direction OUTPUT)) |
---|
103 | ) |
---|
104 | ) |
---|
105 | ) |
---|
106 | (cell MUXCY (cellType GENERIC) |
---|
107 | (view view_1 (viewType NETLIST) |
---|
108 | (interface |
---|
109 | (port DI (direction INPUT)) |
---|
110 | (port CI (direction INPUT)) |
---|
111 | (port S (direction INPUT)) |
---|
112 | (port O (direction OUTPUT)) |
---|
113 | ) |
---|
114 | ) |
---|
115 | ) |
---|
116 | (cell XORCY (cellType GENERIC) |
---|
117 | (view view_1 (viewType NETLIST) |
---|
118 | (interface |
---|
119 | (port LI (direction INPUT)) |
---|
120 | (port CI (direction INPUT)) |
---|
121 | (port O (direction OUTPUT)) |
---|
122 | ) |
---|
123 | ) |
---|
124 | ) |
---|
125 | ) |
---|
126 | (library test_lib (edifLevel 0) (technology (numberDefinition (scale 1 (E 1 -12) (unit Time)))) |
---|
127 | (cell binary_counter_virtex2p_7_0_016610e0863621bf |
---|
128 | (cellType GENERIC) (view view_1 (viewType NETLIST) |
---|
129 | (interface |
---|
130 | (port ( rename CLK "CLK") (direction INPUT)) |
---|
131 | (port ( rename CE "CE") (direction INPUT)) |
---|
132 | (port ( rename SINIT "SINIT") (direction INPUT)) |
---|
133 | (port ( rename Q_0_ "Q(0)") (direction OUTPUT)) |
---|
134 | (port ( rename Q_1_ "Q(1)") (direction OUTPUT)) |
---|
135 | (port ( rename Q_2_ "Q(2)") (direction OUTPUT)) |
---|
136 | (port ( rename Q_3_ "Q(3)") (direction OUTPUT)) |
---|
137 | (port ( rename Q_4_ "Q(4)") (direction OUTPUT)) |
---|
138 | (port ( rename Q_5_ "Q(5)") (direction OUTPUT)) |
---|
139 | (port ( rename Q_6_ "Q(6)") (direction OUTPUT)) |
---|
140 | ) |
---|
141 | (contents |
---|
142 | (instance VCC (viewRef view_1 (cellRef VCC (libraryRef xilinxun)))) |
---|
143 | (instance GND (viewRef view_1 (cellRef GND (libraryRef xilinxun)))) |
---|
144 | (instance BU4 |
---|
145 | (viewRef view_1 (cellRef LUT4 (libraryRef xilinxun))) |
---|
146 | (property INIT (string "5555")) |
---|
147 | ) |
---|
148 | (instance BU5 |
---|
149 | (viewRef view_1 (cellRef MUXCY (libraryRef xilinxun))) |
---|
150 | ) |
---|
151 | (instance BU6 |
---|
152 | (viewRef view_1 (cellRef XORCY (libraryRef xilinxun))) |
---|
153 | ) |
---|
154 | (instance BU8 |
---|
155 | (viewRef view_1 (cellRef FDSE (libraryRef xilinxun))) |
---|
156 | ) |
---|
157 | (instance BU10 |
---|
158 | (viewRef view_1 (cellRef LUT4 (libraryRef xilinxun))) |
---|
159 | (property INIT (string "aaaa")) |
---|
160 | ) |
---|
161 | (instance BU11 |
---|
162 | (viewRef view_1 (cellRef MUXCY (libraryRef xilinxun))) |
---|
163 | ) |
---|
164 | (instance BU12 |
---|
165 | (viewRef view_1 (cellRef XORCY (libraryRef xilinxun))) |
---|
166 | ) |
---|
167 | (instance BU14 |
---|
168 | (viewRef view_1 (cellRef FDSE (libraryRef xilinxun))) |
---|
169 | ) |
---|
170 | (instance BU16 |
---|
171 | (viewRef view_1 (cellRef LUT4 (libraryRef xilinxun))) |
---|
172 | (property INIT (string "aaaa")) |
---|
173 | ) |
---|
174 | (instance BU17 |
---|
175 | (viewRef view_1 (cellRef MUXCY (libraryRef xilinxun))) |
---|
176 | ) |
---|
177 | (instance BU18 |
---|
178 | (viewRef view_1 (cellRef XORCY (libraryRef xilinxun))) |
---|
179 | ) |
---|
180 | (instance BU20 |
---|
181 | (viewRef view_1 (cellRef FDSE (libraryRef xilinxun))) |
---|
182 | ) |
---|
183 | (instance BU22 |
---|
184 | (viewRef view_1 (cellRef LUT4 (libraryRef xilinxun))) |
---|
185 | (property INIT (string "aaaa")) |
---|
186 | ) |
---|
187 | (instance BU23 |
---|
188 | (viewRef view_1 (cellRef MUXCY (libraryRef xilinxun))) |
---|
189 | ) |
---|
190 | (instance BU24 |
---|
191 | (viewRef view_1 (cellRef XORCY (libraryRef xilinxun))) |
---|
192 | ) |
---|
193 | (instance BU26 |
---|
194 | (viewRef view_1 (cellRef FDSE (libraryRef xilinxun))) |
---|
195 | ) |
---|
196 | (instance BU28 |
---|
197 | (viewRef view_1 (cellRef LUT4 (libraryRef xilinxun))) |
---|
198 | (property INIT (string "aaaa")) |
---|
199 | ) |
---|
200 | (instance BU29 |
---|
201 | (viewRef view_1 (cellRef MUXCY (libraryRef xilinxun))) |
---|
202 | ) |
---|
203 | (instance BU30 |
---|
204 | (viewRef view_1 (cellRef XORCY (libraryRef xilinxun))) |
---|
205 | ) |
---|
206 | (instance BU32 |
---|
207 | (viewRef view_1 (cellRef FDSE (libraryRef xilinxun))) |
---|
208 | ) |
---|
209 | (instance BU34 |
---|
210 | (viewRef view_1 (cellRef LUT4 (libraryRef xilinxun))) |
---|
211 | (property INIT (string "aaaa")) |
---|
212 | ) |
---|
213 | (instance BU35 |
---|
214 | (viewRef view_1 (cellRef MUXCY (libraryRef xilinxun))) |
---|
215 | ) |
---|
216 | (instance BU36 |
---|
217 | (viewRef view_1 (cellRef XORCY (libraryRef xilinxun))) |
---|
218 | ) |
---|
219 | (instance BU38 |
---|
220 | (viewRef view_1 (cellRef FDSE (libraryRef xilinxun))) |
---|
221 | ) |
---|
222 | (instance BU40 |
---|
223 | (viewRef view_1 (cellRef LUT4 (libraryRef xilinxun))) |
---|
224 | (property INIT (string "aaaa")) |
---|
225 | ) |
---|
226 | (instance BU41 |
---|
227 | (viewRef view_1 (cellRef XORCY (libraryRef xilinxun))) |
---|
228 | ) |
---|
229 | (instance BU43 |
---|
230 | (viewRef view_1 (cellRef FDSE (libraryRef xilinxun))) |
---|
231 | ) |
---|
232 | (net N0 |
---|
233 | (joined |
---|
234 | (portRef G (instanceRef GND)) |
---|
235 | (portRef CI (instanceRef BU5)) |
---|
236 | (portRef CI (instanceRef BU6)) |
---|
237 | (portRef I1 (instanceRef BU4)) |
---|
238 | (portRef I2 (instanceRef BU4)) |
---|
239 | (portRef I3 (instanceRef BU4)) |
---|
240 | (portRef I1 (instanceRef BU10)) |
---|
241 | (portRef I2 (instanceRef BU10)) |
---|
242 | (portRef I3 (instanceRef BU10)) |
---|
243 | (portRef I1 (instanceRef BU16)) |
---|
244 | (portRef I2 (instanceRef BU16)) |
---|
245 | (portRef I3 (instanceRef BU16)) |
---|
246 | (portRef I1 (instanceRef BU22)) |
---|
247 | (portRef I2 (instanceRef BU22)) |
---|
248 | (portRef I3 (instanceRef BU22)) |
---|
249 | (portRef I1 (instanceRef BU28)) |
---|
250 | (portRef I2 (instanceRef BU28)) |
---|
251 | (portRef I3 (instanceRef BU28)) |
---|
252 | (portRef I1 (instanceRef BU34)) |
---|
253 | (portRef I2 (instanceRef BU34)) |
---|
254 | (portRef I3 (instanceRef BU34)) |
---|
255 | (portRef I1 (instanceRef BU40)) |
---|
256 | (portRef I2 (instanceRef BU40)) |
---|
257 | (portRef I3 (instanceRef BU40)) |
---|
258 | ) |
---|
259 | ) |
---|
260 | (net (rename N2 "Q(0)") |
---|
261 | (joined |
---|
262 | (portRef Q_0_) |
---|
263 | (portRef DI (instanceRef BU5)) |
---|
264 | (portRef I0 (instanceRef BU4)) |
---|
265 | (portRef Q (instanceRef BU8)) |
---|
266 | ) |
---|
267 | ) |
---|
268 | (net (rename N3 "Q(1)") |
---|
269 | (joined |
---|
270 | (portRef Q_1_) |
---|
271 | (portRef DI (instanceRef BU11)) |
---|
272 | (portRef I0 (instanceRef BU10)) |
---|
273 | (portRef Q (instanceRef BU14)) |
---|
274 | ) |
---|
275 | ) |
---|
276 | (net (rename N4 "Q(2)") |
---|
277 | (joined |
---|
278 | (portRef Q_2_) |
---|
279 | (portRef DI (instanceRef BU17)) |
---|
280 | (portRef I0 (instanceRef BU16)) |
---|
281 | (portRef Q (instanceRef BU20)) |
---|
282 | ) |
---|
283 | ) |
---|
284 | (net (rename N5 "Q(3)") |
---|
285 | (joined |
---|
286 | (portRef Q_3_) |
---|
287 | (portRef DI (instanceRef BU23)) |
---|
288 | (portRef I0 (instanceRef BU22)) |
---|
289 | (portRef Q (instanceRef BU26)) |
---|
290 | ) |
---|
291 | ) |
---|
292 | (net (rename N6 "Q(4)") |
---|
293 | (joined |
---|
294 | (portRef Q_4_) |
---|
295 | (portRef DI (instanceRef BU29)) |
---|
296 | (portRef I0 (instanceRef BU28)) |
---|
297 | (portRef Q (instanceRef BU32)) |
---|
298 | ) |
---|
299 | ) |
---|
300 | (net (rename N7 "Q(5)") |
---|
301 | (joined |
---|
302 | (portRef Q_5_) |
---|
303 | (portRef DI (instanceRef BU35)) |
---|
304 | (portRef I0 (instanceRef BU34)) |
---|
305 | (portRef Q (instanceRef BU38)) |
---|
306 | ) |
---|
307 | ) |
---|
308 | (net (rename N8 "Q(6)") |
---|
309 | (joined |
---|
310 | (portRef Q_6_) |
---|
311 | (portRef I0 (instanceRef BU40)) |
---|
312 | (portRef Q (instanceRef BU43)) |
---|
313 | ) |
---|
314 | ) |
---|
315 | (net (rename N9 "CLK") |
---|
316 | (joined |
---|
317 | (portRef CLK) |
---|
318 | (portRef C (instanceRef BU8)) |
---|
319 | (portRef C (instanceRef BU14)) |
---|
320 | (portRef C (instanceRef BU20)) |
---|
321 | (portRef C (instanceRef BU26)) |
---|
322 | (portRef C (instanceRef BU32)) |
---|
323 | (portRef C (instanceRef BU38)) |
---|
324 | (portRef C (instanceRef BU43)) |
---|
325 | ) |
---|
326 | ) |
---|
327 | (net (rename N10 "CE") |
---|
328 | (joined |
---|
329 | (portRef CE) |
---|
330 | (portRef CE (instanceRef BU8)) |
---|
331 | (portRef CE (instanceRef BU14)) |
---|
332 | (portRef CE (instanceRef BU20)) |
---|
333 | (portRef CE (instanceRef BU26)) |
---|
334 | (portRef CE (instanceRef BU32)) |
---|
335 | (portRef CE (instanceRef BU38)) |
---|
336 | (portRef CE (instanceRef BU43)) |
---|
337 | ) |
---|
338 | ) |
---|
339 | (net (rename N11 "SINIT") |
---|
340 | (joined |
---|
341 | (portRef SINIT) |
---|
342 | (portRef S (instanceRef BU8)) |
---|
343 | (portRef S (instanceRef BU14)) |
---|
344 | (portRef S (instanceRef BU20)) |
---|
345 | (portRef S (instanceRef BU26)) |
---|
346 | (portRef S (instanceRef BU32)) |
---|
347 | (portRef S (instanceRef BU38)) |
---|
348 | (portRef S (instanceRef BU43)) |
---|
349 | ) |
---|
350 | ) |
---|
351 | (net N12 |
---|
352 | (joined |
---|
353 | (portRef O (instanceRef BU6)) |
---|
354 | (portRef D (instanceRef BU8)) |
---|
355 | ) |
---|
356 | ) |
---|
357 | (net N13 |
---|
358 | (joined |
---|
359 | (portRef O (instanceRef BU12)) |
---|
360 | (portRef D (instanceRef BU14)) |
---|
361 | ) |
---|
362 | ) |
---|
363 | (net N14 |
---|
364 | (joined |
---|
365 | (portRef O (instanceRef BU18)) |
---|
366 | (portRef D (instanceRef BU20)) |
---|
367 | ) |
---|
368 | ) |
---|
369 | (net N15 |
---|
370 | (joined |
---|
371 | (portRef O (instanceRef BU24)) |
---|
372 | (portRef D (instanceRef BU26)) |
---|
373 | ) |
---|
374 | ) |
---|
375 | (net N16 |
---|
376 | (joined |
---|
377 | (portRef O (instanceRef BU30)) |
---|
378 | (portRef D (instanceRef BU32)) |
---|
379 | ) |
---|
380 | ) |
---|
381 | (net N17 |
---|
382 | (joined |
---|
383 | (portRef O (instanceRef BU36)) |
---|
384 | (portRef D (instanceRef BU38)) |
---|
385 | ) |
---|
386 | ) |
---|
387 | (net N18 |
---|
388 | (joined |
---|
389 | (portRef O (instanceRef BU41)) |
---|
390 | (portRef D (instanceRef BU43)) |
---|
391 | ) |
---|
392 | ) |
---|
393 | (net N19 |
---|
394 | (joined |
---|
395 | (portRef S (instanceRef BU5)) |
---|
396 | (portRef LI (instanceRef BU6)) |
---|
397 | (portRef O (instanceRef BU4)) |
---|
398 | ) |
---|
399 | ) |
---|
400 | (net N21 |
---|
401 | (joined |
---|
402 | (portRef O (instanceRef BU5)) |
---|
403 | (portRef CI (instanceRef BU11)) |
---|
404 | (portRef CI (instanceRef BU12)) |
---|
405 | ) |
---|
406 | ) |
---|
407 | (net N24 |
---|
408 | (joined |
---|
409 | (portRef S (instanceRef BU11)) |
---|
410 | (portRef LI (instanceRef BU12)) |
---|
411 | (portRef O (instanceRef BU10)) |
---|
412 | ) |
---|
413 | ) |
---|
414 | (net N26 |
---|
415 | (joined |
---|
416 | (portRef O (instanceRef BU11)) |
---|
417 | (portRef CI (instanceRef BU17)) |
---|
418 | (portRef CI (instanceRef BU18)) |
---|
419 | ) |
---|
420 | ) |
---|
421 | (net N29 |
---|
422 | (joined |
---|
423 | (portRef S (instanceRef BU17)) |
---|
424 | (portRef LI (instanceRef BU18)) |
---|
425 | (portRef O (instanceRef BU16)) |
---|
426 | ) |
---|
427 | ) |
---|
428 | (net N31 |
---|
429 | (joined |
---|
430 | (portRef O (instanceRef BU17)) |
---|
431 | (portRef CI (instanceRef BU23)) |
---|
432 | (portRef CI (instanceRef BU24)) |
---|
433 | ) |
---|
434 | ) |
---|
435 | (net N34 |
---|
436 | (joined |
---|
437 | (portRef S (instanceRef BU23)) |
---|
438 | (portRef LI (instanceRef BU24)) |
---|
439 | (portRef O (instanceRef BU22)) |
---|
440 | ) |
---|
441 | ) |
---|
442 | (net N36 |
---|
443 | (joined |
---|
444 | (portRef O (instanceRef BU23)) |
---|
445 | (portRef CI (instanceRef BU29)) |
---|
446 | (portRef CI (instanceRef BU30)) |
---|
447 | ) |
---|
448 | ) |
---|
449 | (net N39 |
---|
450 | (joined |
---|
451 | (portRef S (instanceRef BU29)) |
---|
452 | (portRef LI (instanceRef BU30)) |
---|
453 | (portRef O (instanceRef BU28)) |
---|
454 | ) |
---|
455 | ) |
---|
456 | (net N41 |
---|
457 | (joined |
---|
458 | (portRef O (instanceRef BU29)) |
---|
459 | (portRef CI (instanceRef BU35)) |
---|
460 | (portRef CI (instanceRef BU36)) |
---|
461 | ) |
---|
462 | ) |
---|
463 | (net N44 |
---|
464 | (joined |
---|
465 | (portRef S (instanceRef BU35)) |
---|
466 | (portRef LI (instanceRef BU36)) |
---|
467 | (portRef O (instanceRef BU34)) |
---|
468 | ) |
---|
469 | ) |
---|
470 | (net N46 |
---|
471 | (joined |
---|
472 | (portRef O (instanceRef BU35)) |
---|
473 | (portRef CI (instanceRef BU41)) |
---|
474 | ) |
---|
475 | ) |
---|
476 | (net N49 |
---|
477 | (joined |
---|
478 | (portRef LI (instanceRef BU41)) |
---|
479 | (portRef O (instanceRef BU40)) |
---|
480 | ) |
---|
481 | ) |
---|
482 | )))) |
---|
483 | (design binary_counter_virtex2p_7_0_016610e0863621bf (cellRef binary_counter_virtex2p_7_0_016610e0863621bf (libraryRef test_lib)) |
---|
484 | (property X_CORE_INFO (string "C_COUNTER_BINARY_V7_0, Coregen 8.2.03i")) |
---|
485 | (property PART (string "xc2vp2-fg256-7") (owner "Xilinx"))) |
---|
486 | ) |
---|