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