s1423.bench.txt

好不容易才从国外网站上下下来的哦

# 17 inputs
# 5 outputs
# 74 D-type flipflops
# 167 inverters
# 490 gates (197 ANDs + 64 NANDs + 137 ORs + 92 NORs)

INPUT(G0)
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)

OUTPUT(G726)
OUTPUT(G729)
OUTPUT(G702)
OUTPUT(G727)
OUTPUT(G701BF)

G22 = DFF(G332BF)
G23 = DFF(G328BF)
G24 = DFF(G109)
G25 = DFF(G113)
G26 = DFF(G118)
G27 = DFF(G125)
G28 = DFF(G129)
G29 = DFF(G140)
G30 = DFF(G144)
G31 = DFF(G149)
G32 = DFF(G154)
G33 = DFF(G159)
G34 = DFF(G166)
G35 = DFF(G175)
G36 = DFF(G189)
G37 = DFF(G193)
G38 = DFF(G198)
G39 = DFF(G208)
G40 = DFF(G214)
G41 = DFF(G218)
G42 = DFF(G237)
G43 = DFF(G242)
G44 = DFF(G247)
G45 = DFF(G252)
G46 = DFF(G260)
G47 = DFF(G303)
G48 = DFF(G309)
G49 = DFF(G315)
G50 = DFF(G321)
G51 = DFF(G360)
G52 = DFF(G365)
G53 = DFF(G373)
G54 = DFF(G379)
G55 = DFF(G384)
G56 = DFF(G392)
G57 = DFF(G397)
G58 = DFF(G405)
G59 = DFF(G408)
G60 = DFF(G416)
G61 = DFF(G424)
G62 = DFF(G427)
G63 = DFF(G438)
G64 = DFF(G441)
G65 = DFF(G447)
G66 = DFF(G451)
G67 = DFF(G459)
G68 = DFF(G464)
G69 = DFF(G469)
G70 = DFF(G477)
G71 = DFF(G494)
G72 = DFF(G498)
G73 = DFF(G503)
G74 = DFF(G526)
G75 = DFF(G531)
G76 = DFF(G536)
G77 = DFF(G541)
G78 = DFF(G548)
G79 = DFF(G565)
G80 = DFF(G569)
G81 = DFF(G573)
G82 = DFF(G577)
G83 = DFF(G590)
G84 = DFF(G608)
G85 = DFF(G613)
G86 = DFF(G657)
G87 = DFF(G663)
G88 = DFF(G669)
G89 = DFF(G675)
G90 = DFF(G682)
G91 = DFF(G687)
G92 = DFF(G693)
G93 = DFF(G705)
G94 = DFF(G707)
G95 = DFF(G713)

