formality_cec/experiment/demiter_verilog/TOP5_2.v

// Benchmark "demiter_aig/TOP5_2" written by ABC on Wed Dec  4 08:51:47 2024

module \demiter_aig/TOP5_2  ( 
    pi00, pi01, pi02, pi03, pi04, pi05, pi06, pi07, pi08, pi09, pi10, pi11,
    pi12, pi13, pi14, pi15, pi16, pi17, pi18, pi19, pi20, pi21, pi22, pi23,
    pi24, pi25, pi26, pi27, pi28, pi29, pi30, pi31, pi32, pi33, pi34, pi35,
    pi36, pi37, pi38, pi39, pi40, pi41, pi42, pi43, pi44, pi45, pi46, pi47,
    pi48, pi49, pi50,
    po0  );
  input  pi00, pi01, pi02, pi03, pi04, pi05, pi06, pi07, pi08, pi09,
    pi10, pi11, pi12, pi13, pi14, pi15, pi16, pi17, pi18, pi19, pi20, pi21,
    pi22, pi23, pi24, pi25, pi26, pi27, pi28, pi29, pi30, pi31, pi32, pi33,
    pi34, pi35, pi36, pi37, pi38, pi39, pi40, pi41, pi42, pi43, pi44, pi45,
    pi46, pi47, pi48, pi49, pi50;
  output po0;
  wire new_n53_, new_n54_, new_n55_, new_n56_, new_n57_, new_n58_, new_n59_,
    new_n60_, new_n61_, new_n62_, new_n63_, new_n64_, new_n65_, new_n66_,
    new_n67_, new_n68_, new_n69_, new_n70_, new_n71_, new_n72_, new_n73_,
    new_n74_, new_n75_, new_n76_, new_n77_, new_n78_, new_n79_, new_n80_,
    new_n81_, new_n82_, new_n83_, new_n84_, new_n85_, new_n86_, new_n87_,
    new_n88_, new_n89_, new_n90_, new_n91_, new_n92_, new_n93_, new_n94_,
    new_n95_, new_n96_, new_n97_, new_n98_, new_n99_, new_n100_, new_n101_,
    new_n102_, new_n103_, new_n104_, new_n105_, new_n106_, new_n107_,
    new_n108_, new_n109_, new_n110_, new_n111_, new_n112_, new_n113_,
    new_n114_, new_n115_, new_n116_, new_n117_, new_n118_, new_n119_,
    new_n120_, new_n121_, new_n122_, new_n123_, new_n124_, new_n125_,
    new_n126_, new_n127_, new_n128_, new_n129_, new_n130_, new_n131_,
    new_n132_, new_n133_, new_n134_, new_n135_, new_n136_, new_n137_,
    new_n138_, new_n139_, new_n140_, new_n141_, new_n142_, new_n143_,
    new_n144_, new_n145_, new_n146_, new_n147_, new_n148_, new_n149_,
    new_n150_, new_n151_, new_n152_, new_n153_, new_n154_, new_n155_,
    new_n156_, new_n157_, new_n158_, new_n159_, new_n160_, new_n161_,
    new_n162_, new_n163_, new_n164_, new_n165_, new_n166_, new_n167_,
    new_n168_, new_n169_, new_n170_, new_n171_, new_n172_, new_n173_,
    new_n174_, new_n175_, new_n176_, new_n177_, new_n178_, new_n179_,
    new_n180_, new_n181_, new_n182_, new_n183_, new_n184_, new_n185_,
    new_n186_, new_n187_, new_n188_, new_n189_, new_n190_, new_n191_,
    new_n192_, new_n193_, new_n194_, new_n195_, new_n196_, new_n197_,
    new_n198_, new_n199_, new_n200_, new_n201_, new_n202_, new_n203_,
    new_n204_, new_n205_, new_n206_, new_n207_, new_n208_, new_n209_,
    new_n210_, new_n211_, new_n212_, new_n213_, new_n214_, new_n215_,
    new_n216_, new_n217_, new_n218_, new_n219_, new_n220_, new_n221_,
    new_n222_, new_n223_, new_n224_, new_n225_, new_n226_, new_n227_,
    new_n228_, new_n229_, new_n230_, new_n231_, new_n232_, new_n233_,
    new_n234_, new_n235_, new_n236_, new_n237_, new_n238_, new_n239_,
    new_n240_, new_n241_, new_n242_, new_n243_, new_n244_, new_n245_,
    new_n246_, new_n247_, new_n248_, new_n249_, new_n250_, new_n251_,
    new_n252_, new_n253_, new_n254_, new_n255_, new_n256_, new_n257_,
    new_n258_, new_n259_, new_n260_, new_n261_, new_n262_, new_n263_,
    new_n264_, new_n265_, new_n266_, new_n267_, new_n268_, new_n269_,
    new_n270_, new_n271_, new_n272_, new_n273_, new_n274_, new_n275_,
    new_n276_, new_n277_, new_n278_, new_n279_, new_n280_, new_n281_,
    new_n282_, new_n283_, new_n284_, new_n285_, new_n286_, new_n287_,
    new_n288_, new_n289_, new_n290_, new_n291_, new_n292_, new_n293_,
    new_n294_, new_n295_, new_n296_, new_n297_, new_n298_, new_n299_,
    new_n300_, new_n301_, new_n302_, new_n303_, new_n304_, new_n305_,
    new_n306_, new_n307_, new_n308_, new_n309_, new_n310_, new_n311_,
    new_n312_, new_n313_, new_n314_, new_n315_, new_n316_, new_n317_,
    new_n318_, new_n319_, new_n320_, new_n321_, new_n322_, new_n323_,
    new_n324_, new_n325_, new_n326_, new_n327_, new_n328_, new_n329_,
    new_n330_, new_n331_, new_n332_, new_n333_, new_n334_, new_n335_,
    new_n336_, new_n337_, new_n338_, new_n339_, new_n340_, new_n341_,
    new_n342_;
  assign new_n53_ = pi14 & pi17;
  assign new_n54_ = pi10 & pi21;
  assign new_n55_ = pi27 & pi39;
  assign new_n56_ = new_n54_ & ~new_n55_;
  assign new_n57_ = ~new_n54_ & new_n55_;
  assign new_n58_ = ~new_n56_ & ~new_n57_;
  assign new_n59_ = new_n53_ & new_n58_;
  assign new_n60_ = ~new_n53_ & ~new_n58_;
  assign new_n61_ = ~new_n59_ & ~new_n60_;
  assign new_n62_ = pi21 & pi27;
  assign new_n63_ = pi10 & pi17;
  assign new_n64_ = new_n62_ & new_n63_;
  assign new_n65_ = pi04 & pi14;
  assign new_n66_ = ~new_n62_ & new_n63_;
  assign new_n67_ = new_n62_ & ~new_n63_;
  assign new_n68_ = ~new_n66_ & ~new_n67_;
  assign new_n69_ = new_n65_ & ~new_n68_;
  assign new_n70_ = ~new_n64_ & ~new_n69_;
  assign new_n71_ = new_n61_ & ~new_n70_;
  assign new_n72_ = ~new_n61_ & new_n70_;
  assign new_n73_ = ~new_n71_ & ~new_n72_;
  assign new_n74_ = pi06 & pi12;
  assign new_n75_ = pi04 & pi11;
  assign new_n76_ = new_n74_ & ~new_n75_;
  assign new_n77_ = ~new_n74_ & new_n75_;
  assign new_n78_ = ~new_n76_ & ~new_n77_;
  assign new_n79_ = new_n73_ & ~new_n78_;
  assign new_n80_ = ~new_n73_ & new_n78_;
  assign new_n81_ = ~new_n79_ & ~new_n80_;
  assign new_n82_ = pi17 & pi27;
  assign new_n83_ = pi04 & pi10;
  assign new_n84_ = new_n82_ & new_n83_;
  assign new_n85_ = pi06 & pi14;
  assign new_n86_ = ~new_n82_ & new_n83_;
  assign new_n87_ = new_n82_ & ~new_n83_;
  assign new_n88_ = ~new_n86_ & ~new_n87_;
  assign new_n89_ = new_n85_ & ~new_n88_;
  assign new_n90_ = ~new_n84_ & ~new_n89_;
  assign new_n91_ = new_n65_ & new_n68_;
  assign new_n92_ = ~new_n65_ & ~new_n68_;
  assign new_n93_ = ~new_n91_ & ~new_n92_;
  assign new_n94_ = ~new_n90_ & ~new_n93_;
  assign new_n95_ = pi06 & pi11;
  assign new_n96_ = ~new_n90_ & new_n93_;
  assign new_n97_ = new_n90_ & ~new_n93_;
  assign new_n98_ = ~new_n96_ & ~new_n97_;
  assign new_n99_ = new_n95_ & ~new_n98_;
  assign new_n100_ = ~new_n94_ & ~new_n99_;
  assign new_n101_ = new_n81_ & ~new_n100_;
  assign new_n102_ = ~new_n81_ & new_n100_;
  assign new_n103_ = ~new_n101_ & ~new_n102_;
  assign new_n104_ = new_n95_ & new_n98_;
  assign new_n105_ = ~new_n95_ & ~new_n98_;
  assign new_n106_ = ~new_n104_ & ~new_n105_;
  assign new_n107_ = new_n85_ & new_n88_;
  assign new_n108_ = ~new_n85_ & ~new_n88_;
  assign new_n109_ = ~new_n107_ & ~new_n108_;
  assign new_n110_ = pi04 & pi27;
  assign new_n111_ = pi06 & pi10;
  assign new_n112_ = new_n110_ & new_n111_;
  assign new_n113_ = ~new_n109_ & new_n112_;
  assign new_n114_ = ~new_n106_ & new_n113_;
  assign new_n115_ = new_n103_ & new_n114_;
  assign new_n116_ = ~new_n103_ & ~new_n114_;
  assign new_n117_ = ~new_n115_ & ~new_n116_;
  assign new_n118_ = pi01 & pi32;
  assign new_n119_ = pi18 & pi29;
  assign new_n120_ = pi30 & pi31;
  assign new_n121_ = ~new_n119_ & new_n120_;
  assign new_n122_ = new_n119_ & ~new_n120_;
  assign new_n123_ = ~new_n121_ & ~new_n122_;
  assign new_n124_ = new_n118_ & new_n123_;
  assign new_n125_ = ~new_n118_ & ~new_n123_;
  assign new_n126_ = ~new_n124_ & ~new_n125_;
  assign new_n127_ = pi01 & pi31;
  assign new_n128_ = pi29 & pi30;
  assign new_n129_ = new_n127_ & new_n128_;
  assign new_n130_ = pi16 & pi32;
  assign new_n131_ = new_n127_ & ~new_n128_;
  assign new_n132_ = ~new_n127_ & new_n128_;
  assign new_n133_ = ~new_n131_ & ~new_n132_;
  assign new_n134_ = new_n130_ & ~new_n133_;
  assign new_n135_ = ~new_n129_ & ~new_n134_;
  assign new_n136_ = new_n126_ & ~new_n135_;
  assign new_n137_ = ~new_n126_ & new_n135_;
  assign new_n138_ = ~new_n136_ & ~new_n137_;
  assign new_n139_ = pi16 & pi24;
  assign new_n140_ = pi03 & pi05;
  assign new_n141_ = ~new_n139_ & new_n140_;
  assign new_n142_ = new_n139_ & ~new_n140_;
  assign new_n143_ = ~new_n141_ & ~new_n142_;
  assign new_n144_ = new_n138_ & ~new_n143_;
  assign new_n145_ = ~new_n138_ & new_n143_;
  assign new_n146_ = ~new_n144_ & ~new_n145_;
  assign new_n147_ = pi01 & pi29;
  assign new_n148_ = pi16 & pi31;
  assign new_n149_ = new_n147_ & new_n148_;
  assign new_n150_ = pi03 & pi32;
  assign new_n151_ = ~new_n147_ & new_n148_;
  assign new_n152_ = new_n147_ & ~new_n148_;
  assign new_n153_ = ~new_n151_ & ~new_n152_;
  assign new_n154_ = new_n150_ & ~new_n153_;
  assign new_n155_ = ~new_n149_ & ~new_n154_;
  assign new_n156_ = new_n130_ & new_n133_;
  assign new_n157_ = ~new_n130_ & ~new_n133_;
  assign new_n158_ = ~new_n156_ & ~new_n157_;
  assign new_n159_ = ~new_n155_ & ~new_n158_;
  assign new_n160_ = pi03 & pi24;
  assign new_n161_ = ~new_n155_ & new_n158_;
  assign new_n162_ = new_n155_ & ~new_n158_;
  assign new_n163_ = ~new_n161_ & ~new_n162_;
  assign new_n164_ = new_n160_ & ~new_n163_;
  assign new_n165_ = ~new_n159_ & ~new_n164_;
  assign new_n166_ = new_n146_ & ~new_n165_;
  assign new_n167_ = ~new_n146_ & new_n165_;
  assign new_n168_ = ~new_n166_ & ~new_n167_;
  assign new_n169_ = new_n160_ & new_n163_;
  assign new_n170_ = ~new_n160_ & ~new_n163_;
  assign new_n171_ = ~new_n169_ & ~new_n170_;
  assign new_n172_ = new_n150_ & new_n153_;
  assign new_n173_ = ~new_n150_ & ~new_n153_;
  assign new_n174_ = ~new_n172_ & ~new_n173_;
  assign new_n175_ = pi16 & pi29;
  assign new_n176_ = pi03 & pi31;
  assign new_n177_ = new_n175_ & new_n176_;
  assign new_n178_ = ~new_n174_ & new_n177_;
  assign new_n179_ = ~new_n171_ & new_n178_;
  assign new_n180_ = new_n168_ & new_n179_;
  assign new_n181_ = ~new_n168_ & ~new_n179_;
  assign new_n182_ = ~new_n180_ & ~new_n181_;
  assign new_n183_ = pi40 & pi41;
  assign new_n184_ = pi42 & pi43;
  assign new_n185_ = ~new_n183_ & new_n184_;
  assign new_n186_ = new_n183_ & ~new_n184_;
  assign new_n187_ = ~new_n185_ & ~new_n186_;
  assign new_n188_ = pi38 & pi44;
  assign new_n189_ = new_n187_ & new_n188_;
  assign new_n190_ = ~new_n187_ & ~new_n188_;
  assign new_n191_ = ~new_n189_ & ~new_n190_;
  assign new_n192_ = pi41 & pi42;
  assign new_n193_ = pi38 & pi43;
  assign new_n194_ = new_n192_ & new_n193_;
  assign new_n195_ = pi44 & pi45;
  assign new_n196_ = ~new_n192_ & new_n193_;
  assign new_n197_ = new_n192_ & ~new_n193_;
  assign new_n198_ = ~new_n196_ & ~new_n197_;
  assign new_n199_ = new_n195_ & ~new_n198_;
  assign new_n200_ = ~new_n194_ & ~new_n199_;
  assign new_n201_ = new_n191_ & ~new_n200_;
  assign new_n202_ = ~new_n191_ & new_n200_;
  assign new_n203_ = ~new_n201_ & ~new_n202_;
  assign new_n204_ = pi15 & pi45;
  assign new_n205_ = pi36 & pi46;
  assign new_n206_ = ~new_n204_ & new_n205_;
  assign new_n207_ = new_n204_ & ~new_n205_;
  assign new_n208_ = ~new_n206_ & ~new_n207_;
  assign new_n209_ = new_n203_ & ~new_n208_;
  assign new_n210_ = ~new_n203_ & new_n208_;
  assign new_n211_ = ~new_n209_ & ~new_n210_;
  assign new_n212_ = pi38 & pi41;
  assign new_n213_ = pi43 & pi45;
  assign new_n214_ = new_n212_ & new_n213_;
  assign new_n215_ = pi44 & pi46;
  assign new_n216_ = ~new_n212_ & new_n213_;
  assign new_n217_ = new_n212_ & ~new_n213_;
  assign new_n218_ = ~new_n216_ & ~new_n217_;
  assign new_n219_ = new_n215_ & ~new_n218_;
  assign new_n220_ = ~new_n214_ & ~new_n219_;
  assign new_n221_ = new_n195_ & new_n198_;
  assign new_n222_ = ~new_n195_ & ~new_n198_;
  assign new_n223_ = ~new_n221_ & ~new_n222_;
  assign new_n224_ = ~new_n220_ & ~new_n223_;
  assign new_n225_ = pi15 & pi46;
  assign new_n226_ = ~new_n220_ & new_n223_;
  assign new_n227_ = new_n220_ & ~new_n223_;
  assign new_n228_ = ~new_n226_ & ~new_n227_;
  assign new_n229_ = new_n225_ & ~new_n228_;
  assign new_n230_ = ~new_n224_ & ~new_n229_;
  assign new_n231_ = new_n211_ & ~new_n230_;
  assign new_n232_ = ~new_n211_ & new_n230_;
  assign new_n233_ = ~new_n231_ & ~new_n232_;
  assign new_n234_ = new_n225_ & new_n228_;
  assign new_n235_ = ~new_n225_ & ~new_n228_;
  assign new_n236_ = ~new_n234_ & ~new_n235_;
  assign new_n237_ = new_n215_ & new_n218_;
  assign new_n238_ = ~new_n215_ & ~new_n218_;
  assign new_n239_ = ~new_n237_ & ~new_n238_;
  assign new_n240_ = pi41 & pi45;
  assign new_n241_ = pi43 & pi46;
  assign new_n242_ = new_n240_ & new_n241_;
  assign new_n243_ = ~new_n239_ & new_n242_;
  assign new_n244_ = ~new_n236_ & new_n243_;
  assign new_n245_ = new_n233_ & new_n244_;
  assign new_n246_ = ~new_n233_ & ~new_n244_;
  assign new_n247_ = ~new_n245_ & ~new_n246_;
  assign new_n248_ = new_n182_ & ~new_n247_;
  assign new_n249_ = ~new_n182_ & new_n247_;
  assign new_n250_ = ~new_n248_ & ~new_n249_;
  assign new_n251_ = new_n171_ & new_n178_;
  assign new_n252_ = ~new_n171_ & ~new_n178_;
  assign new_n253_ = ~new_n251_ & ~new_n252_;
  assign new_n254_ = new_n236_ & new_n243_;
  assign new_n255_ = ~new_n236_ & ~new_n243_;
  assign new_n256_ = ~new_n254_ & ~new_n255_;
  assign new_n257_ = ~new_n253_ & ~new_n256_;
  assign new_n258_ = new_n253_ & ~new_n256_;
  assign new_n259_ = ~new_n253_ & new_n256_;
  assign new_n260_ = ~new_n258_ & ~new_n259_;
  assign new_n261_ = new_n174_ & new_n177_;
  assign new_n262_ = ~new_n174_ & ~new_n177_;
  assign new_n263_ = ~new_n261_ & ~new_n262_;
  assign new_n264_ = new_n239_ & new_n242_;
  assign new_n265_ = ~new_n239_ & ~new_n242_;
  assign new_n266_ = ~new_n264_ & ~new_n265_;
  assign new_n267_ = ~new_n263_ & ~new_n266_;
  assign new_n268_ = ~new_n260_ & new_n267_;
  assign new_n269_ = ~new_n257_ & ~new_n268_;
  assign new_n270_ = new_n263_ & ~new_n266_;
  assign new_n271_ = ~new_n263_ & new_n266_;
  assign new_n272_ = ~new_n270_ & ~new_n271_;
  assign new_n273_ = ~new_n260_ & ~new_n272_;
  assign new_n274_ = ~new_n240_ & new_n241_;
  assign new_n275_ = new_n240_ & ~new_n241_;
  assign new_n276_ = ~new_n274_ & ~new_n275_;
  assign new_n277_ = ~new_n175_ & new_n176_;
  assign new_n278_ = new_n175_ & ~new_n176_;
  assign new_n279_ = ~new_n277_ & ~new_n278_;
  assign new_n280_ = ~new_n276_ & ~new_n279_;
  assign new_n281_ = ~new_n276_ & new_n279_;
  assign new_n282_ = new_n276_ & ~new_n279_;
  assign new_n283_ = ~new_n281_ & ~new_n282_;
  assign new_n284_ = pi03 & pi29;
  assign new_n285_ = pi41 & pi46;
  assign new_n286_ = new_n284_ & new_n285_;
  assign new_n287_ = ~new_n283_ & new_n286_;
  assign new_n288_ = ~new_n280_ & ~new_n287_;
  assign new_n289_ = new_n273_ & ~new_n288_;
  assign new_n290_ = new_n269_ & ~new_n289_;
  assign new_n291_ = new_n250_ & ~new_n290_;
  assign new_n292_ = ~new_n250_ & new_n290_;
  assign new_n293_ = ~new_n291_ & ~new_n292_;
  assign new_n294_ = new_n117_ & ~new_n293_;
  assign new_n295_ = ~new_n117_ & new_n293_;
  assign new_n296_ = ~new_n294_ & ~new_n295_;
  assign new_n297_ = new_n106_ & new_n113_;
  assign new_n298_ = ~new_n106_ & ~new_n113_;
  assign new_n299_ = ~new_n297_ & ~new_n298_;
  assign new_n300_ = ~new_n272_ & ~new_n288_;
  assign new_n301_ = ~new_n267_ & ~new_n300_;
  assign new_n302_ = new_n260_ & ~new_n301_;
  assign new_n303_ = ~new_n260_ & new_n301_;
  assign new_n304_ = ~new_n302_ & ~new_n303_;
  assign new_n305_ = ~new_n299_ & ~new_n304_;
  assign new_n306_ = new_n299_ & ~new_n304_;
  assign new_n307_ = ~new_n299_ & new_n304_;
  assign new_n308_ = ~new_n306_ & ~new_n307_;
  assign new_n309_ = new_n109_ & new_n112_;
  assign new_n310_ = ~new_n109_ & ~new_n112_;
  assign new_n311_ = ~new_n309_ & ~new_n310_;
  assign new_n312_ = new_n272_ & ~new_n288_;
  assign new_n313_ = ~new_n272_ & new_n288_;
  assign new_n314_ = ~new_n312_ & ~new_n313_;
  assign new_n315_ = ~new_n311_ & ~new_n314_;
  assign new_n316_ = ~new_n308_ & new_n315_;
  assign new_n317_ = ~new_n305_ & ~new_n316_;
  assign new_n318_ = new_n311_ & ~new_n314_;
  assign new_n319_ = ~new_n311_ & new_n314_;
  assign new_n320_ = ~new_n318_ & ~new_n319_;
  assign new_n321_ = ~new_n308_ & ~new_n320_;
  assign new_n322_ = ~new_n110_ & new_n111_;
  assign new_n323_ = new_n110_ & ~new_n111_;
  assign new_n324_ = ~new_n322_ & ~new_n323_;
  assign new_n325_ = new_n283_ & new_n286_;
  assign new_n326_ = ~new_n283_ & ~new_n286_;
  assign new_n327_ = ~new_n325_ & ~new_n326_;
  assign new_n328_ = ~new_n324_ & ~new_n327_;
  assign new_n329_ = new_n324_ & ~new_n327_;
  assign new_n330_ = ~new_n324_ & new_n327_;
  assign new_n331_ = ~new_n329_ & ~new_n330_;
  assign new_n332_ = pi06 & pi27;
  assign new_n333_ = ~new_n284_ & new_n285_;
  assign new_n334_ = new_n284_ & ~new_n285_;
  assign new_n335_ = ~new_n333_ & ~new_n334_;
  assign new_n336_ = new_n332_ & ~new_n335_;
  assign new_n337_ = ~new_n331_ & new_n336_;
  assign new_n338_ = ~new_n328_ & ~new_n337_;
  assign new_n339_ = new_n321_ & ~new_n338_;
  assign new_n340_ = new_n317_ & ~new_n339_;
  assign new_n341_ = new_n296_ & ~new_n340_;
  assign new_n342_ = ~new_n296_ & new_n340_;
  assign po0 = new_n341_ | new_n342_;
endmodule