1 | (edif test (edifVersion 2 0 0) (edifLevel 0) (keywordMap (keywordLevel 0)) |
---|
2 | (status (written (timeStamp 2008 8 2 22 17 22) |
---|
3 | (author "Xilinx, Inc.") |
---|
4 | (program "Xilinx CORE Generator" (version "Xilinx CORE Generator 10.1.02; Cores Update # 2")))) |
---|
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-2007 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_b0a257f5389d649a ") |
---|
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_b0a257f5389d649a |
---|
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 ( array ( rename Q "Q(6:0)") 7 ) (direction OUTPUT)) |
---|
134 | ) |
---|
135 | (contents |
---|
136 | (instance VCC (viewRef view_1 (cellRef VCC (libraryRef xilinxun)))) |
---|
137 | (instance GND (viewRef view_1 (cellRef GND (libraryRef xilinxun)))) |
---|
138 | (instance BU4 |
---|
139 | (viewRef view_1 (cellRef LUT4 (libraryRef xilinxun))) |
---|
140 | (property INIT (string "5555")) |
---|
141 | ) |
---|
142 | (instance BU5 |
---|
143 | (viewRef view_1 (cellRef MUXCY (libraryRef xilinxun))) |
---|
144 | ) |
---|
145 | (instance BU6 |
---|
146 | (viewRef view_1 (cellRef XORCY (libraryRef xilinxun))) |
---|
147 | ) |
---|
148 | (instance BU8 |
---|
149 | (viewRef view_1 (cellRef FDSE (libraryRef xilinxun))) |
---|
150 | ) |
---|
151 | (instance BU10 |
---|
152 | (viewRef view_1 (cellRef LUT4 (libraryRef xilinxun))) |
---|
153 | (property INIT (string "aaaa")) |
---|
154 | ) |
---|
155 | (instance BU11 |
---|
156 | (viewRef view_1 (cellRef MUXCY (libraryRef xilinxun))) |
---|
157 | ) |
---|
158 | (instance BU12 |
---|
159 | (viewRef view_1 (cellRef XORCY (libraryRef xilinxun))) |
---|
160 | ) |
---|
161 | (instance BU14 |
---|
162 | (viewRef view_1 (cellRef FDSE (libraryRef xilinxun))) |
---|
163 | ) |
---|
164 | (instance BU16 |
---|
165 | (viewRef view_1 (cellRef LUT4 (libraryRef xilinxun))) |
---|
166 | (property INIT (string "aaaa")) |
---|
167 | ) |
---|
168 | (instance BU17 |
---|
169 | (viewRef view_1 (cellRef MUXCY (libraryRef xilinxun))) |
---|
170 | ) |
---|
171 | (instance BU18 |
---|
172 | (viewRef view_1 (cellRef XORCY (libraryRef xilinxun))) |
---|
173 | ) |
---|
174 | (instance BU20 |
---|
175 | (viewRef view_1 (cellRef FDSE (libraryRef xilinxun))) |
---|
176 | ) |
---|
177 | (instance BU22 |
---|
178 | (viewRef view_1 (cellRef LUT4 (libraryRef xilinxun))) |
---|
179 | (property INIT (string "aaaa")) |
---|
180 | ) |
---|
181 | (instance BU23 |
---|
182 | (viewRef view_1 (cellRef MUXCY (libraryRef xilinxun))) |
---|
183 | ) |
---|
184 | (instance BU24 |
---|
185 | (viewRef view_1 (cellRef XORCY (libraryRef xilinxun))) |
---|
186 | ) |
---|
187 | (instance BU26 |
---|
188 | (viewRef view_1 (cellRef FDSE (libraryRef xilinxun))) |
---|
189 | ) |
---|
190 | (instance BU28 |
---|
191 | (viewRef view_1 (cellRef LUT4 (libraryRef xilinxun))) |
---|
192 | (property INIT (string "aaaa")) |
---|
193 | ) |
---|
194 | (instance BU29 |
---|
195 | (viewRef view_1 (cellRef MUXCY (libraryRef xilinxun))) |
---|
196 | ) |
---|
197 | (instance BU30 |
---|
198 | (viewRef view_1 (cellRef XORCY (libraryRef xilinxun))) |
---|
199 | ) |
---|
200 | (instance BU32 |
---|
201 | (viewRef view_1 (cellRef FDSE (libraryRef xilinxun))) |
---|
202 | ) |
---|
203 | (instance BU34 |
---|
204 | (viewRef view_1 (cellRef LUT4 (libraryRef xilinxun))) |
---|
205 | (property INIT (string "aaaa")) |
---|
206 | ) |
---|
207 | (instance BU35 |
---|
208 | (viewRef view_1 (cellRef MUXCY (libraryRef xilinxun))) |
---|
209 | ) |
---|
210 | (instance BU36 |
---|
211 | (viewRef view_1 (cellRef XORCY (libraryRef xilinxun))) |
---|
212 | ) |
---|
213 | (instance BU38 |
---|
214 | (viewRef view_1 (cellRef FDSE (libraryRef xilinxun))) |
---|
215 | ) |
---|
216 | (instance BU40 |
---|
217 | (viewRef view_1 (cellRef LUT4 (libraryRef xilinxun))) |
---|
218 | (property INIT (string "aaaa")) |
---|
219 | ) |
---|
220 | (instance BU41 |
---|
221 | (viewRef view_1 (cellRef XORCY (libraryRef xilinxun))) |
---|
222 | ) |
---|
223 | (instance BU43 |
---|
224 | (viewRef view_1 (cellRef FDSE (libraryRef xilinxun))) |
---|
225 | ) |
---|
226 | (net N0 |
---|
227 | (joined |
---|
228 | (portRef G (instanceRef GND)) |
---|
229 | (portRef CI (instanceRef BU5)) |
---|
230 | (portRef CI (instanceRef BU6)) |
---|
231 | (portRef I1 (instanceRef BU4)) |
---|
232 | (portRef I2 (instanceRef BU4)) |
---|
233 | (portRef I3 (instanceRef BU4)) |
---|
234 | (portRef I1 (instanceRef BU10)) |
---|
235 | (portRef I2 (instanceRef BU10)) |
---|
236 | (portRef I3 (instanceRef BU10)) |
---|
237 | (portRef I1 (instanceRef BU16)) |
---|
238 | (portRef I2 (instanceRef BU16)) |
---|
239 | (portRef I3 (instanceRef BU16)) |
---|
240 | (portRef I1 (instanceRef BU22)) |
---|
241 | (portRef I2 (instanceRef BU22)) |
---|
242 | (portRef I3 (instanceRef BU22)) |
---|
243 | (portRef I1 (instanceRef BU28)) |
---|
244 | (portRef I2 (instanceRef BU28)) |
---|
245 | (portRef I3 (instanceRef BU28)) |
---|
246 | (portRef I1 (instanceRef BU34)) |
---|
247 | (portRef I2 (instanceRef BU34)) |
---|
248 | (portRef I3 (instanceRef BU34)) |
---|
249 | (portRef I1 (instanceRef BU40)) |
---|
250 | (portRef I2 (instanceRef BU40)) |
---|
251 | (portRef I3 (instanceRef BU40)) |
---|
252 | ) |
---|
253 | ) |
---|
254 | (net (rename N2 "Q(0)") |
---|
255 | (joined |
---|
256 | (portRef (member Q 6)) |
---|
257 | (portRef DI (instanceRef BU5)) |
---|
258 | (portRef I0 (instanceRef BU4)) |
---|
259 | (portRef Q (instanceRef BU8)) |
---|
260 | ) |
---|
261 | ) |
---|
262 | (net (rename N3 "Q(1)") |
---|
263 | (joined |
---|
264 | (portRef (member Q 5)) |
---|
265 | (portRef DI (instanceRef BU11)) |
---|
266 | (portRef I0 (instanceRef BU10)) |
---|
267 | (portRef Q (instanceRef BU14)) |
---|
268 | ) |
---|
269 | ) |
---|
270 | (net (rename N4 "Q(2)") |
---|
271 | (joined |
---|
272 | (portRef (member Q 4)) |
---|
273 | (portRef DI (instanceRef BU17)) |
---|
274 | (portRef I0 (instanceRef BU16)) |
---|
275 | (portRef Q (instanceRef BU20)) |
---|
276 | ) |
---|
277 | ) |
---|
278 | (net (rename N5 "Q(3)") |
---|
279 | (joined |
---|
280 | (portRef (member Q 3)) |
---|
281 | (portRef DI (instanceRef BU23)) |
---|
282 | (portRef I0 (instanceRef BU22)) |
---|
283 | (portRef Q (instanceRef BU26)) |
---|
284 | ) |
---|
285 | ) |
---|
286 | (net (rename N6 "Q(4)") |
---|
287 | (joined |
---|
288 | (portRef (member Q 2)) |
---|
289 | (portRef DI (instanceRef BU29)) |
---|
290 | (portRef I0 (instanceRef BU28)) |
---|
291 | (portRef Q (instanceRef BU32)) |
---|
292 | ) |
---|
293 | ) |
---|
294 | (net (rename N7 "Q(5)") |
---|
295 | (joined |
---|
296 | (portRef (member Q 1)) |
---|
297 | (portRef DI (instanceRef BU35)) |
---|
298 | (portRef I0 (instanceRef BU34)) |
---|
299 | (portRef Q (instanceRef BU38)) |
---|
300 | ) |
---|
301 | ) |
---|
302 | (net (rename N8 "Q(6)") |
---|
303 | (joined |
---|
304 | (portRef (member Q 0)) |
---|
305 | (portRef I0 (instanceRef BU40)) |
---|
306 | (portRef Q (instanceRef BU43)) |
---|
307 | ) |
---|
308 | ) |
---|
309 | (net (rename N9 "CLK") |
---|
310 | (joined |
---|
311 | (portRef CLK) |
---|
312 | (portRef C (instanceRef BU8)) |
---|
313 | (portRef C (instanceRef BU14)) |
---|
314 | (portRef C (instanceRef BU20)) |
---|
315 | (portRef C (instanceRef BU26)) |
---|
316 | (portRef C (instanceRef BU32)) |
---|
317 | (portRef C (instanceRef BU38)) |
---|
318 | (portRef C (instanceRef BU43)) |
---|
319 | ) |
---|
320 | ) |
---|
321 | (net (rename N10 "CE") |
---|
322 | (joined |
---|
323 | (portRef CE) |
---|
324 | (portRef CE (instanceRef BU8)) |
---|
325 | (portRef CE (instanceRef BU14)) |
---|
326 | (portRef CE (instanceRef BU20)) |
---|
327 | (portRef CE (instanceRef BU26)) |
---|
328 | (portRef CE (instanceRef BU32)) |
---|
329 | (portRef CE (instanceRef BU38)) |
---|
330 | (portRef CE (instanceRef BU43)) |
---|
331 | ) |
---|
332 | ) |
---|
333 | (net (rename N11 "SINIT") |
---|
334 | (joined |
---|
335 | (portRef SINIT) |
---|
336 | (portRef S (instanceRef BU8)) |
---|
337 | (portRef S (instanceRef BU14)) |
---|
338 | (portRef S (instanceRef BU20)) |
---|
339 | (portRef S (instanceRef BU26)) |
---|
340 | (portRef S (instanceRef BU32)) |
---|
341 | (portRef S (instanceRef BU38)) |
---|
342 | (portRef S (instanceRef BU43)) |
---|
343 | ) |
---|
344 | ) |
---|
345 | (net N12 |
---|
346 | (joined |
---|
347 | (portRef O (instanceRef BU6)) |
---|
348 | (portRef D (instanceRef BU8)) |
---|
349 | ) |
---|
350 | ) |
---|
351 | (net N13 |
---|
352 | (joined |
---|
353 | (portRef O (instanceRef BU12)) |
---|
354 | (portRef D (instanceRef BU14)) |
---|
355 | ) |
---|
356 | ) |
---|
357 | (net N14 |
---|
358 | (joined |
---|
359 | (portRef O (instanceRef BU18)) |
---|
360 | (portRef D (instanceRef BU20)) |
---|
361 | ) |
---|
362 | ) |
---|
363 | (net N15 |
---|
364 | (joined |
---|
365 | (portRef O (instanceRef BU24)) |
---|
366 | (portRef D (instanceRef BU26)) |
---|
367 | ) |
---|
368 | ) |
---|
369 | (net N16 |
---|
370 | (joined |
---|
371 | (portRef O (instanceRef BU30)) |
---|
372 | (portRef D (instanceRef BU32)) |
---|
373 | ) |
---|
374 | ) |
---|
375 | (net N17 |
---|
376 | (joined |
---|
377 | (portRef O (instanceRef BU36)) |
---|
378 | (portRef D (instanceRef BU38)) |
---|
379 | ) |
---|
380 | ) |
---|
381 | (net N18 |
---|
382 | (joined |
---|
383 | (portRef O (instanceRef BU41)) |
---|
384 | (portRef D (instanceRef BU43)) |
---|
385 | ) |
---|
386 | ) |
---|
387 | (net N19 |
---|
388 | (joined |
---|
389 | (portRef S (instanceRef BU5)) |
---|
390 | (portRef LI (instanceRef BU6)) |
---|
391 | (portRef O (instanceRef BU4)) |
---|
392 | ) |
---|
393 | ) |
---|
394 | (net N21 |
---|
395 | (joined |
---|
396 | (portRef O (instanceRef BU5)) |
---|
397 | (portRef CI (instanceRef BU11)) |
---|
398 | (portRef CI (instanceRef BU12)) |
---|
399 | ) |
---|
400 | ) |
---|
401 | (net N24 |
---|
402 | (joined |
---|
403 | (portRef S (instanceRef BU11)) |
---|
404 | (portRef LI (instanceRef BU12)) |
---|
405 | (portRef O (instanceRef BU10)) |
---|
406 | ) |
---|
407 | ) |
---|
408 | (net N26 |
---|
409 | (joined |
---|
410 | (portRef O (instanceRef BU11)) |
---|
411 | (portRef CI (instanceRef BU17)) |
---|
412 | (portRef CI (instanceRef BU18)) |
---|
413 | ) |
---|
414 | ) |
---|
415 | (net N29 |
---|
416 | (joined |
---|
417 | (portRef S (instanceRef BU17)) |
---|
418 | (portRef LI (instanceRef BU18)) |
---|
419 | (portRef O (instanceRef BU16)) |
---|
420 | ) |
---|
421 | ) |
---|
422 | (net N31 |
---|
423 | (joined |
---|
424 | (portRef O (instanceRef BU17)) |
---|
425 | (portRef CI (instanceRef BU23)) |
---|
426 | (portRef CI (instanceRef BU24)) |
---|
427 | ) |
---|
428 | ) |
---|
429 | (net N34 |
---|
430 | (joined |
---|
431 | (portRef S (instanceRef BU23)) |
---|
432 | (portRef LI (instanceRef BU24)) |
---|
433 | (portRef O (instanceRef BU22)) |
---|
434 | ) |
---|
435 | ) |
---|
436 | (net N36 |
---|
437 | (joined |
---|
438 | (portRef O (instanceRef BU23)) |
---|
439 | (portRef CI (instanceRef BU29)) |
---|
440 | (portRef CI (instanceRef BU30)) |
---|
441 | ) |
---|
442 | ) |
---|
443 | (net N39 |
---|
444 | (joined |
---|
445 | (portRef S (instanceRef BU29)) |
---|
446 | (portRef LI (instanceRef BU30)) |
---|
447 | (portRef O (instanceRef BU28)) |
---|
448 | ) |
---|
449 | ) |
---|
450 | (net N41 |
---|
451 | (joined |
---|
452 | (portRef O (instanceRef BU29)) |
---|
453 | (portRef CI (instanceRef BU35)) |
---|
454 | (portRef CI (instanceRef BU36)) |
---|
455 | ) |
---|
456 | ) |
---|
457 | (net N44 |
---|
458 | (joined |
---|
459 | (portRef S (instanceRef BU35)) |
---|
460 | (portRef LI (instanceRef BU36)) |
---|
461 | (portRef O (instanceRef BU34)) |
---|
462 | ) |
---|
463 | ) |
---|
464 | (net N46 |
---|
465 | (joined |
---|
466 | (portRef O (instanceRef BU35)) |
---|
467 | (portRef CI (instanceRef BU41)) |
---|
468 | ) |
---|
469 | ) |
---|
470 | (net N49 |
---|
471 | (joined |
---|
472 | (portRef LI (instanceRef BU41)) |
---|
473 | (portRef O (instanceRef BU40)) |
---|
474 | ) |
---|
475 | ) |
---|
476 | )))) |
---|
477 | (design binary_counter_virtex2p_7_0_b0a257f5389d649a (cellRef binary_counter_virtex2p_7_0_b0a257f5389d649a (libraryRef test_lib)) |
---|
478 | (property X_CORE_INFO (string "C_COUNTER_BINARY_V7_0, Xilinx CORE Generator 10.1.02_ip2")) |
---|
479 | (property PART (string "xc2vp2-fg256-7") (owner "Xilinx")) |
---|
480 | )) |
---|