I1 = NOT(G332)
G332BF = NOT(I1)
I12 = NOT(G328)
G328BF = NOT(I12)
G108 = NOT(G712)
G111 = NOT(G24)
G112 = NOT(G712)
G117 = NOT(G712)
G124 = NOT(G712)
G127 = NOT(G27)
G128 = NOT(G712)
G139 = NOT(G712)
G142 = NOT(G29)
G143 = NOT(G712)
G148 = NOT(G712)
G153 = NOT(G712)
G158 = NOT(G712)
G165 = NOT(G712)
G174 = NOT(G712)
G176 = NOT(G35)
G178 = NOT(G34)
G179 = NOT(G180)
G180 = NOT(G92)
G188 = NOT(G712)
G191 = NOT(G36)
G192 = NOT(G712)
G197 = NOT(G712)
G204 = NOT(G38)
G207 = NOT(G712)
G210 = NOT(G39)
G213 = NOT(G712)
G216 = NOT(G40)
G217 = NOT(G712)
G236 = NOT(G259)
G241 = NOT(G259)
G246 = NOT(G259)
G251 = NOT(G259)
G258 = NOT(G259)
G296 = NOT(G297)
G302 = NOT(G712)
G305 = NOT(G324)
G308 = NOT(G712)
G311 = NOT(G324)
G314 = NOT(G712)
G317 = NOT(G324)
G320 = NOT(G712)
G323 = NOT(G324)
G336 = NOT(G355)
G339 = NOT(G355)
G343 = NOT(G348)
G347 = NOT(G348)
G348 = NOT(G91)
G351 = NOT(G645)
G354 = NOT(G355)
G359 = NOT(G372)
G364 = NOT(G372)
G371 = NOT(G372)
G378 = NOT(G391)
G383 = NOT(G391)
G390 = NOT(G391)
G396 = NOT(G404)
G403 = NOT(G404)
G407 = NOT(G712)
G415 = NOT(G423)
G422 = NOT(G423)
G426 = NOT(G712)
G437 = NOT(G712)
G440 = NOT(G712)
G445 = NOT(G65)
G446 = NOT(G712)
G449 = NOT(G66)
G450 = NOT(G712)
G455 = NOT(G456)
G458 = NOT(G476)
G463 = NOT(G476)
G468 = NOT(G476)
G475 = NOT(G476)
G486 = NOT(G712)
G491 = NOT(G500)
G495 = NOT(G500)
G499 = NOT(G500)
G504 = NOT(G511)
G507 = NOT(G511)
G510 = NOT(G511)
G511 = NOT(G63)
G525 = NOT(G589)
G530 = NOT(G589)
G535 = NOT(G589)
G540 = NOT(G589)
G547 = NOT(G589)
G562 = NOT(G610)
G566 = NOT(G610)
G570 = NOT(G610)
G574 = NOT(G610)
G588 = NOT(G589)
G595 = NOT(G593)
G596 = NOT(G597)
G600 = NOT(G601)
G605 = NOT(G610)
G609 = NOT(G610)
G614 = NOT(G64)
G615 = NOT(G616)
G617 = NOT(G645)
G620 = NOT(G645)
G623 = NOT(G645)
G626 = NOT(G645)
G629 = NOT(G645)
G632 = NOT(G645)
G635 = NOT(G645)
G638 = NOT(G645)
G641 = NOT(G645)
G644 = NOT(G645)
G645 = NOT(G90)
G656 = NOT(G712)
G658 = NOT(G659)
I1162 = NOT(G13)
G659 = NOT(I1162)
G661 = NOT(G94)
G662 = NOT(G712)
G665 = NOT(G678)
G668 = NOT(G712)
G671 = NOT(G678)
G674 = NOT(G712)
G677 = NOT(G678)
I1183 = NOT(G11)
G678 = NOT(I1183)
G685 = NOT(G696)
G689 = NOT(G696)
G695 = NOT(G696)
I1203 = NOT(G10)
G696 = NOT(I1203)
G701 = NOT(G15)
I1211 = NOT(G701)
G701BF = NOT(I1211)
G704 = NOT(G712)
G706 = NOT(G712)
G711 = NOT(G712)
G712 = NOT(G14)
G714 = NOT(G701)
I1227 = NOT(G6)
G715 = NOT(I1227)
I1230 = NOT(G7)
G716 = NOT(I1230)
I1233 = NOT(G8)
G717 = NOT(I1233)
I1236 = NOT(G9)
G718 = NOT(I1236)
I1239 = NOT(G12)
G719 = NOT(I1239)
I1242 = NOT(G0)
G720 = NOT(I1242)
I1245 = NOT(G1)
G721 = NOT(I1245)
I1248 = NOT(G2)
G722 = NOT(I1248)
I1251 = NOT(G3)
G723 = NOT(I1251)
I1254 = NOT(G4)
G724 = NOT(I1254)
I1257 = NOT(G5)
G725 = NOT(I1257)
I1260 = NOT(G93)
G726 = NOT(I1260)
I1264 = NOT(G16)
G728 = NOT(I1264)
I1267 = NOT(G95)
G729 = NOT(I1267)

