add18y.aag

aag 297 54 2 1 241
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
100
102
104
106
108
110 1
112 595
114
114 112 110
116 106 70
118 104 68
120 102 66
122 100 64
124 98 62
126 96 60
128 94 58
130 92 56
132 90 54
134 88 52
136 86 50
138 84 48
140 82 46
142 80 44
144 78 42
146 76 40
148 74 38
150 77 41
152 151 148
154 153 147
156 79 43
158 157 155
160 159 145
162 81 45
164 163 161
166 165 143
168 83 47
170 169 167
172 171 141
174 85 49
176 175 173
178 177 139
180 87 51
182 181 179
184 183 137
186 89 53
188 187 185
190 189 135
192 91 55
194 193 191
196 195 133
198 93 57
200 199 197
202 201 131
204 95 59
206 205 203
208 207 129
210 97 61
212 211 209
214 213 127
216 99 63
218 217 215
220 219 125
222 101 65
224 223 221
226 225 123
228 103 67
230 229 227
232 231 121
234 105 69
236 235 233
238 237 119
240 107 71
242 241 239
244 243 117
246 245 108
248 244 109
250 249 247
252 251 73
254 250 72
256 255 253
258 256 37
260 257 36
262 261 259
264 106 71
266 107 70
268 267 265
270 269 239
272 268 238
274 273 271
276 274 35
278 275 34
280 279 277
282 104 69
284 105 68
286 285 283
288 287 233
290 286 232
292 291 289
294 292 33
296 293 32
298 297 295
300 102 67
302 103 66
304 303 301
306 305 227
308 304 226
310 309 307
312 310 31
314 311 30
316 315 313
318 100 65
320 101 64
322 321 319
324 323 221
326 322 220
328 327 325
330 328 29
332 329 28
334 333 331
336 98 63
338 99 62
340 339 337
342 341 215
344 340 214
346 345 343
348 346 27
350 347 26
352 351 349
354 96 61
356 97 60
358 357 355
360 359 209
362 358 208
364 363 361
366 364 25
368 365 24
370 369 367
372 94 59
374 95 58
376 375 373
378 377 203
380 376 202
382 381 379
384 382 23
386 383 22
388 387 385
390 92 57
392 93 56
394 393 391
396 395 197
398 394 196
400 399 397
402 400 21
404 401 20
406 405 403
408 90 55
410 91 54
412 411 409
414 413 191
416 412 190
418 417 415
420 418 19
422 419 18
424 423 421
426 88 53
428 89 52
430 429 427
432 431 185
434 430 184
436 435 433
438 436 17
440 437 16
442 441 439
444 86 51
446 87 50
448 447 445
450 449 179
452 448 178
454 453 451
456 454 15
458 455 14
460 459 457
462 84 49
464 85 48
466 465 463
468 467 173
470 466 172
472 471 469
474 472 13
476 473 12
478 477 475
480 82 47
482 83 46
484 483 481
486 485 167
488 484 166
490 489 487
492 490 11
494 491 10
496 495 493
498 80 45
500 81 44
502 501 499
504 503 161
506 502 160
508 507 505
510 508 9
512 509 8
514 513 511
516 78 43
518 79 42
520 519 517
522 521 155
524 520 154
526 525 523
528 526 7
530 527 6
532 531 529
534 75 39
536 535 149
538 536 3
540 537 2
542 541 539
544 76 41
546 77 40
548 547 545
550 548 148
552 549 149
554 553 551
556 555 5
558 554 4
560 559 557
562 560 542
564 562 532
566 564 514
568 566 496
570 568 478
572 570 460
574 572 442
576 574 424
578 576 406
580 578 388
582 580 370
584 582 352
586 584 334
588 586 316
590 588 298
592 590 280
594 592 262
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 controllable_c<16>
i17 controllable_c<17>
i18 a<0>
i19 a<1>
i20 a<2>
i21 a<3>
i22 a<4>
i23 a<5>
i24 a<6>
i25 a<7>
i26 a<8>
i27 a<9>
i28 a<10>
i29 a<11>
i30 a<12>
i31 a<13>
i32 a<14>
i33 a<15>
i34 a<16>
i35 a<17>
i36 b<0>
i37 b<1>
i38 b<2>
i39 b<3>
i40 b<4>
i41 b<5>
i42 b<6>
i43 b<7>
i44 b<8>
i45 b<9>
i46 b<10>
i47 b<11>
i48 b<12>
i49 b<13>
i50 b<14>
i51 b<15>
i52 b<16>
i53 b<17>
l0 n111
l1 err_out
o0 err
c
bench
This file was written by ABC on Sat Aug 31 20:24:57 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 add18.v   ---gives--> add18.mv
> abc -c "read_blif_mv add18.mv; strash; refactor; rewrite; dfraig; rewrite; dfraig; write_aiger -s add18y.aig"   ---gives--> add18y.aig
> aigtoaig add18y.aig add18y.aag   ---gives--> add18y.aag (this file)
Content of add18.v:
// realizable
module bench(clk, a, b, controllable_c, err);
  input clk;
  input [17:0] a;
  input [17:0] b;
  input [17: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
-------------------------------