atpg-ls/benchmark/c499.bench

281 lines
5.8 KiB
Plaintext

# generate by dftconverter: https://gitea.yuhangq.com:8/YuhangQ/DFT_Converter
# gates: 243
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(G216)
OUTPUT(G217)
OUTPUT(G227)
OUTPUT(G215)
OUTPUT(G230)
OUTPUT(G213)
OUTPUT(G221)
OUTPUT(G214)
OUTPUT(G226)
OUTPUT(G235)
OUTPUT(G233)
OUTPUT(G238)
OUTPUT(G236)
OUTPUT(G240)
OUTPUT(G234)
OUTPUT(G218)
OUTPUT(G224)
OUTPUT(G228)
OUTPUT(G239)
OUTPUT(G219)
OUTPUT(G225)
OUTPUT(G229)
OUTPUT(G237)
OUTPUT(G232)
OUTPUT(G243)
OUTPUT(G242)
OUTPUT(G220)
OUTPUT(G241)
OUTPUT(G223)
OUTPUT(G222)
OUTPUT(G231)
OUTPUT(G212)
G42 = XOR ( G2, G1 )
G43 = XOR ( G4, G3 )
G44 = XOR ( G1, G5 )
G45 = XOR ( G5, G6 )
G46 = XOR ( G2, G6 )
G47 = XOR ( G7, G3 )
G48 = XOR ( G8, G7 )
G49 = XOR ( G4, G8 )
G50 = XOR ( G10, G9 )
G51 = XOR ( G11, G12 )
G52 = XOR ( G13, G9 )
G53 = XOR ( G13, G14 )
G54 = XOR ( G14, G10 )
G55 = XOR ( G11, G15 )
G56 = XOR ( G15, G16 )
G57 = XOR ( G12, G16 )
G58 = XOR ( G18, G17 )
G59 = XOR ( G20, G19 )
G60 = XOR ( G21, G17 )
G61 = XOR ( G22, G21 )
G62 = XOR ( G18, G22 )
G63 = XOR ( G19, G23 )
G64 = XOR ( G23, G24 )
G65 = XOR ( G20, G24 )
G66 = XOR ( G25, G26 )
G67 = XOR ( G27, G28 )
G68 = XOR ( G25, G29 )
G69 = XOR ( G30, G29 )
G70 = XOR ( G26, G30 )
G71 = XOR ( G27, G31 )
G72 = XOR ( G31, G32 )
G73 = XOR ( G28, G32 )
G74 = AND ( G41, G33 )
G75 = AND ( G34, G41 )
G76 = AND ( G41, G35 )
G77 = AND ( G36, G41 )
G78 = AND ( G37, G41 )
G79 = AND ( G41, G38 )
G80 = AND ( G39, G41 )
G81 = AND ( G41, G40 )
G82 = XOR ( G43, G42 )
G83 = XOR ( G48, G45 )
G84 = XOR ( G50, G51 )
G85 = XOR ( G44, G52 )
G86 = XOR ( G54, G46 )
G87 = XOR ( G47, G55 )
G88 = XOR ( G56, G53 )
G89 = XOR ( G57, G49 )
G90 = XOR ( G58, G59 )
G91 = XOR ( G64, G61 )
G92 = XOR ( G66, G67 )
G93 = XOR ( G68, G60 )
G94 = XOR ( G62, G70 )
G95 = XOR ( G63, G71 )
G96 = XOR ( G72, G69 )
G97 = XOR ( G65, G73 )
G98 = XOR ( G82, G83 )
G99 = XOR ( G82, G84 )
G100 = XOR ( G84, G88 )
G101 = XOR ( G83, G88 )
G102 = XOR ( G91, G90 )
G103 = XOR ( G90, G92 )
G104 = XOR ( G96, G92 )
G105 = XOR ( G96, G91 )
G106 = XOR ( G78, G98 )
G107 = XOR ( G80, G99 )
G108 = XOR ( G100, G79 )
G109 = XOR ( G81, G101 )
G110 = XOR ( G74, G102 )
G111 = XOR ( G103, G76 )
G112 = XOR ( G104, G75 )
G113 = XOR ( G77, G105 )
G114 = XOR ( G93, G106 )
G115 = XOR ( G107, G95 )
G116 = XOR ( G94, G108 )
G117 = XOR ( G97, G109 )
G118 = XOR ( G110, G85 )
G119 = XOR ( G87, G111 )
G120 = XOR ( G86, G112 )
G121 = XOR ( G113, G89 )
G122 = NOT ( G114 )
G123 = NOT ( G114 )
G124 = NOT ( G114 )
G125 = NOT ( G114 )
G126 = NOT ( G114 )
G127 = NOT ( G115 )
G128 = NOT ( G115 )
G129 = NOT ( G115 )
G130 = NOT ( G115 )
G131 = NOT ( G115 )
G132 = NOT ( G116 )
G133 = NOT ( G116 )
G134 = NOT ( G116 )
G135 = NOT ( G116 )
G136 = NOT ( G116 )
G137 = NOT ( G117 )
G138 = NOT ( G117 )
G139 = NOT ( G117 )
G140 = NOT ( G117 )
G141 = NOT ( G117 )
G142 = NOT ( G118 )
G143 = NOT ( G118 )
G144 = NOT ( G118 )
G145 = NOT ( G118 )
G146 = NOT ( G118 )
G147 = NOT ( G119 )
G148 = NOT ( G119 )
G149 = NOT ( G119 )
G150 = NOT ( G119 )
G151 = NOT ( G119 )
G152 = NOT ( G120 )
G153 = NOT ( G120 )
G154 = NOT ( G120 )
G155 = NOT ( G120 )
G156 = NOT ( G120 )
G157 = NOT ( G121 )
G158 = NOT ( G121 )
G159 = NOT ( G121 )
G160 = NOT ( G121 )
G161 = NOT ( G121 )
G162 = AND ( G129, G124, G134, G117 )
G163 = AND ( G115, G139, G125, G135 )
G164 = AND ( G140, G126, G130, G116 )
G165 = AND ( G141, G131, G114, G136 )
G166 = AND ( G152, G121, G147, G142 )
G167 = AND ( G119, G143, G153, G157 )
G168 = AND ( G158, G120, G144, G148 )
G169 = AND ( G159, G149, G154, G118 )
G170 = OR ( G165, G163, G162, G164 )
G171 = OR ( G169, G168, G167, G166 )
G172 = AND ( G170, G155, G119, G160, G118 )
G173 = AND ( G170, G150, G121, G156, G118 )
G174 = AND ( G170, G161, G119, G120, G145 )
G175 = AND ( G146, G170, G151, G121, G120 )
G176 = AND ( G114, G132, G115, G171, G137 )
G177 = AND ( G114, G117, G171, G127, G133 )
G178 = AND ( G122, G115, G171, G138, G116 )
G179 = AND ( G117, G171, G116, G128, G123 )
G180 = AND ( G114, G172 )
G181 = AND ( G116, G172 )
G182 = AND ( G115, G172 )
G183 = AND ( G172, G117 )
G184 = AND ( G173, G114 )
G185 = AND ( G173, G116 )
G186 = AND ( G173, G115 )
G187 = AND ( G173, G117 )
G188 = AND ( G114, G174 )
G189 = AND ( G116, G174 )
G190 = AND ( G115, G174 )
G191 = AND ( G174, G117 )
G192 = AND ( G114, G175 )
G193 = AND ( G116, G175 )
G194 = AND ( G115, G175 )
G195 = AND ( G175, G117 )
G196 = AND ( G176, G118 )
G197 = AND ( G120, G176 )
G198 = AND ( G119, G176 )
G199 = AND ( G121, G176 )
G200 = AND ( G177, G118 )
G201 = AND ( G177, G120 )
G202 = AND ( G119, G177 )
G203 = AND ( G177, G121 )
G204 = AND ( G178, G118 )
G205 = AND ( G178, G120 )
G206 = AND ( G119, G178 )
G207 = AND ( G178, G121 )
G208 = AND ( G179, G118 )
G209 = AND ( G179, G120 )
G210 = AND ( G119, G179 )
G211 = AND ( G179, G121 )
G212 = XOR ( G180, G17 )
G213 = XOR ( G18, G181 )
G214 = XOR ( G19, G182 )
G215 = XOR ( G20, G183 )
G216 = XOR ( G184, G21 )
G217 = XOR ( G185, G22 )
G218 = XOR ( G186, G23 )
G219 = XOR ( G187, G24 )
G220 = XOR ( G25, G188 )
G221 = XOR ( G189, G26 )
G222 = XOR ( G27, G190 )
G223 = XOR ( G191, G28 )
G224 = XOR ( G192, G29 )
G225 = XOR ( G193, G30 )
G226 = XOR ( G194, G31 )
G227 = XOR ( G195, G32 )
G228 = XOR ( G1, G196 )
G229 = XOR ( G2, G197 )
G230 = XOR ( G198, G3 )
G231 = XOR ( G199, G4 )
G232 = XOR ( G200, G5 )
G233 = XOR ( G201, G6 )
G234 = XOR ( G202, G7 )
G235 = XOR ( G203, G8 )
G236 = XOR ( G204, G9 )
G237 = XOR ( G205, G10 )
G238 = XOR ( G11, G206 )
G239 = XOR ( G207, G12 )
G240 = XOR ( G208, G13 )
G241 = XOR ( G14, G209 )
G242 = XOR ( G15, G210 )
G243 = XOR ( G211, G16 )