G101 = AND(G630, G631)
G102 = AND(G633, G634)
G103 = AND(G636, G637)
G104 = AND(G639, G640)
G105 = AND(G642, G643)
G109 = AND(G106, G108)
G113 = AND(G114, G112)
G116 = AND(G133, G25)
G118 = AND(G119, G117)
G121 = AND(G134, G26)
G125 = AND(G122, G124)
G129 = AND(G130, G128)
G132 = AND(G136, G28)
G133 = AND(G700, G111)
G134 = AND(G133, G25)
G135 = AND(G134, G26)
G136 = AND(G135, G127)
G140 = AND(G137, G139)
G144 = AND(G145, G143)
G147 = AND(G168, G30)
G149 = AND(G150, G148)
G152 = AND(G169, G31)
G154 = AND(G155, G153)
G157 = AND(G170, G32)
G159 = AND(G160, G158)
G162 = AND(G171, G33)
G166 = AND(G163, G165)
G168 = AND(G177, G142)
G169 = AND(G168, G30)
G170 = AND(G169, G31)
G171 = AND(G170, G32)
G172 = AND(G171, G33)
G173 = AND(G172, G34)
G175 = AND(G176, G174)
G185 = AND(G181, G182)
G189 = AND(G186, G188)
G193 = AND(G194, G192)
G196 = AND(G202, G37)
G198 = AND(G199, G197)
G201 = AND(G203, G38)
G202 = AND(G522, G191)
G203 = AND(G202, G37)
G208 = AND(G205, G207)
G214 = AND(G211, G213)
G218 = AND(G219, G217)
G221 = AND(G223, G41)
G222 = AND(G183, G210)
G223 = AND(G222, G216)
G224 = AND(G203, G38)
G225 = AND(G204, G203)
G226 = AND(G136, G28)
G227 = AND(G172, G178)
G228 = AND(G223, G41)
G229 = AND(G432, G62)
G237 = AND(G238, G236)
G240 = AND(G299, G42)
G242 = AND(G243, G241)
G245 = AND(G262, G43)
G247 = AND(G248, G246)
G250 = AND(G263, G44)
G252 = AND(G253, G251)
G255 = AND(G264, G45)
G259 = AND(G624, G625)
G260 = AND(G256, G258)
G261 = AND(G265, G46)
G262 = AND(G299, G42)
G263 = AND(G262, G43)
G264 = AND(G263, G44)
G265 = AND(G264, G45)
G271 = AND(G275, G266)
G272 = AND(G276, G277)
G273 = AND(G278, G279)
G274 = AND(G280, G281)
G303 = AND(G304, G302)
G304 = AND(G306, G307)
G309 = AND(G310, G308)
G310 = AND(G312, G313)
G315 = AND(G316, G314)
G316 = AND(G318, G319)
G321 = AND(G322, G320)
G322 = AND(G325, G326)
G329 = AND(G331, G714)
G330 = AND(G332, G714)
G335 = AND(G337, G338)
G342 = AND(G344, G345)
G346 = AND(G349, G350)
G358 = AND(G523, G53)
G360 = AND(G361, G359)
G363 = AND(G523, G51)
G365 = AND(G366, G364)
G368 = AND(G375, G52)
G373 = AND(G369, G371)
G374 = AND(G376, G53)
G375 = AND(G523, G51)
G376 = AND(G375, G52)
G377 = AND(G183, G54, G56)
G379 = AND(G380, G378)
G382 = AND(G183, G54)
G384 = AND(G385, G383)
G387 = AND(G394, G55)
G392 = AND(G388, G390)
G393 = AND(G395, G56)
G394 = AND(G183, G54)
G395 = AND(G394, G55)
G397 = AND(G398, G396)
G400 = AND(G335, G57)
G405 = AND(G401, G403)
G406 = AND(G412, G58)
G408 = AND(G409, G407)
G411 = AND(G413, G59)
G412 = AND(G335, G57)