atpg-ls/benchmark/c1355.bench

625 lines
15 KiB
Plaintext

# generate by dftconverter: https://gitea.yuhangq.com:8/YuhangQ/DFT_Converter
# gates: 587
INPUT(G1)
INPUT(G2)
INPUT(G3)
INPUT(G4)
INPUT(G5)
INPUT(G6)
INPUT(G7)
INPUT(G8)
INPUT(G9)
INPUT(G10)
INPUT(G11)
INPUT(G12)
INPUT(G13)
INPUT(G14)
INPUT(G15)
INPUT(G16)
INPUT(G17)
INPUT(G18)
INPUT(G19)
INPUT(G20)
INPUT(G21)
INPUT(G22)
INPUT(G23)
INPUT(G24)
INPUT(G25)
INPUT(G26)
INPUT(G27)
INPUT(G28)
INPUT(G29)
INPUT(G30)
INPUT(G31)
INPUT(G32)
INPUT(G33)
INPUT(G34)
INPUT(G35)
INPUT(G36)
INPUT(G37)
INPUT(G38)
INPUT(G39)
INPUT(G40)
INPUT(G41)
OUTPUT(G557)
OUTPUT(G566)
OUTPUT(G568)
OUTPUT(G577)
OUTPUT(G579)
OUTPUT(G583)
OUTPUT(G586)
OUTPUT(G559)
OUTPUT(G565)
OUTPUT(G571)
OUTPUT(G556)
OUTPUT(G564)
OUTPUT(G560)
OUTPUT(G584)
OUTPUT(G567)
OUTPUT(G574)
OUTPUT(G572)
OUTPUT(G562)
OUTPUT(G587)
OUTPUT(G580)
OUTPUT(G575)
OUTPUT(G570)
OUTPUT(G569)
OUTPUT(G578)
OUTPUT(G576)
OUTPUT(G563)
OUTPUT(G582)
OUTPUT(G558)
OUTPUT(G581)
OUTPUT(G561)
OUTPUT(G585)
OUTPUT(G573)
G42 = NAND ( G2, G1 )
G43 = NAND ( G3, G4 )
G44 = NAND ( G1, G5 )
G45 = NAND ( G6, G5 )
G46 = NAND ( G2, G6 )
G47 = NAND ( G3, G7 )
G48 = NAND ( G8, G7 )
G49 = NAND ( G8, G4 )
G50 = NAND ( G9, G10 )
G51 = NAND ( G12, G11 )
G52 = NAND ( G9, G13 )
G53 = NAND ( G14, G13 )
G54 = NAND ( G10, G14 )
G55 = NAND ( G11, G15 )
G56 = NAND ( G15, G16 )
G57 = NAND ( G12, G16 )
G58 = NAND ( G18, G17 )
G59 = NAND ( G19, G20 )
G60 = NAND ( G21, G17 )
G61 = NAND ( G21, G22 )
G62 = NAND ( G18, G22 )
G63 = NAND ( G19, G23 )
G64 = NAND ( G24, G23 )
G65 = NAND ( G20, G24 )
G66 = NAND ( G26, G25 )
G67 = NAND ( G28, G27 )
G68 = NAND ( G29, G25 )
G69 = NAND ( G29, G30 )
G70 = NAND ( G26, G30 )
G71 = NAND ( G31, G27 )
G72 = NAND ( G31, G32 )
G73 = NAND ( G28, G32 )
G74 = AND ( G33, G41 )
G75 = AND ( G34, G41 )
G76 = AND ( G41, G35 )
G77 = AND ( G36, G41 )
G78 = AND ( G41, G37 )
G79 = AND ( G38, G41 )
G80 = AND ( G39, G41 )
G81 = AND ( G40, G41 )
G82 = NAND ( G42, G1 )
G83 = NAND ( G42, G2 )
G84 = NAND ( G43, G3 )
G85 = NAND ( G43, G4 )
G86 = NAND ( G44, G1 )
G87 = NAND ( G44, G5 )
G88 = NAND ( G45, G5 )
G89 = NAND ( G45, G6 )
G90 = NAND ( G2, G46 )
G91 = NAND ( G46, G6 )
G92 = NAND ( G3, G47 )
G93 = NAND ( G47, G7 )
G94 = NAND ( G48, G7 )
G95 = NAND ( G8, G48 )
G96 = NAND ( G4, G49 )
G97 = NAND ( G8, G49 )
G98 = NAND ( G9, G50 )
G99 = NAND ( G10, G50 )
G100 = NAND ( G51, G11 )
G101 = NAND ( G51, G12 )
G102 = NAND ( G9, G52 )
G103 = NAND ( G13, G52 )
G104 = NAND ( G13, G53 )
G105 = NAND ( G14, G53 )
G106 = NAND ( G54, G10 )
G107 = NAND ( G54, G14 )
G108 = NAND ( G55, G11 )
G109 = NAND ( G55, G15 )
G110 = NAND ( G56, G15 )
G111 = NAND ( G56, G16 )
G112 = NAND ( G12, G57 )
G113 = NAND ( G57, G16 )
G114 = NAND ( G58, G17 )
G115 = NAND ( G18, G58 )
G116 = NAND ( G19, G59 )
G117 = NAND ( G20, G59 )
G118 = NAND ( G60, G17 )
G119 = NAND ( G21, G60 )
G120 = NAND ( G61, G21 )
G121 = NAND ( G61, G22 )
G122 = NAND ( G18, G62 )
G123 = NAND ( G62, G22 )
G124 = NAND ( G19, G63 )
G125 = NAND ( G63, G23 )
G126 = NAND ( G64, G23 )
G127 = NAND ( G64, G24 )
G128 = NAND ( G20, G65 )
G129 = NAND ( G65, G24 )
G130 = NAND ( G66, G25 )
G131 = NAND ( G26, G66 )
G132 = NAND ( G67, G27 )
G133 = NAND ( G28, G67 )
G134 = NAND ( G68, G25 )
G135 = NAND ( G29, G68 )
G136 = NAND ( G29, G69 )
G137 = NAND ( G69, G30 )
G138 = NAND ( G26, G70 )
G139 = NAND ( G30, G70 )
G140 = NAND ( G71, G27 )
G141 = NAND ( G31, G71 )
G142 = NAND ( G31, G72 )
G143 = NAND ( G32, G72 )
G144 = NAND ( G28, G73 )
G145 = NAND ( G32, G73 )
G146 = NAND ( G82, G83 )
G147 = NAND ( G84, G85 )
G148 = NAND ( G87, G86 )
G149 = NAND ( G88, G89 )
G150 = NAND ( G91, G90 )
G151 = NAND ( G93, G92 )
G152 = NAND ( G95, G94 )
G153 = NAND ( G96, G97 )
G154 = NAND ( G98, G99 )
G155 = NAND ( G101, G100 )
G156 = NAND ( G103, G102 )
G157 = NAND ( G105, G104 )
G158 = NAND ( G106, G107 )
G159 = NAND ( G108, G109 )
G160 = NAND ( G111, G110 )
G161 = NAND ( G113, G112 )
G162 = NAND ( G115, G114 )
G163 = NAND ( G116, G117 )
G164 = NAND ( G119, G118 )
G165 = NAND ( G120, G121 )
G166 = NAND ( G123, G122 )
G167 = NAND ( G125, G124 )
G168 = NAND ( G127, G126 )
G169 = NAND ( G128, G129 )
G170 = NAND ( G130, G131 )
G171 = NAND ( G132, G133 )
G172 = NAND ( G134, G135 )
G173 = NAND ( G137, G136 )
G174 = NAND ( G139, G138 )
G175 = NAND ( G141, G140 )
G176 = NAND ( G142, G143 )
G177 = NAND ( G144, G145 )
G178 = NAND ( G147, G146 )
G179 = NAND ( G152, G149 )
G180 = NAND ( G154, G155 )
G181 = NAND ( G156, G148 )
G182 = NAND ( G158, G150 )
G183 = NAND ( G159, G151 )
G184 = NAND ( G157, G160 )
G185 = NAND ( G161, G153 )
G186 = NAND ( G163, G162 )
G187 = NAND ( G165, G168 )
G188 = NAND ( G170, G171 )
G189 = NAND ( G172, G164 )
G190 = NAND ( G174, G166 )
G191 = NAND ( G167, G175 )
G192 = NAND ( G176, G173 )
G193 = NAND ( G169, G177 )
G194 = NAND ( G178, G146 )
G195 = NAND ( G147, G178 )
G196 = NAND ( G149, G179 )
G197 = NAND ( G152, G179 )
G198 = NAND ( G154, G180 )
G199 = NAND ( G155, G180 )
G200 = NAND ( G148, G181 )
G201 = NAND ( G156, G181 )
G202 = NAND ( G182, G150 )
G203 = NAND ( G158, G182 )
G204 = NAND ( G183, G151 )
G205 = NAND ( G159, G183 )
G206 = NAND ( G157, G184 )
G207 = NAND ( G184, G160 )
G208 = NAND ( G185, G153 )
G209 = NAND ( G161, G185 )
G210 = NAND ( G186, G162 )
G211 = NAND ( G163, G186 )
G212 = NAND ( G187, G165 )
G213 = NAND ( G187, G168 )
G214 = NAND ( G170, G188 )
G215 = NAND ( G188, G171 )
G216 = NAND ( G164, G189 )
G217 = NAND ( G172, G189 )
G218 = NAND ( G190, G166 )
G219 = NAND ( G174, G190 )
G220 = NAND ( G191, G167 )
G221 = NAND ( G191, G175 )
G222 = NAND ( G173, G192 )
G223 = NAND ( G176, G192 )
G224 = NAND ( G169, G193 )
G225 = NAND ( G193, G177 )
G226 = NAND ( G194, G195 )
G227 = NAND ( G196, G197 )
G228 = NAND ( G199, G198 )
G229 = NAND ( G200, G201 )
G230 = NAND ( G203, G202 )
G231 = NAND ( G205, G204 )
G232 = NAND ( G206, G207 )
G233 = NAND ( G209, G208 )
G234 = NAND ( G211, G210 )
G235 = NAND ( G212, G213 )
G236 = NAND ( G215, G214 )
G237 = NAND ( G217, G216 )
G238 = NAND ( G219, G218 )
G239 = NAND ( G221, G220 )
G240 = NAND ( G223, G222 )
G241 = NAND ( G225, G224 )
G242 = NAND ( G226, G227 )
G243 = NAND ( G226, G228 )
G244 = NAND ( G232, G228 )
G245 = NAND ( G232, G227 )
G246 = NAND ( G235, G234 )
G247 = NAND ( G234, G236 )
G248 = NAND ( G236, G240 )
G249 = NAND ( G235, G240 )
G250 = NAND ( G242, G226 )
G251 = NAND ( G242, G227 )
G252 = NAND ( G226, G243 )
G253 = NAND ( G243, G228 )
G254 = NAND ( G244, G228 )
G255 = NAND ( G232, G244 )
G256 = NAND ( G245, G227 )
G257 = NAND ( G245, G232 )
G258 = NAND ( G234, G246 )
G259 = NAND ( G235, G246 )
G260 = NAND ( G234, G247 )
G261 = NAND ( G247, G236 )
G262 = NAND ( G236, G248 )
G263 = NAND ( G240, G248 )
G264 = NAND ( G235, G249 )
G265 = NAND ( G249, G240 )
G266 = NAND ( G250, G251 )
G267 = NAND ( G252, G253 )
G268 = NAND ( G255, G254 )
G269 = NAND ( G256, G257 )
G270 = NAND ( G259, G258 )
G271 = NAND ( G261, G260 )
G272 = NAND ( G263, G262 )
G273 = NAND ( G264, G265 )
G274 = NAND ( G266, G78 )
G275 = NAND ( G80, G267 )
G276 = NAND ( G268, G79 )
G277 = NAND ( G269, G81 )
G278 = NAND ( G270, G74 )
G279 = NAND ( G76, G271 )
G280 = NAND ( G75, G272 )
G281 = NAND ( G273, G77 )
G282 = NAND ( G78, G274 )
G283 = NAND ( G266, G274 )
G284 = NAND ( G80, G275 )
G285 = NAND ( G267, G275 )
G286 = NAND ( G276, G79 )
G287 = NAND ( G268, G276 )
G288 = NAND ( G277, G81 )
G289 = NAND ( G277, G269 )
G290 = NAND ( G74, G278 )
G291 = NAND ( G270, G278 )
G292 = NAND ( G76, G279 )
G293 = NAND ( G279, G271 )
G294 = NAND ( G75, G280 )
G295 = NAND ( G272, G280 )
G296 = NAND ( G281, G77 )
G297 = NAND ( G281, G273 )
G298 = NAND ( G283, G282 )
G299 = NAND ( G284, G285 )
G300 = NAND ( G286, G287 )
G301 = NAND ( G288, G289 )
G302 = NAND ( G291, G290 )
G303 = NAND ( G292, G293 )
G304 = NAND ( G295, G294 )
G305 = NAND ( G296, G297 )
G306 = NAND ( G237, G298 )
G307 = NAND ( G239, G299 )
G308 = NAND ( G300, G238 )
G309 = NAND ( G301, G241 )
G310 = NAND ( G229, G302 )
G311 = NAND ( G231, G303 )
G312 = NAND ( G230, G304 )
G313 = NAND ( G305, G233 )
G314 = NAND ( G306, G237 )
G315 = NAND ( G306, G298 )
G316 = NAND ( G239, G307 )
G317 = NAND ( G307, G299 )
G318 = NAND ( G238, G308 )
G319 = NAND ( G300, G308 )
G320 = NAND ( G309, G241 )
G321 = NAND ( G301, G309 )
G322 = NAND ( G310, G229 )
G323 = NAND ( G310, G302 )
G324 = NAND ( G231, G311 )
G325 = NAND ( G303, G311 )
G326 = NAND ( G312, G230 )
G327 = NAND ( G312, G304 )
G328 = NAND ( G313, G233 )
G329 = NAND ( G305, G313 )
G330 = NAND ( G314, G315 )
G331 = NAND ( G316, G317 )
G332 = NAND ( G318, G319 )
G333 = NAND ( G321, G320 )
G334 = NAND ( G323, G322 )
G335 = NAND ( G324, G325 )
G336 = NAND ( G327, G326 )
G337 = NAND ( G328, G329 )
G338 = NOT ( G330 )
G339 = NOT ( G330 )
G340 = NOT ( G330 )
G341 = NOT ( G330 )
G342 = NOT ( G330 )
G343 = NOT ( G331 )
G344 = NOT ( G331 )
G345 = NOT ( G331 )
G346 = NOT ( G331 )
G347 = NOT ( G331 )
G348 = NOT ( G332 )
G349 = NOT ( G332 )
G350 = NOT ( G332 )
G351 = NOT ( G332 )
G352 = NOT ( G332 )
G353 = NOT ( G333 )
G354 = NOT ( G333 )
G355 = NOT ( G333 )
G356 = NOT ( G333 )
G357 = NOT ( G333 )
G358 = NOT ( G334 )
G359 = NOT ( G334 )
G360 = NOT ( G334 )
G361 = NOT ( G334 )
G362 = NOT ( G334 )
G363 = NOT ( G335 )
G364 = NOT ( G335 )
G365 = NOT ( G335 )
G366 = NOT ( G335 )
G367 = NOT ( G335 )
G368 = NOT ( G336 )
G369 = NOT ( G336 )
G370 = NOT ( G336 )
G371 = NOT ( G336 )
G372 = NOT ( G336 )
G373 = NOT ( G337 )
G374 = NOT ( G337 )
G375 = NOT ( G337 )
G376 = NOT ( G337 )
G377 = NOT ( G337 )
G378 = AND ( G350, G333, G340, G345 )
G379 = AND ( G351, G355, G341, G331 )
G380 = AND ( G342, G346, G332, G356 )
G381 = AND ( G352, G330, G347, G357 )
G382 = AND ( G368, G337, G358, G363 )
G383 = AND ( G335, G373, G369, G359 )
G384 = AND ( G374, G364, G360, G336 )
G385 = AND ( G334, G365, G370, G375 )
G386 = OR ( G378, G380, G379, G381 )
G387 = OR ( G383, G385, G382, G384 )
G388 = AND ( G335, G371, G386, G376, G334 )
G389 = AND ( G386, G366, G372, G334, G337 )
G390 = AND ( G335, G386, G377, G336, G361 )
G391 = AND ( G367, G386, G362, G336, G337 )
G392 = AND ( G348, G331, G330, G353, G387 )
G393 = AND ( G330, G333, G343, G349, G387 )
G394 = AND ( G332, G338, G331, G354, G387 )
G395 = AND ( G332, G339, G333, G387, G344 )
G396 = AND ( G388, G330 )
G397 = AND ( G388, G332 )
G398 = AND ( G388, G331 )
G399 = AND ( G388, G333 )
G400 = AND ( G389, G330 )
G401 = AND ( G389, G332 )
G402 = AND ( G389, G331 )
G403 = AND ( G333, G389 )
G404 = AND ( G330, G390 )
G405 = AND ( G390, G332 )
G406 = AND ( G390, G331 )
G407 = AND ( G333, G390 )
G408 = AND ( G330, G391 )
G409 = AND ( G332, G391 )
G410 = AND ( G331, G391 )
G411 = AND ( G333, G391 )
G412 = AND ( G334, G392 )
G413 = AND ( G392, G336 )
G414 = AND ( G392, G335 )
G415 = AND ( G337, G392 )
G416 = AND ( G334, G393 )
G417 = AND ( G393, G336 )
G418 = AND ( G393, G335 )
G419 = AND ( G337, G393 )
G420 = AND ( G334, G394 )
G421 = AND ( G394, G336 )
G422 = AND ( G394, G335 )
G423 = AND ( G394, G337 )
G424 = AND ( G334, G395 )
G425 = AND ( G395, G336 )
G426 = AND ( G395, G335 )
G427 = AND ( G337, G395 )
G428 = NAND ( G396, G17 )
G429 = NAND ( G397, G18 )
G430 = NAND ( G19, G398 )
G431 = NAND ( G20, G399 )
G432 = NAND ( G400, G21 )
G433 = NAND ( G401, G22 )
G434 = NAND ( G402, G23 )
G435 = NAND ( G403, G24 )
G436 = NAND ( G404, G25 )
G437 = NAND ( G26, G405 )
G438 = NAND ( G406, G27 )
G439 = NAND ( G28, G407 )
G440 = NAND ( G29, G408 )
G441 = NAND ( G409, G30 )
G442 = NAND ( G31, G410 )
G443 = NAND ( G32, G411 )
G444 = NAND ( G412, G1 )
G445 = NAND ( G2, G413 )
G446 = NAND ( G3, G414 )
G447 = NAND ( G415, G4 )
G448 = NAND ( G416, G5 )
G449 = NAND ( G417, G6 )
G450 = NAND ( G418, G7 )
G451 = NAND ( G8, G419 )
G452 = NAND ( G9, G420 )
G453 = NAND ( G421, G10 )
G454 = NAND ( G11, G422 )
G455 = NAND ( G12, G423 )
G456 = NAND ( G13, G424 )
G457 = NAND ( G425, G14 )
G458 = NAND ( G426, G15 )
G459 = NAND ( G427, G16 )
G460 = NAND ( G428, G17 )
G461 = NAND ( G428, G396 )
G462 = NAND ( G429, G18 )
G463 = NAND ( G429, G397 )
G464 = NAND ( G19, G430 )
G465 = NAND ( G430, G398 )
G466 = NAND ( G20, G431 )
G467 = NAND ( G431, G399 )
G468 = NAND ( G432, G21 )
G469 = NAND ( G400, G432 )
G470 = NAND ( G433, G22 )
G471 = NAND ( G433, G401 )
G472 = NAND ( G434, G23 )
G473 = NAND ( G434, G402 )
G474 = NAND ( G435, G24 )
G475 = NAND ( G435, G403 )
G476 = NAND ( G436, G25 )
G477 = NAND ( G436, G404 )
G478 = NAND ( G437, G26 )
G479 = NAND ( G437, G405 )
G480 = NAND ( G438, G27 )
G481 = NAND ( G406, G438 )
G482 = NAND ( G28, G439 )
G483 = NAND ( G407, G439 )
G484 = NAND ( G29, G440 )
G485 = NAND ( G440, G408 )
G486 = NAND ( G30, G441 )
G487 = NAND ( G409, G441 )
G488 = NAND ( G31, G442 )
G489 = NAND ( G410, G442 )
G490 = NAND ( G443, G32 )
G491 = NAND ( G443, G411 )
G492 = NAND ( G1, G444 )
G493 = NAND ( G412, G444 )
G494 = NAND ( G445, G2 )
G495 = NAND ( G445, G413 )
G496 = NAND ( G3, G446 )
G497 = NAND ( G414, G446 )
G498 = NAND ( G4, G447 )
G499 = NAND ( G415, G447 )
G500 = NAND ( G448, G5 )
G501 = NAND ( G416, G448 )
G502 = NAND ( G449, G6 )
G503 = NAND ( G449, G417 )
G504 = NAND ( G450, G7 )
G505 = NAND ( G450, G418 )
G506 = NAND ( G8, G451 )
G507 = NAND ( G451, G419 )
G508 = NAND ( G9, G452 )
G509 = NAND ( G420, G452 )
G510 = NAND ( G10, G453 )
G511 = NAND ( G421, G453 )
G512 = NAND ( G11, G454 )
G513 = NAND ( G454, G422 )
G514 = NAND ( G12, G455 )
G515 = NAND ( G455, G423 )
G516 = NAND ( G456, G13 )
G517 = NAND ( G456, G424 )
G518 = NAND ( G14, G457 )
G519 = NAND ( G425, G457 )
G520 = NAND ( G458, G15 )
G521 = NAND ( G426, G458 )
G522 = NAND ( G459, G16 )
G523 = NAND ( G427, G459 )
G524 = NAND ( G460, G461 )
G525 = NAND ( G462, G463 )
G526 = NAND ( G464, G465 )
G527 = NAND ( G466, G467 )
G528 = NAND ( G468, G469 )
G529 = NAND ( G471, G470 )
G530 = NAND ( G473, G472 )
G531 = NAND ( G474, G475 )
G532 = NAND ( G477, G476 )
G533 = NAND ( G479, G478 )
G534 = NAND ( G480, G481 )
G535 = NAND ( G482, G483 )
G536 = NAND ( G484, G485 )
G537 = NAND ( G487, G486 )
G538 = NAND ( G488, G489 )
G539 = NAND ( G490, G491 )
G540 = NAND ( G492, G493 )
G541 = NAND ( G495, G494 )
G542 = NAND ( G496, G497 )
G543 = NAND ( G499, G498 )
G544 = NAND ( G501, G500 )
G545 = NAND ( G503, G502 )
G546 = NAND ( G505, G504 )
G547 = NAND ( G507, G506 )
G548 = NAND ( G508, G509 )
G549 = NAND ( G511, G510 )
G550 = NAND ( G513, G512 )
G551 = NAND ( G514, G515 )
G552 = NAND ( G516, G517 )
G553 = NAND ( G519, G518 )
G554 = NAND ( G521, G520 )
G555 = NAND ( G522, G523 )
G556 = BUF ( G524 )
G557 = BUF ( G525 )
G558 = BUF ( G526 )
G559 = BUF ( G527 )
G560 = BUF ( G528 )
G561 = BUF ( G529 )
G562 = BUF ( G530 )
G563 = BUF ( G531 )
G564 = BUF ( G532 )
G565 = BUF ( G533 )
G566 = BUF ( G534 )
G567 = BUF ( G535 )
G568 = BUF ( G536 )
G569 = BUF ( G537 )
G570 = BUF ( G538 )
G571 = BUF ( G539 )
G572 = BUF ( G540 )
G573 = BUF ( G541 )
G574 = BUF ( G542 )
G575 = BUF ( G543 )
G576 = BUF ( G544 )
G577 = BUF ( G545 )
G578 = BUF ( G546 )
G579 = BUF ( G547 )
G580 = BUF ( G548 )
G581 = BUF ( G549 )
G582 = BUF ( G550 )
G583 = BUF ( G551 )
G584 = BUF ( G552 )
G585 = BUF ( G553 )
G586 = BUF ( G554 )
G587 = BUF ( G555 )