source: icGREP/icgrep-devel/cudd-2.5.1/nanotrav/rcn25.blif @ 6132

Last change on this file since 6132 was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

File size: 3.6 KB
Line 
1.model rcn25
2.outputs n0 n1 n2 n3 n4 n5 n6 n7 n8 n9 n10 n11 n12 n13 n14 n15 n16 n17 \
3n18 n19 n20 n21 n22 n23 n24
4
5.latch nn0 n0 2
6.latch nn1 n1 2
7.latch nn2 n2 2
8.latch nn3 n3 2
9.latch nn4 n4 2
10.latch nn5 n5 2
11.latch nn6 n6 2
12.latch nn7 n7 2
13.latch nn8 n8 2
14.latch nn9 n9 2
15.latch nn10 n10 2
16.latch nn11 n11 2
17.latch nn12 n12 2
18.latch nn13 n13 2
19.latch nn14 n14 2
20.latch nn15 n15 2
21.latch nn16 n16 2
22.latch nn17 n17 2
23.latch nn18 n18 2
24.latch nn19 n19 2
25.latch nn20 n20 2
26.latch nn21 n21 2
27.latch nn22 n22 2
28.latch nn23 n23 2
29.latch nn24 n24 2
30
31.names n0 s0
320 1
33.names n0 c1
341 1
35.names n1 n0 c1 s1
36100 1
37010 1
38001 1
39111 1
40.names n1 n0 c1 c2
4111- 1
421-1 1
43-11 1
44.names n2 n1 c2 s2
45100 1
46010 1
47001 1
48111 1
49.names n2 n1 c2 c3
5011- 1
511-1 1
52-11 1
53.names n3 n2 c3 s3
54100 1
55010 1
56001 1
57111 1
58.names n3 n2 c3 c4
5911- 1
601-1 1
61-11 1
62.names n4 n3 c4 s4
63100 1
64010 1
65001 1
66111 1
67.names n4 n3 c4 c5
6811- 1
691-1 1
70-11 1
71.names n5 n4 c5 s5
72100 1
73010 1
74001 1
75111 1
76.names n5 n4 c5 c6
7711- 1
781-1 1
79-11 1
80.names n6 n5 c6 s6
81100 1
82010 1
83001 1
84111 1
85.names n6 n5 c6 c7
8611- 1
871-1 1
88-11 1
89.names n7 n6 c7 s7
90100 1
91010 1
92001 1
93111 1
94.names n7 n6 c7 c8
9511- 1
961-1 1
97-11 1
98.names n8 n7 c8 s8
99100 1
100010 1
101001 1
102111 1
103.names n8 n7 c8 c9
10411- 1
1051-1 1
106-11 1
107.names n9 n8 c9 s9
108100 1
109010 1
110001 1
111111 1
112.names n9 n8 c9 c10
11311- 1
1141-1 1
115-11 1
116.names n10 n9 c10 s10
117100 1
118010 1
119001 1
120111 1
121.names n10 n9 c10 c11
12211- 1
1231-1 1
124-11 1
125.names n11 n10 c11 s11
126100 1
127010 1
128001 1
129111 1
130.names n11 n10 c11 c12
13111- 1
1321-1 1
133-11 1
134.names n12 n11 c12 s12
135100 1
136010 1
137001 1
138111 1
139.names n12 n11 c12 c13
14011- 1
1411-1 1
142-11 1
143.names n13 n12 c13 s13
144100 1
145010 1
146001 1
147111 1
148.names n13 n12 c13 c14
14911- 1
1501-1 1
151-11 1
152.names n14 n13 c14 s14
153100 1
154010 1
155001 1
156111 1
157.names n14 n13 c14 c15
15811- 1
1591-1 1
160-11 1
161.names n15 n14 c15 s15
162100 1
163010 1
164001 1
165111 1
166.names n15 n14 c15 c16
16711- 1
1681-1 1
169-11 1
170.names n16 n15 c16 s16
171100 1
172010 1
173001 1
174111 1
175.names n16 n15 c16 c17
17611- 1
1771-1 1
178-11 1
179.names n17 n16 c17 s17
180100 1
181010 1
182001 1
183111 1
184.names n17 n16 c17 c18
18511- 1
1861-1 1
187-11 1
188.names n18 n17 c18 s18
189100 1
190010 1
191001 1
192111 1
193.names n18 n17 c18 c19
19411- 1
1951-1 1
196-11 1
197.names n19 n18 c19 s19
198100 1
199010 1
200001 1
201111 1
202.names n19 n18 c19 c20
20311- 1
2041-1 1
205-11 1
206.names n20 n19 c20 s20
207100 1
208010 1
209001 1
210111 1
211.names n20 n19 c20 c21
21211- 1
2131-1 1
214-11 1
215.names n21 n20 c21 s21
216100 1
217010 1
218001 1
219111 1
220.names n21 n20 c21 c22
22111- 1
2221-1 1
223-11 1
224.names n22 n21 c22 s22
225100 1
226010 1
227001 1
228111 1
229.names n22 n21 c22 c23
23011- 1
2311-1 1
232-11 1
233.names n23 n22 c23 s23
234100 1
235010 1
236001 1
237111 1
238.names n23 n22 c23 c24
23911- 1
2401-1 1
241-11 1
242.names n24 n23 c24 s24
243100 1
244010 1
245001 1
246111 1
247.names n24 n23 c24 c25
24811- 1
2491-1 1
250-11 1
251.names n24 c25 s25
25210 1
25301 1
254.names n24 c25 s26
25511 1
256
257.names s25 s26 of
25800 0
259
260.names n0 of s0 n1 nn0
261101- 1
2620--1 1
263.names n0 of s1 n2 nn1
264101- 1
2650--1 1
266.names n0 of s2 n3 nn2
267101- 1
2680--1 1
269.names n0 of s3 n4 nn3
270101- 1
2710--1 1
272.names n0 of s4 n5 nn4
273101- 1
2740--1 1
275.names n0 of s5 n6 nn5
276101- 1
2770--1 1
278.names n0 of s6 n7 nn6
279101- 1
2800--1 1
281.names n0 of s7 n8 nn7
282101- 1
2830--1 1
284.names n0 of s8 n9 nn8
285101- 1
2860--1 1
287.names n0 of s9 n10 nn9
288101- 1
2890--1 1
290.names n0 of s10 n11 nn10
291101- 1
2920--1 1
293.names n0 of s11 n12 nn11
294101- 1
2950--1 1
296.names n0 of s12 n13 nn12
297101- 1
2980--1 1
299.names n0 of s13 n14 nn13
300101- 1
3010--1 1
302.names n0 of s14 n15 nn14
303101- 1
3040--1 1
305.names n0 of s15 n16 nn15
306101- 1
3070--1 1
308.names n0 of s16 n17 nn16
309101- 1
3100--1 1
311.names n0 of s17 n18 nn17
312101- 1
3130--1 1
314.names n0 of s18 n19 nn18
315101- 1
3160--1 1
317.names n0 of s19 n20 nn19
318101- 1
3190--1 1
320.names n0 of s20 n21 nn20
321101- 1
3220--1 1
323.names n0 of s21 n22 nn21
324101- 1
3250--1 1
326.names n0 of s22 n23 nn22
327101- 1
3280--1 1
329.names n0 of s23 n24 nn23
330101- 1
3310--1 1
332.names n0 of s24 nn24
333101 1
334
335.end
Note: See TracBrowser for help on using the repository browser.