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