atpg-ls/ITC99BENCH/b08.bench
2023-02-24 12:08:28 +08:00

194 lines
6.2 KiB
Plaintext

# generated by verilog2bench.py https://gitea.yuhangq.com/YuhangQ/any2bench
INPUT(NET_1)
INPUT(NET_10)
INPUT(NET_11)
INPUT(NET_12)
INPUT(NET_13)
INPUT(NET_14)
INPUT(NET_15)
INPUT(NET_16)
INPUT(NET_17)
INPUT(NET_18)
INPUT(NET_19)
INPUT(NET_2)
INPUT(NET_20)
INPUT(NET_21)
INPUT(NET_22)
INPUT(NET_23)
INPUT(NET_24)
INPUT(NET_25)
INPUT(NET_26)
INPUT(NET_27)
INPUT(NET_28)
INPUT(NET_29)
INPUT(NET_3)
INPUT(NET_30)
INPUT(NET_4)
INPUT(NET_5)
INPUT(NET_6)
INPUT(NET_7)
INPUT(NET_8)
INPUT(NET_9)
OUTPUT(NET_103)
OUTPUT(NET_119)
OUTPUT(NET_120)
OUTPUT(NET_123)
OUTPUT(NET_135)
OUTPUT(NET_136)
OUTPUT(NET_137)
OUTPUT(NET_138)
OUTPUT(NET_144)
OUTPUT(NET_162)
OUTPUT(NET_163)
OUTPUT(NET_166)
OUTPUT(NET_167)
OUTPUT(NET_31)
OUTPUT(NET_32)
OUTPUT(NET_33)
OUTPUT(NET_34)
OUTPUT(NET_91)
OUTPUT(NET_92)
OUTPUT(NET_93)
OUTPUT(NET_94)
OUTPUT(NET_95)
OUTPUT(NET_96)
OUTPUT(NET_97)
OUTPUT(NET_98)
new_n56_ = NOT ( NET_11 )
new_n57_ = NOT ( NET_12 )
new_n58_ = NAND ( NET_14, NET_13 )
new_n59_ = OR ( new_n58_, new_n57_ )
new_n60_ = NOR ( new_n59_, NET_1 )
new_n61_ = NOR ( new_n60_, new_n56_ )
new_n62_ = NOT ( NET_10 )
new_n63_ = NOR ( NET_11, new_n62_ )
new_n64_ = NOR ( new_n56_, NET_10 )
NET_103 = OR ( new_n64_, new_n63_, new_n61_ )
new_n66_ = OR ( new_n59_, new_n62_ )
new_n67_ = NAND ( new_n66_, NET_11 )
new_n68_ = AND ( new_n67_, NET_1 )
NET_119 = OR ( new_n68_, new_n63_ )
new_n70_ = NOT ( NET_13 )
new_n71_ = OR ( NET_14, new_n70_ )
new_n72_ = OR ( new_n71_, new_n62_ )
new_n73_ = NOR ( new_n56_, new_n62_ )
new_n74_ = NAND ( new_n73_, NET_14 )
new_n75_ = NAND ( new_n74_, new_n70_ )
new_n76_ = OR ( new_n67_, new_n70_ )
new_n77_ = NAND ( new_n76_, new_n75_ )
NET_120 = NAND ( new_n77_, new_n72_ )
new_n79_ = NOT ( NET_14 )
new_n80_ = NAND ( new_n73_, new_n79_ )
new_n81_ = NAND ( new_n67_, NET_14 )
NET_123 = NAND ( new_n81_, new_n80_ )
new_n83_ = NAND ( new_n73_, new_n60_ )
new_n84_ = NAND ( new_n83_, NET_27 )
new_n85_ = NOT ( NET_23 )
new_n86_ = OR ( new_n83_, new_n85_ )
NET_135 = NAND ( new_n86_, new_n84_ )
new_n88_ = NAND ( new_n83_, NET_28 )
new_n89_ = NOT ( NET_24 )
new_n90_ = OR ( new_n83_, new_n89_ )
NET_136 = NAND ( new_n90_, new_n88_ )
new_n92_ = NAND ( new_n83_, NET_29 )
new_n93_ = NOT ( NET_25 )
new_n94_ = OR ( new_n83_, new_n93_ )
NET_137 = NAND ( new_n94_, new_n92_ )
new_n96_ = NAND ( new_n83_, NET_30 )
new_n97_ = NOT ( NET_26 )
new_n98_ = OR ( new_n83_, new_n97_ )
NET_138 = NAND ( new_n98_, new_n96_ )
new_n100_ = OR ( new_n64_, new_n57_ )
new_n101_ = NAND ( new_n73_, NET_14, NET_13, new_n57_ )
NET_144 = NAND ( new_n101_, new_n100_ )
new_n103_ = NAND ( new_n79_, NET_13, new_n57_ )
new_n104_ = NAND ( new_n79_, new_n70_, NET_12 )
new_n105_ = AND ( new_n104_, new_n103_, new_n59_ )
new_n106_ = NOT ( NET_21 )
new_n107_ = NAND ( new_n106_, new_n79_, NET_13, NET_12 )
new_n108_ = NAND ( NET_14, new_n70_, new_n57_ )
new_n109_ = NAND ( new_n79_, new_n70_, new_n57_ )
new_n110_ = OR ( new_n58_, NET_12 )
new_n111_ = OR ( NET_13, new_n57_ )
new_n112_ = AND ( new_n111_, new_n110_ )
new_n113_ = AND ( new_n112_, new_n109_ )
new_n114_ = NAND ( new_n113_, new_n108_, new_n59_, NET_22 )
new_n115_ = NOT ( NET_15 )
new_n116_ = OR ( new_n111_, new_n79_ )
new_n117_ = AND ( new_n109_, new_n108_, new_n105_ )
new_n118_ = NAND ( new_n117_, new_n116_, new_n115_ )
new_n119_ = NOT ( NET_20 )
new_n120_ = NAND ( new_n79_, NET_13, NET_12 )
new_n121_ = NAND ( new_n120_, new_n117_, new_n119_ )
new_n122_ = NAND ( new_n121_, new_n118_, new_n114_, new_n107_ )
new_n123_ = NAND ( new_n120_, new_n113_, NET_16 )
new_n124_ = NOT ( NET_17 )
new_n125_ = AND ( new_n120_, new_n105_, new_n110_ )
new_n126_ = NAND ( new_n125_, new_n116_, new_n124_ )
new_n127_ = NOT ( NET_16 )
new_n128_ = NAND ( new_n125_, new_n108_, new_n127_ )
new_n129_ = NAND ( new_n128_, new_n126_, new_n123_ )
new_n130_ = NAND ( new_n113_, new_n59_, NET_20 )
new_n131_ = NAND ( new_n120_, new_n103_ )
new_n132_ = NOT ( NET_22 )
new_n133_ = NAND ( new_n109_, new_n110_, new_n59_, new_n132_ )
new_n134_ = OR ( new_n133_, new_n131_ )
new_n135_ = NAND ( new_n112_, new_n71_, NET_15 )
new_n136_ = NOT ( NET_19 )
new_n137_ = NAND ( NET_14, NET_12 )
new_n138_ = OR ( new_n70_, NET_12 )
new_n139_ = NAND ( new_n138_, new_n137_, new_n136_ )
new_n140_ = AND ( new_n139_, new_n135_, new_n134_, new_n63_ )
new_n141_ = NAND ( new_n113_, new_n108_, NET_18 )
new_n142_ = NAND ( new_n120_, new_n113_, new_n59_, NET_21 )
new_n143_ = NAND ( new_n142_, new_n141_, new_n140_, new_n130_ )
new_n144_ = NAND ( NET_17, new_n79_, NET_13, NET_12 )
new_n145_ = NOT ( NET_18 )
new_n146_ = NAND ( new_n145_, NET_14, NET_13, new_n57_ )
new_n147_ = NAND ( new_n146_, new_n144_ )
new_n148_ = NOR ( new_n147_, new_n143_, new_n129_, new_n122_ )
new_n149_ = OR ( new_n148_, new_n64_ )
new_n150_ = NAND ( new_n149_, NET_10 )
new_n151_ = OR ( new_n150_, new_n105_ )
new_n152_ = AND ( new_n149_, new_n62_ )
new_n153_ = OR ( new_n152_, new_n89_ )
NET_162 = NAND ( new_n153_, new_n151_ )
new_n155_ = NAND ( new_n149_, new_n131_, NET_10 )
new_n156_ = OR ( new_n152_, new_n97_ )
NET_163 = NAND ( new_n156_, new_n155_ )
new_n158_ = OR ( new_n150_, NET_14 )
new_n159_ = OR ( new_n152_, new_n85_ )
new_n160_ = OR ( new_n150_, new_n112_ )
NET_166 = NAND ( new_n160_, new_n159_, new_n158_ )
new_n162_ = OR ( new_n150_, NET_12 )
new_n163_ = OR ( new_n152_, new_n93_ )
NET_167 = NAND ( new_n163_, new_n162_, new_n158_ )
new_n165_ = NAND ( new_n64_, NET_2 )
new_n166_ = OR ( new_n64_, new_n115_ )
NET_91 = NAND ( new_n166_, new_n165_ )
new_n168_ = NAND ( new_n64_, NET_3 )
new_n169_ = OR ( new_n64_, new_n127_ )
NET_92 = NAND ( new_n169_, new_n168_ )
new_n171_ = NAND ( new_n64_, NET_4 )
new_n172_ = OR ( new_n64_, new_n124_ )
NET_93 = NAND ( new_n172_, new_n171_ )
new_n174_ = NAND ( new_n64_, NET_5 )
new_n175_ = OR ( new_n64_, new_n145_ )
NET_94 = NAND ( new_n175_, new_n174_ )
new_n177_ = NAND ( new_n64_, NET_6 )
new_n178_ = OR ( new_n64_, new_n136_ )
NET_95 = NAND ( new_n178_, new_n177_ )
new_n180_ = NAND ( new_n64_, NET_7 )
new_n181_ = OR ( new_n64_, new_n119_ )
NET_96 = NAND ( new_n181_, new_n180_ )
new_n183_ = NAND ( new_n64_, NET_8 )
new_n184_ = OR ( new_n64_, new_n106_ )
NET_97 = NAND ( new_n184_, new_n183_ )
new_n186_ = NAND ( new_n64_, NET_9 )
new_n187_ = OR ( new_n64_, new_n132_ )
NET_98 = NAND ( new_n187_, new_n186_ )
NET_31 = BUF ( NET_27 )
NET_32 = BUF ( NET_28 )
NET_33 = BUF ( NET_29 )
NET_34 = BUF ( NET_30 )