YuhangQ/formality_cec
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
formality_cec/experiment/demiter_verilog/TOP6_2.v

533 lines
24 KiB (Stored with Git LFS)
Verilog
Raw Permalink Blame History

// Benchmark "demiter_aig/TOP6_2" written by ABC on Wed Dec 4 08:51:46 2024
module \demiter_aig/TOP6_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_, new_n343_, new_n344_, new_n345_, new_n346_, new_n347_,
new_n348_, new_n349_, new_n350_, new_n351_, new_n352_, new_n353_,
new_n354_, new_n355_, new_n356_, new_n357_, new_n358_, new_n359_,
new_n360_, new_n361_, new_n362_, new_n363_, new_n364_, new_n365_,
new_n366_, new_n367_, new_n368_, new_n369_, new_n370_, new_n371_,
new_n372_, new_n373_, new_n374_, new_n375_, new_n376_, new_n377_,
new_n378_, new_n379_, new_n380_, new_n381_, new_n382_, new_n383_,
new_n384_, new_n385_, new_n386_, new_n387_, new_n388_, new_n389_,
new_n390_, new_n391_, new_n392_, new_n393_, new_n394_, new_n395_,
new_n396_, new_n397_, new_n398_, new_n399_, new_n400_, new_n401_,
new_n402_, new_n403_, new_n404_, new_n405_, new_n406_, new_n407_,
new_n408_, new_n409_, new_n410_, new_n411_, new_n412_, new_n413_,
new_n414_, new_n415_, new_n416_, new_n417_, new_n418_, new_n419_,
new_n420_, new_n421_, new_n422_, new_n423_, new_n424_, new_n425_,
new_n426_, new_n427_, new_n428_, new_n429_, new_n430_, new_n431_,
new_n432_, new_n433_, new_n434_, new_n435_, new_n436_, new_n437_,
new_n438_, new_n439_, new_n440_, new_n441_, new_n442_, new_n443_,
new_n444_, new_n445_, new_n446_, new_n447_, new_n448_, new_n449_,
new_n450_, new_n451_, new_n452_, new_n453_, new_n454_, new_n455_,
new_n456_, new_n457_, new_n458_, new_n459_, new_n460_, new_n461_,
new_n462_, new_n463_, new_n464_, new_n465_, new_n466_, new_n467_,
new_n468_, new_n469_, new_n470_, new_n471_, new_n472_, new_n473_,
new_n474_, new_n475_, new_n476_, new_n477_, new_n478_, new_n479_,
new_n480_, new_n481_, new_n482_, new_n483_, new_n484_, new_n485_,
new_n486_, new_n487_, new_n488_, new_n489_, new_n490_, new_n491_,
new_n492_;
assign new_n53_ = pi16 & pi42;
assign new_n54_ = pi22 & pi35;
assign new_n55_ = ~new_n53_ & new_n54_;
assign new_n56_ = new_n53_ & ~new_n54_;
assign new_n57_ = ~new_n55_ & ~new_n56_;
assign new_n58_ = pi09 & pi10;
assign new_n59_ = new_n57_ & new_n58_;
assign new_n60_ = ~new_n57_ & ~new_n58_;
assign new_n61_ = ~new_n59_ & ~new_n60_;
assign new_n62_ = pi13 & pi26;
assign new_n63_ = pi20 & pi48;
assign new_n64_ = ~new_n62_ & new_n63_;
assign new_n65_ = new_n62_ & ~new_n63_;
assign new_n66_ = ~new_n64_ & ~new_n65_;
assign new_n67_ = pi17 & pi45;
assign new_n68_ = new_n66_ & new_n67_;
assign new_n69_ = ~new_n66_ & ~new_n67_;
assign new_n70_ = ~new_n68_ & ~new_n69_;
assign new_n71_ = pi45 & pi48;
assign new_n72_ = pi20 & pi26;
assign new_n73_ = new_n71_ & new_n72_;
assign new_n74_ = pi16 & pi17;
assign new_n75_ = new_n71_ & ~new_n72_;
assign new_n76_ = ~new_n71_ & new_n72_;
assign new_n77_ = ~new_n75_ & ~new_n76_;
assign new_n78_ = new_n74_ & ~new_n77_;
assign new_n79_ = ~new_n73_ & ~new_n78_;
assign new_n80_ = new_n70_ & ~new_n79_;
assign new_n81_ = ~new_n70_ & new_n79_;
assign new_n82_ = ~new_n80_ & ~new_n81_;
assign new_n83_ = ~new_n61_ & new_n82_;
assign new_n84_ = new_n61_ & ~new_n82_;
assign new_n85_ = ~new_n83_ & ~new_n84_;
assign new_n86_ = new_n74_ & new_n77_;
assign new_n87_ = ~new_n74_ & ~new_n77_;
assign new_n88_ = ~new_n86_ & ~new_n87_;
assign new_n89_ = pi26 & pi45;
assign new_n90_ = pi16 & pi48;
assign new_n91_ = new_n89_ & new_n90_;
assign new_n92_ = pi17 & pi22;
assign new_n93_ = ~new_n89_ & new_n90_;
assign new_n94_ = new_n89_ & ~new_n90_;
assign new_n95_ = ~new_n93_ & ~new_n94_;
assign new_n96_ = new_n92_ & ~new_n95_;
assign new_n97_ = ~new_n91_ & ~new_n96_;
assign new_n98_ = ~new_n88_ & ~new_n97_;
assign new_n99_ = pi09 & pi35;
assign new_n100_ = pi22 & pi42;
assign new_n101_ = new_n99_ & ~new_n100_;
assign new_n102_ = ~new_n99_ & new_n100_;
assign new_n103_ = ~new_n101_ & ~new_n102_;
assign new_n104_ = new_n88_ & ~new_n97_;
assign new_n105_ = ~new_n88_ & new_n97_;
assign new_n106_ = ~new_n104_ & ~new_n105_;
assign new_n107_ = ~new_n103_ & ~new_n106_;
assign new_n108_ = ~new_n98_ & ~new_n107_;
assign new_n109_ = new_n85_ & ~new_n108_;
assign new_n110_ = ~new_n85_ & new_n108_;
assign new_n111_ = ~new_n109_ & ~new_n110_;
assign new_n112_ = new_n99_ & new_n100_;
assign new_n113_ = new_n111_ & new_n112_;
assign new_n114_ = ~new_n111_ & ~new_n112_;
assign new_n115_ = ~new_n113_ & ~new_n114_;
assign new_n116_ = ~new_n103_ & new_n106_;
assign new_n117_ = new_n103_ & ~new_n106_;
assign new_n118_ = ~new_n116_ & ~new_n117_;
assign new_n119_ = pi16 & pi26;
assign new_n120_ = pi22 & pi48;
assign new_n121_ = new_n119_ & new_n120_;
assign new_n122_ = pi09 & pi17;
assign new_n123_ = ~new_n119_ & new_n120_;
assign new_n124_ = new_n119_ & ~new_n120_;
assign new_n125_ = ~new_n123_ & ~new_n124_;
assign new_n126_ = new_n122_ & ~new_n125_;
assign new_n127_ = ~new_n121_ & ~new_n126_;
assign new_n128_ = new_n92_ & new_n95_;
assign new_n129_ = ~new_n92_ & ~new_n95_;
assign new_n130_ = ~new_n128_ & ~new_n129_;
assign new_n131_ = ~new_n127_ & ~new_n130_;
assign new_n132_ = pi09 & pi42;
assign new_n133_ = ~new_n127_ & new_n130_;
assign new_n134_ = new_n127_ & ~new_n130_;
assign new_n135_ = ~new_n133_ & ~new_n134_;
assign new_n136_ = new_n132_ & ~new_n135_;
assign new_n137_ = ~new_n131_ & ~new_n136_;
assign new_n138_ = ~new_n118_ & ~new_n137_;
assign new_n139_ = new_n115_ & new_n138_;
assign new_n140_ = ~new_n115_ & ~new_n138_;
assign new_n141_ = ~new_n139_ & ~new_n140_;
assign new_n142_ = new_n118_ & ~new_n137_;
assign new_n143_ = ~new_n118_ & new_n137_;
assign new_n144_ = ~new_n142_ & ~new_n143_;
assign new_n145_ = new_n132_ & new_n135_;
assign new_n146_ = ~new_n132_ & ~new_n135_;
assign new_n147_ = ~new_n145_ & ~new_n146_;
assign new_n148_ = new_n122_ & new_n125_;
assign new_n149_ = ~new_n122_ & ~new_n125_;
assign new_n150_ = ~new_n148_ & ~new_n149_;
assign new_n151_ = pi22 & pi26;
assign new_n152_ = pi09 & pi48;
assign new_n153_ = new_n151_ & new_n152_;
assign new_n154_ = ~new_n150_ & new_n153_;
assign new_n155_ = ~new_n147_ & new_n154_;
assign new_n156_ = ~new_n144_ & new_n155_;
assign new_n157_ = new_n141_ & new_n156_;
assign new_n158_ = ~new_n141_ & ~new_n156_;
assign new_n159_ = ~new_n157_ & ~new_n158_;
assign new_n160_ = pi11 & pi32;
assign new_n161_ = pi33 & pi34;
assign new_n162_ = ~new_n160_ & new_n161_;
assign new_n163_ = new_n160_ & ~new_n161_;
assign new_n164_ = ~new_n162_ & ~new_n163_;
assign new_n165_ = pi07 & pi15;
assign new_n166_ = new_n164_ & new_n165_;
assign new_n167_ = ~new_n164_ & ~new_n165_;
assign new_n168_ = ~new_n166_ & ~new_n167_;
assign new_n169_ = pi27 & pi40;
assign new_n170_ = pi28 & pi29;
assign new_n171_ = ~new_n169_ & new_n170_;
assign new_n172_ = new_n169_ & ~new_n170_;
assign new_n173_ = ~new_n171_ & ~new_n172_;
assign new_n174_ = pi30 & pi31;
assign new_n175_ = new_n173_ & new_n174_;
assign new_n176_ = ~new_n173_ & ~new_n174_;
assign new_n177_ = ~new_n175_ & ~new_n176_;
assign new_n178_ = pi28 & pi40;
assign new_n179_ = pi29 & pi30;
assign new_n180_ = new_n178_ & new_n179_;
assign new_n181_ = pi11 & pi31;
assign new_n182_ = ~new_n178_ & new_n179_;
assign new_n183_ = new_n178_ & ~new_n179_;
assign new_n184_ = ~new_n182_ & ~new_n183_;
assign new_n185_ = new_n181_ & ~new_n184_;
assign new_n186_ = ~new_n180_ & ~new_n185_;
assign new_n187_ = new_n177_ & ~new_n186_;
assign new_n188_ = ~new_n177_ & new_n186_;
assign new_n189_ = ~new_n187_ & ~new_n188_;
assign new_n190_ = ~new_n168_ & new_n189_;
assign new_n191_ = new_n168_ & ~new_n189_;
assign new_n192_ = ~new_n190_ & ~new_n191_;
assign new_n193_ = new_n181_ & new_n184_;
assign new_n194_ = ~new_n181_ & ~new_n184_;
assign new_n195_ = ~new_n193_ & ~new_n194_;
assign new_n196_ = pi30 & pi40;
assign new_n197_ = pi11 & pi29;
assign new_n198_ = new_n196_ & new_n197_;
assign new_n199_ = pi31 & pi33;
assign new_n200_ = ~new_n196_ & new_n197_;
assign new_n201_ = new_n196_ & ~new_n197_;
assign new_n202_ = ~new_n200_ & ~new_n201_;
assign new_n203_ = new_n199_ & ~new_n202_;
assign new_n204_ = ~new_n198_ & ~new_n203_;
assign new_n205_ = ~new_n195_ & ~new_n204_;
assign new_n206_ = pi32 & pi33;
assign new_n207_ = pi07 & pi34;
assign new_n208_ = ~new_n206_ & new_n207_;
assign new_n209_ = new_n206_ & ~new_n207_;
assign new_n210_ = ~new_n208_ & ~new_n209_;
assign new_n211_ = new_n195_ & ~new_n204_;
assign new_n212_ = ~new_n195_ & new_n204_;
assign new_n213_ = ~new_n211_ & ~new_n212_;
assign new_n214_ = ~new_n210_ & ~new_n213_;
assign new_n215_ = ~new_n205_ & ~new_n214_;
assign new_n216_ = new_n192_ & ~new_n215_;
assign new_n217_ = ~new_n192_ & new_n215_;
assign new_n218_ = ~new_n216_ & ~new_n217_;
assign new_n219_ = new_n206_ & new_n207_;
assign new_n220_ = new_n218_ & new_n219_;
assign new_n221_ = ~new_n218_ & ~new_n219_;
assign new_n222_ = ~new_n220_ & ~new_n221_;
assign new_n223_ = ~new_n210_ & new_n213_;
assign new_n224_ = new_n210_ & ~new_n213_;
assign new_n225_ = ~new_n223_ & ~new_n224_;
assign new_n226_ = pi11 & pi40;
assign new_n227_ = pi29 & pi33;
assign new_n228_ = new_n226_ & new_n227_;
assign new_n229_ = pi07 & pi31;
assign new_n230_ = ~new_n226_ & new_n227_;
assign new_n231_ = new_n226_ & ~new_n227_;
assign new_n232_ = ~new_n230_ & ~new_n231_;
assign new_n233_ = new_n229_ & ~new_n232_;
assign new_n234_ = ~new_n228_ & ~new_n233_;
assign new_n235_ = new_n199_ & new_n202_;
assign new_n236_ = ~new_n199_ & ~new_n202_;
assign new_n237_ = ~new_n235_ & ~new_n236_;
assign new_n238_ = ~new_n234_ & ~new_n237_;
assign new_n239_ = pi07 & pi32;
assign new_n240_ = ~new_n234_ & new_n237_;
assign new_n241_ = new_n234_ & ~new_n237_;
assign new_n242_ = ~new_n240_ & ~new_n241_;
assign new_n243_ = new_n239_ & ~new_n242_;
assign new_n244_ = ~new_n238_ & ~new_n243_;
assign new_n245_ = ~new_n225_ & ~new_n244_;
assign new_n246_ = new_n222_ & new_n245_;
assign new_n247_ = ~new_n222_ & ~new_n245_;
assign new_n248_ = ~new_n246_ & ~new_n247_;
assign new_n249_ = new_n225_ & ~new_n244_;
assign new_n250_ = ~new_n225_ & new_n244_;
assign new_n251_ = ~new_n249_ & ~new_n250_;
assign new_n252_ = new_n239_ & new_n242_;
assign new_n253_ = ~new_n239_ & ~new_n242_;
assign new_n254_ = ~new_n252_ & ~new_n253_;
assign new_n255_ = new_n229_ & new_n232_;
assign new_n256_ = ~new_n229_ & ~new_n232_;
assign new_n257_ = ~new_n255_ & ~new_n256_;
assign new_n258_ = pi33 & pi40;
assign new_n259_ = pi07 & pi29;
assign new_n260_ = new_n258_ & new_n259_;
assign new_n261_ = ~new_n257_ & new_n260_;
assign new_n262_ = ~new_n254_ & new_n261_;
assign new_n263_ = ~new_n251_ & new_n262_;
assign new_n264_ = new_n248_ & new_n263_;
assign new_n265_ = ~new_n248_ & ~new_n263_;
assign new_n266_ = ~new_n264_ & ~new_n265_;
assign new_n267_ = pi05 & pi06;
assign new_n268_ = pi04 & pi08;
assign new_n269_ = new_n267_ & new_n268_;
assign new_n270_ = pi47 & pi49;
assign new_n271_ = pi37 & pi50;
assign new_n272_ = ~new_n270_ & new_n271_;
assign new_n273_ = new_n270_ & ~new_n271_;
assign new_n274_ = ~new_n272_ & ~new_n273_;
assign new_n275_ = pi41 & pi43;
assign new_n276_ = new_n274_ & new_n275_;
assign new_n277_ = ~new_n274_ & ~new_n275_;
assign new_n278_ = ~new_n276_ & ~new_n277_;
assign new_n279_ = pi37 & pi47;
assign new_n280_ = pi43 & pi50;
assign new_n281_ = new_n279_ & new_n280_;
assign new_n282_ = pi41 & pi46;
assign new_n283_ = ~new_n279_ & new_n280_;
assign new_n284_ = new_n279_ & ~new_n280_;
assign new_n285_ = ~new_n283_ & ~new_n284_;
assign new_n286_ = new_n282_ & ~new_n285_;
assign new_n287_ = ~new_n281_ & ~new_n286_;
assign new_n288_ = new_n278_ & ~new_n287_;
assign new_n289_ = ~new_n278_ & new_n287_;
assign new_n290_ = ~new_n288_ & ~new_n289_;
assign new_n291_ = pi05 & pi46;
assign new_n292_ = pi04 & pi06;
assign new_n293_ = ~new_n291_ & new_n292_;
assign new_n294_ = new_n291_ & ~new_n292_;
assign new_n295_ = ~new_n293_ & ~new_n294_;
assign new_n296_ = pi03 & pi08;
assign new_n297_ = new_n295_ & new_n296_;
assign new_n298_ = ~new_n295_ & ~new_n296_;
assign new_n299_ = ~new_n297_ & ~new_n298_;
assign new_n300_ = new_n290_ & ~new_n299_;
assign new_n301_ = ~new_n290_ & new_n299_;
assign new_n302_ = ~new_n300_ & ~new_n301_;
assign new_n303_ = new_n282_ & new_n285_;
assign new_n304_ = ~new_n282_ & ~new_n285_;
assign new_n305_ = ~new_n303_ & ~new_n304_;
assign new_n306_ = pi43 & pi47;
assign new_n307_ = pi46 & pi50;
assign new_n308_ = new_n306_ & new_n307_;
assign new_n309_ = pi06 & pi41;
assign new_n310_ = ~new_n306_ & new_n307_;
assign new_n311_ = new_n306_ & ~new_n307_;
assign new_n312_ = ~new_n310_ & ~new_n311_;
assign new_n313_ = new_n309_ & ~new_n312_;
assign new_n314_ = ~new_n308_ & ~new_n313_;
assign new_n315_ = ~new_n305_ & ~new_n314_;
assign new_n316_ = new_n305_ & ~new_n314_;
assign new_n317_ = ~new_n305_ & new_n314_;
assign new_n318_ = ~new_n316_ & ~new_n317_;
assign new_n319_ = ~new_n267_ & new_n268_;
assign new_n320_ = new_n267_ & ~new_n268_;
assign new_n321_ = ~new_n319_ & ~new_n320_;
assign new_n322_ = ~new_n318_ & ~new_n321_;
assign new_n323_ = ~new_n315_ & ~new_n322_;
assign new_n324_ = new_n302_ & ~new_n323_;
assign new_n325_ = ~new_n302_ & new_n323_;
assign new_n326_ = ~new_n324_ & ~new_n325_;
assign new_n327_ = new_n269_ & new_n326_;
assign new_n328_ = ~new_n269_ & ~new_n326_;
assign new_n329_ = ~new_n327_ & ~new_n328_;
assign new_n330_ = new_n318_ & ~new_n321_;
assign new_n331_ = ~new_n318_ & new_n321_;
assign new_n332_ = ~new_n330_ & ~new_n331_;
assign new_n333_ = pi46 & pi47;
assign new_n334_ = pi06 & pi50;
assign new_n335_ = new_n333_ & new_n334_;
assign new_n336_ = pi08 & pi41;
assign new_n337_ = ~new_n333_ & new_n334_;
assign new_n338_ = new_n333_ & ~new_n334_;
assign new_n339_ = ~new_n337_ & ~new_n338_;
assign new_n340_ = new_n336_ & ~new_n339_;
assign new_n341_ = ~new_n335_ & ~new_n340_;
assign new_n342_ = new_n309_ & new_n312_;
assign new_n343_ = ~new_n309_ & ~new_n312_;
assign new_n344_ = ~new_n342_ & ~new_n343_;
assign new_n345_ = ~new_n341_ & ~new_n344_;
assign new_n346_ = pi05 & pi08;
assign new_n347_ = ~new_n341_ & new_n344_;
assign new_n348_ = new_n341_ & ~new_n344_;
assign new_n349_ = ~new_n347_ & ~new_n348_;
assign new_n350_ = new_n346_ & ~new_n349_;
assign new_n351_ = ~new_n345_ & ~new_n350_;
assign new_n352_ = ~new_n332_ & ~new_n351_;
assign new_n353_ = new_n329_ & new_n352_;
assign new_n354_ = ~new_n329_ & ~new_n352_;
assign new_n355_ = ~new_n353_ & ~new_n354_;
assign new_n356_ = new_n332_ & ~new_n351_;
assign new_n357_ = ~new_n332_ & new_n351_;
assign new_n358_ = ~new_n356_ & ~new_n357_;
assign new_n359_ = new_n346_ & new_n349_;
assign new_n360_ = ~new_n346_ & ~new_n349_;
assign new_n361_ = ~new_n359_ & ~new_n360_;
assign new_n362_ = new_n336_ & new_n339_;
assign new_n363_ = ~new_n336_ & ~new_n339_;
assign new_n364_ = ~new_n362_ & ~new_n363_;
assign new_n365_ = pi06 & pi47;
assign new_n366_ = pi08 & pi50;
assign new_n367_ = new_n365_ & new_n366_;
assign new_n368_ = ~new_n364_ & new_n367_;
assign new_n369_ = ~new_n361_ & new_n368_;
assign new_n370_ = ~new_n358_ & new_n369_;
assign new_n371_ = new_n355_ & new_n370_;
assign new_n372_ = ~new_n355_ & ~new_n370_;
assign new_n373_ = ~new_n371_ & ~new_n372_;
assign new_n374_ = new_n266_ & ~new_n373_;
assign new_n375_ = ~new_n266_ & new_n373_;
assign new_n376_ = ~new_n374_ & ~new_n375_;
assign new_n377_ = new_n251_ & new_n262_;
assign new_n378_ = ~new_n251_ & ~new_n262_;
assign new_n379_ = ~new_n377_ & ~new_n378_;
assign new_n380_ = new_n358_ & new_n369_;
assign new_n381_ = ~new_n358_ & ~new_n369_;
assign new_n382_ = ~new_n380_ & ~new_n381_;
assign new_n383_ = ~new_n379_ & ~new_n382_;
assign new_n384_ = new_n379_ & ~new_n382_;
assign new_n385_ = ~new_n379_ & new_n382_;
assign new_n386_ = ~new_n384_ & ~new_n385_;
assign new_n387_ = new_n254_ & new_n261_;
assign new_n388_ = ~new_n254_ & ~new_n261_;
assign new_n389_ = ~new_n387_ & ~new_n388_;
assign new_n390_ = new_n361_ & new_n368_;
assign new_n391_ = ~new_n361_ & ~new_n368_;
assign new_n392_ = ~new_n390_ & ~new_n391_;
assign new_n393_ = ~new_n389_ & ~new_n392_;
assign new_n394_ = new_n389_ & ~new_n392_;
assign new_n395_ = ~new_n389_ & new_n392_;
assign new_n396_ = ~new_n394_ & ~new_n395_;
assign new_n397_ = new_n257_ & new_n260_;
assign new_n398_ = ~new_n257_ & ~new_n260_;
assign new_n399_ = ~new_n397_ & ~new_n398_;
assign new_n400_ = new_n364_ & new_n367_;
assign new_n401_ = ~new_n364_ & ~new_n367_;
assign new_n402_ = ~new_n400_ & ~new_n401_;
assign new_n403_ = ~new_n399_ & ~new_n402_;
assign new_n404_ = ~new_n396_ & new_n403_;
assign new_n405_ = ~new_n393_ & ~new_n404_;
assign new_n406_ = new_n399_ & ~new_n402_;
assign new_n407_ = ~new_n399_ & new_n402_;
assign new_n408_ = ~new_n406_ & ~new_n407_;
assign new_n409_ = ~new_n396_ & ~new_n408_;
assign new_n410_ = ~new_n365_ & new_n366_;
assign new_n411_ = new_n365_ & ~new_n366_;
assign new_n412_ = ~new_n410_ & ~new_n411_;
assign new_n413_ = ~new_n258_ & new_n259_;
assign new_n414_ = new_n258_ & ~new_n259_;
assign new_n415_ = ~new_n413_ & ~new_n414_;
assign new_n416_ = ~new_n412_ & ~new_n415_;
assign new_n417_ = ~new_n412_ & new_n415_;
assign new_n418_ = new_n412_ & ~new_n415_;
assign new_n419_ = ~new_n417_ & ~new_n418_;
assign new_n420_ = pi07 & pi40;
assign new_n421_ = pi08 & pi47;
assign new_n422_ = new_n420_ & new_n421_;
assign new_n423_ = ~new_n419_ & new_n422_;
assign new_n424_ = ~new_n416_ & ~new_n423_;
assign new_n425_ = new_n409_ & ~new_n424_;
assign new_n426_ = new_n405_ & ~new_n425_;
assign new_n427_ = ~new_n386_ & ~new_n426_;
assign new_n428_ = ~new_n383_ & ~new_n427_;
assign new_n429_ = new_n376_ & ~new_n428_;
assign new_n430_ = ~new_n376_ & new_n428_;
assign new_n431_ = ~new_n429_ & ~new_n430_;
assign new_n432_ = new_n159_ & ~new_n431_;
assign new_n433_ = ~new_n159_ & new_n431_;
assign new_n434_ = ~new_n432_ & ~new_n433_;
assign new_n435_ = new_n144_ & new_n155_;
assign new_n436_ = ~new_n144_ & ~new_n155_;
assign new_n437_ = ~new_n435_ & ~new_n436_;
assign new_n438_ = new_n386_ & ~new_n426_;
assign new_n439_ = ~new_n386_ & new_n426_;
assign new_n440_ = ~new_n438_ & ~new_n439_;
assign new_n441_ = ~new_n437_ & ~new_n440_;
assign new_n442_ = new_n437_ & ~new_n440_;
assign new_n443_ = ~new_n437_ & new_n440_;
assign new_n444_ = ~new_n442_ & ~new_n443_;
assign new_n445_ = new_n147_ & new_n154_;
assign new_n446_ = ~new_n147_ & ~new_n154_;
assign new_n447_ = ~new_n445_ & ~new_n446_;
assign new_n448_ = ~new_n408_ & ~new_n424_;
assign new_n449_ = ~new_n403_ & ~new_n448_;
assign new_n450_ = new_n396_ & ~new_n449_;
assign new_n451_ = ~new_n396_ & new_n449_;
assign new_n452_ = ~new_n450_ & ~new_n451_;
assign new_n453_ = ~new_n447_ & ~new_n452_;
assign new_n454_ = new_n447_ & ~new_n452_;
assign new_n455_ = ~new_n447_ & new_n452_;
assign new_n456_ = ~new_n454_ & ~new_n455_;
assign new_n457_ = new_n150_ & new_n153_;
assign new_n458_ = ~new_n150_ & ~new_n153_;
assign new_n459_ = ~new_n457_ & ~new_n458_;
assign new_n460_ = new_n408_ & ~new_n424_;
assign new_n461_ = ~new_n408_ & new_n424_;
assign new_n462_ = ~new_n460_ & ~new_n461_;
assign new_n463_ = ~new_n459_ & ~new_n462_;
assign new_n464_ = ~new_n456_ & new_n463_;
assign new_n465_ = ~new_n453_ & ~new_n464_;
assign new_n466_ = new_n459_ & ~new_n462_;
assign new_n467_ = ~new_n459_ & new_n462_;
assign new_n468_ = ~new_n466_ & ~new_n467_;
assign new_n469_ = ~new_n456_ & ~new_n468_;
assign new_n470_ = ~new_n151_ & new_n152_;
assign new_n471_ = new_n151_ & ~new_n152_;
assign new_n472_ = ~new_n470_ & ~new_n471_;
assign new_n473_ = new_n419_ & new_n422_;
assign new_n474_ = ~new_n419_ & ~new_n422_;
assign new_n475_ = ~new_n473_ & ~new_n474_;
assign new_n476_ = ~new_n472_ & ~new_n475_;
assign new_n477_ = new_n472_ & ~new_n475_;
assign new_n478_ = ~new_n472_ & new_n475_;
assign new_n479_ = ~new_n477_ & ~new_n478_;
assign new_n480_ = pi09 & pi26;
assign new_n481_ = ~new_n420_ & new_n421_;
assign new_n482_ = new_n420_ & ~new_n421_;
assign new_n483_ = ~new_n481_ & ~new_n482_;
assign new_n484_ = new_n480_ & ~new_n483_;
assign new_n485_ = ~new_n479_ & new_n484_;
assign new_n486_ = ~new_n476_ & ~new_n485_;
assign new_n487_ = new_n469_ & ~new_n486_;
assign new_n488_ = new_n465_ & ~new_n487_;
assign new_n489_ = ~new_n444_ & ~new_n488_;
assign new_n490_ = ~new_n441_ & ~new_n489_;
assign new_n491_ = new_n434_ & ~new_n490_;
assign new_n492_ = ~new_n434_ & new_n490_;
assign po0 = new_n491_ | new_n492_;
endmodule
Reference in New Issue View Git Blame Copy Permalink