| blob | f0933305e77cf869ba897b5864c56ebce6aee20c |
1 # Nanotrav Version #0.12, Release date 2003/12/31
2 # ./nanotrav -p 1 -autodyn -reordering sifting -trav mult32a.blif
3 # CUDD Version 2.4.2
4 BDD reordering with sifting: from 4001 to ... 268 nodes in 0.005 sec
5 BDD reordering with sifting: from 537 to ... 246 nodes in 0.006 sec
6 BDD reordering with sifting: from 493 to ... 250 nodes in 0.009 sec
7 BDD reordering with sifting: from 501 to ... 280 nodes in 0.012 sec
8 BDD reordering with sifting: from 561 to ... 296 nodes in 0.015 sec
9 Order before final reordering
10 2 34 33 66 32 65 31 64
11 63 30 62 29 28 61 27 60
12 26 59 25 58 24 57 23 56
13 22 55 21 54 20 53 19 52
14 51 18 50 17 49 16 48 15
15 47 14 46 13 45 12 36 3
16 37 4 38 5 39 6 40 7
17 41 8 42 9 43 10 44 11
18 1
19 Number of inputs = 65
20 BDD reordering with sifting: from 380 to ... 317 nodes in 0.012 sec
21 New order
22 1 2 34 66 33 65 32 64
23 31 63 30 62 29 61 28 60
24 27 59 26 58 25 57 24 56
25 23 55 22 54 21 53 20 52
26 19 51 18 50 17 49 16 48
27 15 47 14 46 13 45 12 36
28 3 4 37 5 38 6 39 7
29 40 8 41 9 42 10 43 44
30 11
31 Building transition relation. Time = 0.06 sec
32 BDD reordering with sifting: from 670 to ... 453 nodes in 0.029 sec
33 @@BDD reordering with sifting: from 940 to ... 700 nodes in 0.03 sec
34 @@BDD reordering with sifting: from 1433 to ... 832 nodes in 0.039 sec
35 @@BDD reordering with sifting: from 1697 to ... 1063 nodes in 0.045 sec
36 @@@BDD reordering with sifting: from 2159 to ... 786 nodes in 0.049 sec
37 @@@@BDD reordering with sifting: from 1605 to ... 893 nodes in 0.043 sec
38 @@@@BDD reordering with sifting: from 1819 to ... 951 nodes in 0.048 sec
39 @@@@@BDD reordering with sifting: from 1935 to ... 965 nodes in 0.055 sec
40 @@@@@BDD reordering with sifting: from 1963 to ... 1055 nodes in 0.059 sec
41 @@@@@
42 Transition relation: 1 parts 32 latches 199 nodes
43 Traversing. Time = 0.46 sec
44 S0: 33 nodes 1 leaves 1 minterms
45 From[1]: 33 nodes 1 leaves 2.14748e+09 minterms
46 Reached[1]: 2 nodes 1 leaves 2.14748e+09 minterms
47 2147483648
48 2.14748e+9
49 From[2]: 3 nodes 1 leaves 1.07374e+09 minterms
50 Reached[2]: 3 nodes 1 leaves 3.22123e+09 minterms
51 3221225472
52 3.22122e+9
53 From[3]: 4 nodes 1 leaves 5.36871e+08 minterms
54 Reached[3]: 4 nodes 1 leaves 3.7581e+09 minterms
55 3758096384
56 3.75809e+9
57 From[4]: 5 nodes 1 leaves 2.68435e+08 minterms
58 Reached[4]: 5 nodes 1 leaves 4.02653e+09 minterms
59 4026531840
60 4.02653e+9
61 From[5]: 6 nodes 1 leaves 1.34218e+08 minterms
62 Reached[5]: 6 nodes 1 leaves 4.16075e+09 minterms
63 4160749568
64 4.16074e+9
65 From[6]: 7 nodes 1 leaves 6.71089e+07 minterms
66 Reached[6]: 7 nodes 1 leaves 4.22786e+09 minterms
67 4227858432
68 4.22785e+9
69 From[7]: 8 nodes 1 leaves 3.35544e+07 minterms
70 Reached[7]: 8 nodes 1 leaves 4.26141e+09 minterms
71 4261412864
72 4.26141e+9
73 From[8]: 9 nodes 1 leaves 1.67772e+07 minterms
74 Reached[8]: 9 nodes 1 leaves 4.27819e+09 minterms
75 4278190080
76 4.27819e+9
77 From[9]: 10 nodes 1 leaves 8.38861e+06 minterms
78 Reached[9]: 10 nodes 1 leaves 4.28658e+09 minterms
79 4286578688
80 4.28657e+9
81 From[10]: 11 nodes 1 leaves 4.1943e+06 minterms
82 Reached[10]: 11 nodes 1 leaves 4.29077e+09 minterms
83 4290772992
84 4.29077e+9
85 From[11]: 12 nodes 1 leaves 2.09715e+06 minterms
86 Reached[11]: 12 nodes 1 leaves 4.29287e+09 minterms
87 4292870144
88 4.29287e+9
89 From[12]: 13 nodes 1 leaves 1.04858e+06 minterms
90 Reached[12]: 13 nodes 1 leaves 4.29392e+09 minterms
91 4293918720
92 4.29391e+9
93 From[13]: 14 nodes 1 leaves 524288 minterms
94 Reached[13]: 14 nodes 1 leaves 4.29444e+09 minterms
95 4294443008
96 4.29444e+9
97 From[14]: 15 nodes 1 leaves 262144 minterms
98 Reached[14]: 15 nodes 1 leaves 4.29471e+09 minterms
99 4294705152
100 4.29470e+9
101 From[15]: 16 nodes 1 leaves 131072 minterms
102 Reached[15]: 16 nodes 1 leaves 4.29484e+09 minterms
103 4294836224
104 4.29483e+9
105 From[16]: 17 nodes 1 leaves 65536 minterms
106 Reached[16]: 17 nodes 1 leaves 4.2949e+09 minterms
107 4294901760
108 4.29490e+9
109 From[17]: 18 nodes 1 leaves 32768 minterms
110 Reached[17]: 18 nodes 1 leaves 4.29493e+09 minterms
111 4294934528
112 4.29493e+9
113 From[18]: 19 nodes 1 leaves 16384 minterms
114 Reached[18]: 19 nodes 1 leaves 4.29495e+09 minterms
115 4294950912
116 4.29495e+9
117 From[19]: 20 nodes 1 leaves 8192 minterms
118 Reached[19]: 20 nodes 1 leaves 4.29496e+09 minterms
119 4294959104
120 4.29495e+9
121 From[20]: 21 nodes 1 leaves 4096 minterms
122 Reached[20]: 21 nodes 1 leaves 4.29496e+09 minterms
123 4294963200
124 4.29496e+9
125 From[21]: 22 nodes 1 leaves 2048 minterms
126 Reached[21]: 22 nodes 1 leaves 4.29497e+09 minterms
127 4294965248
128 4.29496e+9
129 From[22]: 23 nodes 1 leaves 1024 minterms
130 Reached[22]: 23 nodes 1 leaves 4.29497e+09 minterms
131 4294966272
132 4.29496e+9
133 From[23]: 24 nodes 1 leaves 512 minterms
134 Reached[23]: 24 nodes 1 leaves 4.29497e+09 minterms
135 4294966784
136 4.29496e+9
137 From[24]: 25 nodes 1 leaves 256 minterms
138 Reached[24]: 25 nodes 1 leaves 4.29497e+09 minterms
139 4294967040
140 4.29496e+9
141 From[25]: 26 nodes 1 leaves 128 minterms
142 Reached[25]: 26 nodes 1 leaves 4.29497e+09 minterms
143 4294967168
144 4.29496e+9
145 From[26]: 27 nodes 1 leaves 64 minterms
146 Reached[26]: 27 nodes 1 leaves 4.29497e+09 minterms
147 4294967232
148 4.29496e+9
149 From[27]: 28 nodes 1 leaves 32 minterms
150 Reached[27]: 28 nodes 1 leaves 4.29497e+09 minterms
151 4294967264
152 4.29496e+9
153 From[28]: 29 nodes 1 leaves 16 minterms
154 Reached[28]: 29 nodes 1 leaves 4.29497e+09 minterms
155 4294967280
156 4.29496e+9
157 From[29]: 30 nodes 1 leaves 8 minterms
158 Reached[29]: 30 nodes 1 leaves 4.29497e+09 minterms
159 4294967288
160 4.29496e+9
161 From[30]: 31 nodes 1 leaves 4 minterms
162 Reached[30]: 31 nodes 1 leaves 4.29497e+09 minterms
163 4294967292
164 4.29496e+9
165 From[31]: 32 nodes 1 leaves 2 minterms
166 Reached[31]: 32 nodes 1 leaves 4.29497e+09 minterms
167 4294967294
168 4.29496e+9
169 From[32]: 33 nodes 1 leaves 1 minterms
170 Reached[32]: 33 nodes 1 leaves 4.29497e+09 minterms
171 4294967295
172 4.29496e+9
173 depth = 32
174 R: 33 nodes 1 leaves 4.29497e+09 minterms
175 Order at the end of reachability analysis
176 1 2 34 33 66 32 65 31
177 64 63 30 29 62 28 61 60
178 27 59 26 58 25 57 24 56
179 23 55 22 54 21 20 53 19
180 52 18 51 17 50 16 49 15
181 48 14 47 13 46 12 45 11
182 44 10 43 3 36 4 37 5
183 38 6 39 7 40 8 41 42
184 9
185 **** CUDD modifiable parameters ****
186 Hard limit for cache size: 7645866
187 Cache hit threshold for resizing: 30%
188 Garbage collection enabled: yes
189 Limit for fast unique table growth: 4587520
190 Maximum number of variables sifted per reordering: 1000000
191 Maximum number of variable swaps per reordering: 1000000000
192 Maximum growth while sifting a variable: 1.2
193 Dynamic reordering of BDDs enabled: yes
194 Default BDD reordering method: 4
195 Dynamic reordering of ZDDs enabled: no
196 Default ZDD reordering method: 4
197 Realignment of ZDDs to BDDs enabled: no
198 Realignment of BDDs to ZDDs enabled: no
199 Dead nodes counted in triggering reordering: no
200 Group checking criterion: 7
201 Recombination threshold: 0
202 Symmetry violation threshold: 10
203 Arc violation threshold: 10
204 GA population size: 0
205 Number of crossovers for GA: 0
206 Next reordering threshold: 2178
207 **** CUDD non-modifiable parameters ****
208 Memory in use: 5461692
209 Peak number of nodes: 7154
210 Peak number of live nodes: 4004
211 Number of BDD variables: 97
212 Number of ZDD variables: 0
213 Number of cache entries: 65536
214 Number of cache look-ups: 48730
215 Number of cache hits: 20857
216 Number of cache insertions: 27828
217 Number of cache collisions: 997
218 Number of cache deletions: 20076
219 Cache used slots = 17.56% (expected 10.31%)
220 Soft limit for cache size: 100352
221 Number of buckets in unique table: 25088
222 Used buckets in unique table: 12.29% (expected 12.30%)
223 Number of BDD and ADD nodes: 3533
224 Number of ZDD nodes: 0
225 Number of dead BDD and ADD nodes: 3186
226 Number of dead ZDD nodes: 0
227 Total number of nodes allocated: 23948
228 Total number of nodes reclaimed: 3937
229 Garbage collections so far: 15
230 Time for garbage collection: 0.00 sec
231 Reorderings so far: 15
232 Time for reordering: 0.46 sec
233 Final size: 275
234 total time = 0.47 sec
235 Runtime Statistics
236 ------------------
237 Machine name: jobim.colorado.edu
238 User time 0.5 seconds
239 System time 0.0 seconds
241 Average resident text size = 0K
242 Average resident data+stack size = 0K
243 Maximum resident size = 0K
245 Virtual text size = 131815K
246 Virtual data size = 297K
247 data size initialized = 25K
248 data size uninitialized = 137K
249 data size sbrk = 135K
250 Virtual memory limit = 358400K (4194304K)
252 Major page faults = 0
253 Minor page faults = 1754
254 Swaps = 0
255 Input blocks = 0
256 Output blocks = 0
257 Context switch (voluntary) = 1
258 Context switch (involuntary) = 21