atpg-ls/benchmark/c1355.bench
2023-07-18 04:05:32 +00:00

624 lines
13 KiB
Plaintext

# c1355
INPUT(1)
INPUT(8)
INPUT(15)
INPUT(22)
INPUT(29)
INPUT(36)
INPUT(43)
INPUT(50)
INPUT(57)
INPUT(64)
INPUT(71)
INPUT(78)
INPUT(85)
INPUT(92)
INPUT(99)
INPUT(106)
INPUT(113)
INPUT(120)
INPUT(127)
INPUT(134)
INPUT(141)
INPUT(148)
INPUT(155)
INPUT(162)
INPUT(169)
INPUT(176)
INPUT(183)
INPUT(190)
INPUT(197)
INPUT(204)
INPUT(211)
INPUT(218)
INPUT(225)
INPUT(226)
INPUT(227)
INPUT(228)
INPUT(229)
INPUT(230)
INPUT(231)
INPUT(232)
INPUT(233)
OUTPUT(1324)
OUTPUT(1325)
OUTPUT(1326)
OUTPUT(1327)
OUTPUT(1328)
OUTPUT(1329)
OUTPUT(1330)
OUTPUT(1331)
OUTPUT(1332)
OUTPUT(1333)
OUTPUT(1334)
OUTPUT(1335)
OUTPUT(1336)
OUTPUT(1337)
OUTPUT(1338)
OUTPUT(1339)
OUTPUT(1340)
OUTPUT(1341)
OUTPUT(1342)
OUTPUT(1343)
OUTPUT(1344)
OUTPUT(1345)
OUTPUT(1346)
OUTPUT(1347)
OUTPUT(1348)
OUTPUT(1349)
OUTPUT(1350)
OUTPUT(1351)
OUTPUT(1352)
OUTPUT(1353)
OUTPUT(1354)
OUTPUT(1355)
242 = AND(225, 233)
245 = AND(226, 233)
248 = AND(227, 233)
251 = AND(228, 233)
254 = AND(229, 233)
257 = AND(230, 233)
260 = AND(231, 233)
263 = AND(232, 233)
266 = NAND(1, 8)
269 = NAND(15, 22)
272 = NAND(29, 36)
275 = NAND(43, 50)
278 = NAND(57, 64)
281 = NAND(71, 78)
284 = NAND(85, 92)
287 = NAND(99, 106)
290 = NAND(113, 120)
293 = NAND(127, 134)
296 = NAND(141, 148)
299 = NAND(155, 162)
302 = NAND(169, 176)
305 = NAND(183, 190)
308 = NAND(197, 204)
311 = NAND(211, 218)
314 = NAND(1, 29)
317 = NAND(57, 85)
320 = NAND(8, 36)
323 = NAND(64, 92)
326 = NAND(15, 43)
329 = NAND(71, 99)
332 = NAND(22, 50)
335 = NAND(78, 106)
338 = NAND(113, 141)
341 = NAND(169, 197)
344 = NAND(120, 148)
347 = NAND(176, 204)
350 = NAND(127, 155)
353 = NAND(183, 211)
356 = NAND(134, 162)
359 = NAND(190, 218)
362 = NAND(1, 266)
363 = NAND(8, 266)
364 = NAND(15, 269)
365 = NAND(22, 269)
366 = NAND(29, 272)
367 = NAND(36, 272)
368 = NAND(43, 275)
369 = NAND(50, 275)
370 = NAND(57, 278)
371 = NAND(64, 278)
372 = NAND(71, 281)
373 = NAND(78, 281)
374 = NAND(85, 284)
375 = NAND(92, 284)
376 = NAND(99, 287)
377 = NAND(106, 287)
378 = NAND(113, 290)
379 = NAND(120, 290)
380 = NAND(127, 293)
381 = NAND(134, 293)
382 = NAND(141, 296)
383 = NAND(148, 296)
384 = NAND(155, 299)
385 = NAND(162, 299)
386 = NAND(169, 302)
387 = NAND(176, 302)
388 = NAND(183, 305)
389 = NAND(190, 305)
390 = NAND(197, 308)
391 = NAND(204, 308)
392 = NAND(211, 311)
393 = NAND(218, 311)
394 = NAND(1, 314)
395 = NAND(29, 314)
396 = NAND(57, 317)
397 = NAND(85, 317)
398 = NAND(8, 320)
399 = NAND(36, 320)
400 = NAND(64, 323)
401 = NAND(92, 323)
402 = NAND(15, 326)
403 = NAND(43, 326)
404 = NAND(71, 329)
405 = NAND(99, 329)
406 = NAND(22, 332)
407 = NAND(50, 332)
408 = NAND(78, 335)
409 = NAND(106, 335)
410 = NAND(113, 338)
411 = NAND(141, 338)
412 = NAND(169, 341)
413 = NAND(197, 341)
414 = NAND(120, 344)
415 = NAND(148, 344)
416 = NAND(176, 347)
417 = NAND(204, 347)
418 = NAND(127, 350)
419 = NAND(155, 350)
420 = NAND(183, 353)
421 = NAND(211, 353)
422 = NAND(134, 356)
423 = NAND(162, 356)
424 = NAND(190, 359)
425 = NAND(218, 359)
426 = NAND(362, 363)
429 = NAND(364, 365)
432 = NAND(366, 367)
435 = NAND(368, 369)
438 = NAND(370, 371)
441 = NAND(372, 373)
444 = NAND(374, 375)
447 = NAND(376, 377)
450 = NAND(378, 379)
453 = NAND(380, 381)
456 = NAND(382, 383)
459 = NAND(384, 385)
462 = NAND(386, 387)
465 = NAND(388, 389)
468 = NAND(390, 391)
471 = NAND(392, 393)
474 = NAND(394, 395)
477 = NAND(396, 397)
480 = NAND(398, 399)
483 = NAND(400, 401)
486 = NAND(402, 403)
489 = NAND(404, 405)
492 = NAND(406, 407)
495 = NAND(408, 409)
498 = NAND(410, 411)
501 = NAND(412, 413)
504 = NAND(414, 415)
507 = NAND(416, 417)
510 = NAND(418, 419)
513 = NAND(420, 421)
516 = NAND(422, 423)
519 = NAND(424, 425)
522 = NAND(426, 429)
525 = NAND(432, 435)
528 = NAND(438, 441)
531 = NAND(444, 447)
534 = NAND(450, 453)
537 = NAND(456, 459)
540 = NAND(462, 465)
543 = NAND(468, 471)
546 = NAND(474, 477)
549 = NAND(480, 483)
552 = NAND(486, 489)
555 = NAND(492, 495)
558 = NAND(498, 501)
561 = NAND(504, 507)
564 = NAND(510, 513)
567 = NAND(516, 519)
570 = NAND(426, 522)
571 = NAND(429, 522)
572 = NAND(432, 525)
573 = NAND(435, 525)
574 = NAND(438, 528)
575 = NAND(441, 528)
576 = NAND(444, 531)
577 = NAND(447, 531)
578 = NAND(450, 534)
579 = NAND(453, 534)
580 = NAND(456, 537)
581 = NAND(459, 537)
582 = NAND(462, 540)
583 = NAND(465, 540)
584 = NAND(468, 543)
585 = NAND(471, 543)
586 = NAND(474, 546)
587 = NAND(477, 546)
588 = NAND(480, 549)
589 = NAND(483, 549)
590 = NAND(486, 552)
591 = NAND(489, 552)
592 = NAND(492, 555)
593 = NAND(495, 555)
594 = NAND(498, 558)
595 = NAND(501, 558)
596 = NAND(504, 561)
597 = NAND(507, 561)
598 = NAND(510, 564)
599 = NAND(513, 564)
600 = NAND(516, 567)
601 = NAND(519, 567)
602 = NAND(570, 571)
607 = NAND(572, 573)
612 = NAND(574, 575)
617 = NAND(576, 577)
622 = NAND(578, 579)
627 = NAND(580, 581)
632 = NAND(582, 583)
637 = NAND(584, 585)
642 = NAND(586, 587)
645 = NAND(588, 589)
648 = NAND(590, 591)
651 = NAND(592, 593)
654 = NAND(594, 595)
657 = NAND(596, 597)
660 = NAND(598, 599)
663 = NAND(600, 601)
666 = NAND(602, 607)
669 = NAND(612, 617)
672 = NAND(602, 612)
675 = NAND(607, 617)
678 = NAND(622, 627)
681 = NAND(632, 637)
684 = NAND(622, 632)
687 = NAND(627, 637)
690 = NAND(602, 666)
691 = NAND(607, 666)
692 = NAND(612, 669)
693 = NAND(617, 669)
694 = NAND(602, 672)
695 = NAND(612, 672)
696 = NAND(607, 675)
697 = NAND(617, 675)
698 = NAND(622, 678)
699 = NAND(627, 678)
700 = NAND(632, 681)
701 = NAND(637, 681)
702 = NAND(622, 684)
703 = NAND(632, 684)
704 = NAND(627, 687)
705 = NAND(637, 687)
706 = NAND(690, 691)
709 = NAND(692, 693)
712 = NAND(694, 695)
715 = NAND(696, 697)
718 = NAND(698, 699)
721 = NAND(700, 701)
724 = NAND(702, 703)
727 = NAND(704, 705)
730 = NAND(242, 718)
733 = NAND(245, 721)
736 = NAND(248, 724)
739 = NAND(251, 727)
742 = NAND(254, 706)
745 = NAND(257, 709)
748 = NAND(260, 712)
751 = NAND(263, 715)
754 = NAND(242, 730)
755 = NAND(718, 730)
756 = NAND(245, 733)
757 = NAND(721, 733)
758 = NAND(248, 736)
759 = NAND(724, 736)
760 = NAND(251, 739)
761 = NAND(727, 739)
762 = NAND(254, 742)
763 = NAND(706, 742)
764 = NAND(257, 745)
765 = NAND(709, 745)
766 = NAND(260, 748)
767 = NAND(712, 748)
768 = NAND(263, 751)
769 = NAND(715, 751)
770 = NAND(754, 755)
773 = NAND(756, 757)
776 = NAND(758, 759)
779 = NAND(760, 761)
782 = NAND(762, 763)
785 = NAND(764, 765)
788 = NAND(766, 767)
791 = NAND(768, 769)
794 = NAND(642, 770)
797 = NAND(645, 773)
800 = NAND(648, 776)
803 = NAND(651, 779)
806 = NAND(654, 782)
809 = NAND(657, 785)
812 = NAND(660, 788)
815 = NAND(663, 791)
818 = NAND(642, 794)
819 = NAND(770, 794)
820 = NAND(645, 797)
821 = NAND(773, 797)
822 = NAND(648, 800)
823 = NAND(776, 800)
824 = NAND(651, 803)
825 = NAND(779, 803)
826 = NAND(654, 806)
827 = NAND(782, 806)
828 = NAND(657, 809)
829 = NAND(785, 809)
830 = NAND(660, 812)
831 = NAND(788, 812)
832 = NAND(663, 815)
833 = NAND(791, 815)
834 = NAND(818, 819)
847 = NAND(820, 821)
860 = NAND(822, 823)
873 = NAND(824, 825)
886 = NAND(828, 829)
899 = NAND(832, 833)
912 = NAND(830, 831)
925 = NAND(826, 827)
938 = NOT(834)
939 = NOT(847)
940 = NOT(860)
941 = NOT(834)
942 = NOT(847)
943 = NOT(873)
944 = NOT(834)
945 = NOT(860)
946 = NOT(873)
947 = NOT(847)
948 = NOT(860)
949 = NOT(873)
950 = NOT(886)
951 = NOT(899)
952 = NOT(886)
953 = NOT(912)
954 = NOT(925)
955 = NOT(899)
956 = NOT(925)
957 = NOT(912)
958 = NOT(925)
959 = NOT(886)
960 = NOT(912)
961 = NOT(925)
962 = NOT(886)
963 = NOT(899)
964 = NOT(925)
965 = NOT(912)
966 = NOT(899)
967 = NOT(886)
968 = NOT(912)
969 = NOT(899)
970 = NOT(847)
971 = NOT(873)
972 = NOT(847)
973 = NOT(860)
974 = NOT(834)
975 = NOT(873)
976 = NOT(834)
977 = NOT(860)
978 = AND(938, 939, 940, 873)
979 = AND(941, 942, 860, 943)
980 = AND(944, 847, 945, 946)
981 = AND(834, 947, 948, 949)
982 = AND(958, 959, 960, 899)
983 = AND(961, 962, 912, 963)
984 = AND(964, 886, 965, 966)
985 = AND(925, 967, 968, 969)
986 = OR(978, 979, 980, 981)
991 = OR(982, 983, 984, 985)
996 = AND(925, 950, 912, 951, 986)
1001 = AND(925, 952, 953, 899, 986)
1006 = AND(954, 886, 912, 955, 986)
1011 = AND(956, 886, 957, 899, 986)
1016 = AND(834, 970, 860, 971, 991)
1021 = AND(834, 972, 973, 873, 991)
1026 = AND(974, 847, 860, 975, 991)
1031 = AND(976, 847, 977, 873, 991)
1036 = AND(834, 996)
1039 = AND(847, 996)
1042 = AND(860, 996)
1045 = AND(873, 996)
1048 = AND(834, 1001)
1051 = AND(847, 1001)
1054 = AND(860, 1001)
1057 = AND(873, 1001)
1060 = AND(834, 1006)
1063 = AND(847, 1006)
1066 = AND(860, 1006)
1069 = AND(873, 1006)
1072 = AND(834, 1011)
1075 = AND(847, 1011)
1078 = AND(860, 1011)
1081 = AND(873, 1011)
1084 = AND(925, 1016)
1087 = AND(886, 1016)
1090 = AND(912, 1016)
1093 = AND(899, 1016)
1096 = AND(925, 1021)
1099 = AND(886, 1021)
1102 = AND(912, 1021)
1105 = AND(899, 1021)
1108 = AND(925, 1026)
1111 = AND(886, 1026)
1114 = AND(912, 1026)
1117 = AND(899, 1026)
1120 = AND(925, 1031)
1123 = AND(886, 1031)
1126 = AND(912, 1031)
1129 = AND(899, 1031)
1132 = NAND(1, 1036)
1135 = NAND(8, 1039)
1138 = NAND(15, 1042)
1141 = NAND(22, 1045)
1144 = NAND(29, 1048)
1147 = NAND(36, 1051)
1150 = NAND(43, 1054)
1153 = NAND(50, 1057)
1156 = NAND(57, 1060)
1159 = NAND(64, 1063)
1162 = NAND(71, 1066)
1165 = NAND(78, 1069)
1168 = NAND(85, 1072)
1171 = NAND(92, 1075)
1174 = NAND(99, 1078)
1177 = NAND(106, 1081)
1180 = NAND(113, 1084)
1183 = NAND(120, 1087)
1186 = NAND(127, 1090)
1189 = NAND(134, 1093)
1192 = NAND(141, 1096)
1195 = NAND(148, 1099)
1198 = NAND(155, 1102)
1201 = NAND(162, 1105)
1204 = NAND(169, 1108)
1207 = NAND(176, 1111)
1210 = NAND(183, 1114)
1213 = NAND(190, 1117)
1216 = NAND(197, 1120)
1219 = NAND(204, 1123)
1222 = NAND(211, 1126)
1225 = NAND(218, 1129)
1228 = NAND(1, 1132)
1229 = NAND(1036, 1132)
1230 = NAND(8, 1135)
1231 = NAND(1039, 1135)
1232 = NAND(15, 1138)
1233 = NAND(1042, 1138)
1234 = NAND(22, 1141)
1235 = NAND(1045, 1141)
1236 = NAND(29, 1144)
1237 = NAND(1048, 1144)
1238 = NAND(36, 1147)
1239 = NAND(1051, 1147)
1240 = NAND(43, 1150)
1241 = NAND(1054, 1150)
1242 = NAND(50, 1153)
1243 = NAND(1057, 1153)
1244 = NAND(57, 1156)
1245 = NAND(1060, 1156)
1246 = NAND(64, 1159)
1247 = NAND(1063, 1159)
1248 = NAND(71, 1162)
1249 = NAND(1066, 1162)
1250 = NAND(78, 1165)
1251 = NAND(1069, 1165)
1252 = NAND(85, 1168)
1253 = NAND(1072, 1168)
1254 = NAND(92, 1171)
1255 = NAND(1075, 1171)
1256 = NAND(99, 1174)
1257 = NAND(1078, 1174)
1258 = NAND(106, 1177)
1259 = NAND(1081, 1177)
1260 = NAND(113, 1180)
1261 = NAND(1084, 1180)
1262 = NAND(120, 1183)
1263 = NAND(1087, 1183)
1264 = NAND(127, 1186)
1265 = NAND(1090, 1186)
1266 = NAND(134, 1189)
1267 = NAND(1093, 1189)
1268 = NAND(141, 1192)
1269 = NAND(1096, 1192)
1270 = NAND(148, 1195)
1271 = NAND(1099, 1195)
1272 = NAND(155, 1198)
1273 = NAND(1102, 1198)
1274 = NAND(162, 1201)
1275 = NAND(1105, 1201)
1276 = NAND(169, 1204)
1277 = NAND(1108, 1204)
1278 = NAND(176, 1207)
1279 = NAND(1111, 1207)
1280 = NAND(183, 1210)
1281 = NAND(1114, 1210)
1282 = NAND(190, 1213)
1283 = NAND(1117, 1213)
1284 = NAND(197, 1216)
1285 = NAND(1120, 1216)
1286 = NAND(204, 1219)
1287 = NAND(1123, 1219)
1288 = NAND(211, 1222)
1289 = NAND(1126, 1222)
1290 = NAND(218, 1225)
1291 = NAND(1129, 1225)
1292 = NAND(1228, 1229)
1293 = NAND(1230, 1231)
1294 = NAND(1232, 1233)
1295 = NAND(1234, 1235)
1296 = NAND(1236, 1237)
1297 = NAND(1238, 1239)
1298 = NAND(1240, 1241)
1299 = NAND(1242, 1243)
1300 = NAND(1244, 1245)
1301 = NAND(1246, 1247)
1302 = NAND(1248, 1249)
1303 = NAND(1250, 1251)
1304 = NAND(1252, 1253)
1305 = NAND(1254, 1255)
1306 = NAND(1256, 1257)
1307 = NAND(1258, 1259)
1308 = NAND(1260, 1261)
1309 = NAND(1262, 1263)
1310 = NAND(1264, 1265)
1311 = NAND(1266, 1267)
1312 = NAND(1268, 1269)
1313 = NAND(1270, 1271)
1314 = NAND(1272, 1273)
1315 = NAND(1274, 1275)
1316 = NAND(1276, 1277)
1317 = NAND(1278, 1279)
1318 = NAND(1280, 1281)
1319 = NAND(1282, 1283)
1320 = NAND(1284, 1285)
1321 = NAND(1286, 1287)
1322 = NAND(1288, 1289)
1323 = NAND(1290, 1291)
1324 = BUFF(1292)
1325 = BUFF(1293)
1326 = BUFF(1294)
1327 = BUFF(1295)
1328 = BUFF(1296)
1329 = BUFF(1297)
1330 = BUFF(1298)
1331 = BUFF(1299)
1332 = BUFF(1300)
1333 = BUFF(1301)
1334 = BUFF(1302)
1335 = BUFF(1303)
1336 = BUFF(1304)
1337 = BUFF(1305)
1338 = BUFF(1306)
1339 = BUFF(1307)
1340 = BUFF(1308)
1341 = BUFF(1309)
1342 = BUFF(1310)
1343 = BUFF(1311)
1344 = BUFF(1312)
1345 = BUFF(1313)
1346 = BUFF(1314)
1347 = BUFF(1315)
1348 = BUFF(1316)
1349 = BUFF(1317)
1350 = BUFF(1318)
1351 = BUFF(1319)
1352 = BUFF(1320)
1353 = BUFF(1321)
1354 = BUFF(1322)
1355 = BUFF(1323)