add12n.aag

aag 251 36 2 1 213
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40
42
44
46
48
50
52
54
56
58
60
62
64
66
68
70
72
74 1
76 503
78
78 76 74
80 50 27
82 51 26
84 83 81
86 50 26
88 85 3
90 84 2
92 91 89
94 53 29
96 94 86
98 52 29
100 98 87
102 101 97
104 53 28
106 104 87
108 107 102
110 52 28
112 110 86
114 113 108
116 115 5
118 114 4
120 119 117
122 86 52
124 86 28
126 125 123
128 126 111
130 55 31
132 130 129
134 54 31
136 134 128
138 137 133
140 55 30
142 140 128
144 143 138
146 54 30
148 146 129
150 149 144
152 151 7
154 150 6
156 155 153
158 129 54
160 129 30
162 161 159
164 162 147
166 57 33
168 166 165
170 56 33
172 170 164
174 173 169
176 57 32
178 176 164
180 179 174
182 56 32
184 182 165
186 185 180
188 187 9
190 186 8
192 191 189
194 165 56
196 165 32
198 197 195
200 198 183
202 59 35
204 202 201
206 58 35
208 206 200
210 209 205
212 59 34
214 212 200
216 215 210
218 58 34
220 218 201
222 221 216
224 223 11
226 222 10
228 227 225
230 201 58
232 201 34
234 233 231
236 234 219
238 61 37
240 238 237
242 60 37
244 242 236
246 245 241
248 61 36
250 248 236
252 251 246
254 60 36
256 254 237
258 257 252
260 259 13
262 258 12
264 263 261
266 237 60
268 237 36
270 269 267
272 270 255
274 63 39
276 274 273
278 62 39
280 278 272
282 281 277
284 63 38
286 284 272
288 287 282
290 62 38
292 290 273
294 293 288
296 295 15
298 294 14
300 299 297
302 273 62
304 273 38
306 305 303
308 306 291
310 65 41
312 310 309
314 64 41
316 314 308
318 317 313
320 65 40
322 320 308
324 323 318
326 64 40
328 326 309
330 329 324
332 331 17
334 330 16
336 335 333
338 309 64
340 309 40
342 341 339
344 342 327
346 67 43
348 346 345
350 66 43
352 350 344
354 353 349
356 67 42
358 356 344
360 359 354
362 66 42
364 362 345
366 365 360
368 367 19
370 366 18
372 371 369
374 345 66
376 345 42
378 377 375
380 378 363
382 69 45
384 382 381
386 68 45
388 386 380
390 389 385
392 69 44
394 392 380
396 395 390
398 68 44
400 398 381
402 401 396
404 403 21
406 402 20
408 407 405
410 381 68
412 381 44
414 413 411
416 414 399
418 71 47
420 418 417
422 70 47
424 422 416
426 425 421
428 71 46
430 428 416
432 431 426
434 70 46
436 434 417
438 437 432
440 439 23
442 438 22
444 443 441
446 417 70
448 417 46
450 449 447
452 450 435
454 73 49
456 454 453
458 72 49
460 458 452
462 461 457
464 73 48
466 464 452
468 467 462
470 72 48
472 470 453
474 473 468
476 475 25
478 474 24
480 479 477
482 120 92
484 482 156
486 484 192
488 486 228
490 488 264
492 490 300
494 492 336
496 494 372
498 496 408
500 498 444
502 500 480
i0 controllable_c<0>
i1 controllable_c<1>
i2 controllable_c<2>
i3 controllable_c<3>
i4 controllable_c<4>
i5 controllable_c<5>
i6 controllable_c<6>
i7 controllable_c<7>
i8 controllable_c<8>
i9 controllable_c<9>
i10 controllable_c<10>
i11 controllable_c<11>
i12 a<0>
i13 a<1>
i14 a<2>
i15 a<3>
i16 a<4>
i17 a<5>
i18 a<6>
i19 a<7>
i20 a<8>
i21 a<9>
i22 a<10>
i23 a<11>
i24 b<0>
i25 b<1>
i26 b<2>
i27 b<3>
i28 b<4>
i29 b<5>
i30 b<6>
i31 b<7>
i32 b<8>
i33 b<9>
i34 b<10>
i35 b<11>
l0 n75
l1 err_out
o0 err
c
bench
This file was written by ABC on Sat Aug 31 20:25:00 2013
For information about AIGER format, refer to http://fmv.jku.at/aiger
-------------------------------
This AIGER file has been created by the following sequence of commands:
> vl2mv add12.v   ---gives--> add12.mv
> abc -c "read_blif_mv add12.mv; write_aiger -s add12n.aig"   ---gives--> add12n.aig
> aigtoaig add12n.aig add12n.aag   ---gives--> add12n.aag (this file)
Content of add12.v:
// realizable
module bench(clk, a, b, controllable_c, err);
  input clk;
  input [11:0] a;
  input [11:0] b;
  input [11:0] controllable_c;
  output err;
  reg err;

  initial
  begin
    err = 1'b0;
  end

  always @ (posedge clk)
  begin
    if(controllable_c == a + b)
         err = 1'b0;
      else
         err = 1'b1;
   end
endmodule
-------------------------------