add16n.aag

aag 339 48 2 1 289
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
76
78
80
82
84
86
88
90
92
94
96
98 1
100 679
102
102 100 98
104 66 35
106 67 34
108 107 105
110 66 34
112 109 3
114 108 2
116 115 113
118 69 37
120 118 110
122 68 37
124 122 111
126 125 121
128 69 36
130 128 111
132 131 126
134 68 36
136 134 110
138 137 132
140 139 5
142 138 4
144 143 141
146 110 68
148 110 36
150 149 147
152 150 135
154 71 39
156 154 153
158 70 39
160 158 152
162 161 157
164 71 38
166 164 152
168 167 162
170 70 38
172 170 153
174 173 168
176 175 7
178 174 6
180 179 177
182 153 70
184 153 38
186 185 183
188 186 171
190 73 41
192 190 189
194 72 41
196 194 188
198 197 193
200 73 40
202 200 188
204 203 198
206 72 40
208 206 189
210 209 204
212 211 9
214 210 8
216 215 213
218 189 72
220 189 40
222 221 219
224 222 207
226 75 43
228 226 225
230 74 43
232 230 224
234 233 229
236 75 42
238 236 224
240 239 234
242 74 42
244 242 225
246 245 240
248 247 11
250 246 10
252 251 249
254 225 74
256 225 42
258 257 255
260 258 243
262 77 45
264 262 261
266 76 45
268 266 260
270 269 265
272 77 44
274 272 260
276 275 270
278 76 44
280 278 261
282 281 276
284 283 13
286 282 12
288 287 285
290 261 76
292 261 44
294 293 291
296 294 279
298 79 47
300 298 297
302 78 47
304 302 296
306 305 301
308 79 46
310 308 296
312 311 306
314 78 46
316 314 297
318 317 312
320 319 15
322 318 14
324 323 321
326 297 78
328 297 46
330 329 327
332 330 315
334 81 49
336 334 333
338 80 49
340 338 332
342 341 337
344 81 48
346 344 332
348 347 342
350 80 48
352 350 333
354 353 348
356 355 17
358 354 16
360 359 357
362 333 80
364 333 48
366 365 363
368 366 351
370 83 51
372 370 369
374 82 51
376 374 368
378 377 373
380 83 50
382 380 368
384 383 378
386 82 50
388 386 369
390 389 384
392 391 19
394 390 18
396 395 393
398 369 82
400 369 50
402 401 399
404 402 387
406 85 53
408 406 405
410 84 53
412 410 404
414 413 409
416 85 52
418 416 404
420 419 414
422 84 52
424 422 405
426 425 420
428 427 21
430 426 20
432 431 429
434 405 84
436 405 52
438 437 435
440 438 423
442 87 55
444 442 441
446 86 55
448 446 440
450 449 445
452 87 54
454 452 440
456 455 450
458 86 54
460 458 441
462 461 456
464 463 23
466 462 22
468 467 465
470 441 86
472 441 54
474 473 471
476 474 459
478 89 57
480 478 477
482 88 57
484 482 476
486 485 481
488 89 56
490 488 476
492 491 486
494 88 56
496 494 477
498 497 492
500 499 25
502 498 24
504 503 501
506 477 88
508 477 56
510 509 507
512 510 495
514 91 59
516 514 513
518 90 59
520 518 512
522 521 517
524 91 58
526 524 512
528 527 522
530 90 58
532 530 513
534 533 528
536 535 27
538 534 26
540 539 537
542 513 90
544 513 58
546 545 543
548 546 531
550 93 61
552 550 549
554 92 61
556 554 548
558 557 553
560 93 60
562 560 548
564 563 558
566 92 60
568 566 549
570 569 564
572 571 29
574 570 28
576 575 573
578 549 92
580 549 60
582 581 579
584 582 567
586 95 63
588 586 585
590 94 63
592 590 584
594 593 589
596 95 62
598 596 584
600 599 594
602 94 62
604 602 585
606 605 600
608 607 31
610 606 30
612 611 609
614 585 94
616 585 62
618 617 615
620 618 603
622 97 65
624 622 621
626 96 65
628 626 620
630 629 625
632 97 64
634 632 620
636 635 630
638 96 64
640 638 621
642 641 636
644 643 33
646 642 32
648 647 645
650 144 116
652 650 180
654 652 216
656 654 252
658 656 288
660 658 324
662 660 360
664 662 396
666 664 432
668 666 468
670 668 504
672 670 540
674 672 576
676 674 612
678 676 648
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 controllable_c<12>
i13 controllable_c<13>
i14 controllable_c<14>
i15 controllable_c<15>
i16 a<0>
i17 a<1>
i18 a<2>
i19 a<3>
i20 a<4>
i21 a<5>
i22 a<6>
i23 a<7>
i24 a<8>
i25 a<9>
i26 a<10>
i27 a<11>
i28 a<12>
i29 a<13>
i30 a<14>
i31 a<15>
i32 b<0>
i33 b<1>
i34 b<2>
i35 b<3>
i36 b<4>
i37 b<5>
i38 b<6>
i39 b<7>
i40 b<8>
i41 b<9>
i42 b<10>
i43 b<11>
i44 b<12>
i45 b<13>
i46 b<14>
i47 b<15>
l0 n99
l1 err_out
o0 err
c
bench
This file was written by ABC on Sat Aug 31 20:24:34 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 add16.v   ---gives--> add16.mv
> abc -c "read_blif_mv add16.mv; write_aiger -s add16n.aig"   ---gives--> add16n.aig
> aigtoaig add16n.aig add16n.aag   ---gives--> add16n.aag (this file)
Content of add16.v:
// realizable
module bench(clk, a, b, controllable_c, err);
  input clk;
  input [15:0] a;
  input [15:0] b;
  input [15: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
-------------------------------