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

334 lines
15 KiB (Stored with Git LFS)
Verilog
Raw Permalink Blame History

// Benchmark "demiter_aig/easy2_2" written by ABC on Wed Dec 4 08:51:46 2024
module \demiter_aig/easy2_2 (
pi00, pi01, pi02, pi03, pi04, pi05, pi06, pi07, pi08, pi09, pi10, pi11,
pi12, pi13,
po0 );
input pi00, pi01, pi02, pi03, pi04, pi05, pi06, pi07, pi08, pi09,
pi10, pi11, pi12, pi13;
output po0;
wire new_n16_, new_n17_, new_n18_, new_n19_, new_n20_, new_n21_, new_n22_,
new_n23_, new_n24_, new_n25_, new_n26_, new_n27_, new_n28_, new_n29_,
new_n30_, new_n31_, new_n32_, new_n33_, new_n34_, new_n35_, new_n36_,
new_n37_, new_n38_, new_n39_, new_n40_, new_n41_, new_n42_, new_n43_,
new_n44_, new_n45_, new_n46_, new_n47_, new_n48_, new_n49_, new_n50_,
new_n51_, new_n52_, 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_;
assign new_n16_ = pi12 & pi13;
assign new_n17_ = pi08 & pi13;
assign new_n18_ = pi07 & pi12;
assign new_n19_ = new_n17_ & new_n18_;
assign new_n20_ = ~new_n16_ & new_n19_;
assign new_n21_ = new_n16_ & ~new_n19_;
assign new_n22_ = ~new_n20_ & ~new_n21_;
assign new_n23_ = pi01 & pi02;
assign new_n24_ = pi05 & pi07;
assign new_n25_ = pi03 & pi04;
assign new_n26_ = ~new_n24_ & new_n25_;
assign new_n27_ = new_n24_ & ~new_n25_;
assign new_n28_ = ~new_n26_ & ~new_n27_;
assign new_n29_ = new_n23_ & new_n28_;
assign new_n30_ = ~new_n23_ & ~new_n28_;
assign new_n31_ = ~new_n29_ & ~new_n30_;
assign new_n32_ = new_n22_ & ~new_n31_;
assign new_n33_ = ~new_n22_ & new_n31_;
assign new_n34_ = ~new_n32_ & ~new_n33_;
assign new_n35_ = ~new_n17_ & new_n18_;
assign new_n36_ = new_n17_ & ~new_n18_;
assign new_n37_ = ~new_n35_ & ~new_n36_;
assign new_n38_ = pi11 & pi13;
assign new_n39_ = pi07 & pi08;
assign new_n40_ = new_n38_ & new_n39_;
assign new_n41_ = ~new_n38_ & new_n39_;
assign new_n42_ = new_n38_ & ~new_n39_;
assign new_n43_ = ~new_n41_ & ~new_n42_;
assign new_n44_ = pi04 & pi12;
assign new_n45_ = ~new_n43_ & new_n44_;
assign new_n46_ = ~new_n40_ & ~new_n45_;
assign new_n47_ = ~new_n37_ & ~new_n46_;
assign new_n48_ = pi01 & pi09;
assign new_n49_ = pi04 & pi05;
assign new_n50_ = pi02 & pi03;
assign new_n51_ = ~new_n49_ & new_n50_;
assign new_n52_ = new_n49_ & ~new_n50_;
assign new_n53_ = ~new_n51_ & ~new_n52_;
assign new_n54_ = new_n48_ & new_n53_;
assign new_n55_ = ~new_n48_ & ~new_n53_;
assign new_n56_ = ~new_n54_ & ~new_n55_;
assign new_n57_ = new_n37_ & ~new_n46_;
assign new_n58_ = ~new_n37_ & new_n46_;
assign new_n59_ = ~new_n57_ & ~new_n58_;
assign new_n60_ = ~new_n56_ & ~new_n59_;
assign new_n61_ = ~new_n47_ & ~new_n60_;
assign new_n62_ = new_n34_ & ~new_n61_;
assign new_n63_ = ~new_n34_ & new_n61_;
assign new_n64_ = ~new_n62_ & ~new_n63_;
assign new_n65_ = pi00 & pi09;
assign new_n66_ = new_n49_ & new_n50_;
assign new_n67_ = new_n48_ & ~new_n53_;
assign new_n68_ = ~new_n66_ & ~new_n67_;
assign new_n69_ = new_n65_ & new_n68_;
assign new_n70_ = ~new_n65_ & ~new_n68_;
assign new_n71_ = ~new_n69_ & ~new_n70_;
assign new_n72_ = new_n64_ & ~new_n71_;
assign new_n73_ = ~new_n64_ & new_n71_;
assign new_n74_ = ~new_n72_ & ~new_n73_;
assign new_n75_ = ~new_n56_ & new_n59_;
assign new_n76_ = new_n56_ & ~new_n59_;
assign new_n77_ = ~new_n75_ & ~new_n76_;
assign new_n78_ = new_n43_ & new_n44_;
assign new_n79_ = ~new_n43_ & ~new_n44_;
assign new_n80_ = ~new_n78_ & ~new_n79_;
assign new_n81_ = pi07 & pi11;
assign new_n82_ = pi04 & pi08;
assign new_n83_ = new_n81_ & new_n82_;
assign new_n84_ = pi02 & pi12;
assign new_n85_ = ~new_n81_ & new_n82_;
assign new_n86_ = new_n81_ & ~new_n82_;
assign new_n87_ = ~new_n85_ & ~new_n86_;
assign new_n88_ = new_n84_ & ~new_n87_;
assign new_n89_ = ~new_n83_ & ~new_n88_;
assign new_n90_ = ~new_n80_ & ~new_n89_;
assign new_n91_ = pi01 & pi06;
assign new_n92_ = pi02 & pi05;
assign new_n93_ = pi03 & pi09;
assign new_n94_ = ~new_n92_ & new_n93_;
assign new_n95_ = new_n92_ & ~new_n93_;
assign new_n96_ = ~new_n94_ & ~new_n95_;
assign new_n97_ = new_n91_ & new_n96_;
assign new_n98_ = ~new_n91_ & ~new_n96_;
assign new_n99_ = ~new_n97_ & ~new_n98_;
assign new_n100_ = new_n80_ & ~new_n89_;
assign new_n101_ = ~new_n80_ & new_n89_;
assign new_n102_ = ~new_n100_ & ~new_n101_;
assign new_n103_ = ~new_n99_ & ~new_n102_;
assign new_n104_ = ~new_n90_ & ~new_n103_;
assign new_n105_ = ~new_n77_ & ~new_n104_;
assign new_n106_ = pi00 & pi06;
assign new_n107_ = new_n92_ & new_n93_;
assign new_n108_ = new_n91_ & ~new_n96_;
assign new_n109_ = ~new_n107_ & ~new_n108_;
assign new_n110_ = new_n106_ & new_n109_;
assign new_n111_ = ~new_n106_ & ~new_n109_;
assign new_n112_ = ~new_n110_ & ~new_n111_;
assign new_n113_ = new_n77_ & ~new_n104_;
assign new_n114_ = ~new_n77_ & new_n104_;
assign new_n115_ = ~new_n113_ & ~new_n114_;
assign new_n116_ = ~new_n112_ & ~new_n115_;
assign new_n117_ = ~new_n105_ & ~new_n116_;
assign new_n118_ = new_n74_ & ~new_n117_;
assign new_n119_ = ~new_n74_ & new_n117_;
assign new_n120_ = ~new_n118_ & ~new_n119_;
assign new_n121_ = new_n106_ & ~new_n109_;
assign new_n122_ = new_n120_ & new_n121_;
assign new_n123_ = ~new_n120_ & ~new_n121_;
assign new_n124_ = ~new_n122_ & ~new_n123_;
assign new_n125_ = ~new_n112_ & new_n115_;
assign new_n126_ = new_n112_ & ~new_n115_;
assign new_n127_ = ~new_n125_ & ~new_n126_;
assign new_n128_ = ~new_n99_ & new_n102_;
assign new_n129_ = new_n99_ & ~new_n102_;
assign new_n130_ = ~new_n128_ & ~new_n129_;
assign new_n131_ = new_n84_ & new_n87_;
assign new_n132_ = ~new_n84_ & ~new_n87_;
assign new_n133_ = ~new_n131_ & ~new_n132_;
assign new_n134_ = pi04 & pi11;
assign new_n135_ = pi02 & pi08;
assign new_n136_ = new_n134_ & new_n135_;
assign new_n137_ = pi09 & pi12;
assign new_n138_ = ~new_n134_ & new_n135_;
assign new_n139_ = new_n134_ & ~new_n135_;
assign new_n140_ = ~new_n138_ & ~new_n139_;
assign new_n141_ = new_n137_ & ~new_n140_;
assign new_n142_ = ~new_n136_ & ~new_n141_;
assign new_n143_ = ~new_n133_ & ~new_n142_;
assign new_n144_ = pi01 & pi10;
assign new_n145_ = pi05 & pi09;
assign new_n146_ = pi03 & pi06;
assign new_n147_ = ~new_n145_ & new_n146_;
assign new_n148_ = new_n145_ & ~new_n146_;
assign new_n149_ = ~new_n147_ & ~new_n148_;
assign new_n150_ = new_n144_ & new_n149_;
assign new_n151_ = ~new_n144_ & ~new_n149_;
assign new_n152_ = ~new_n150_ & ~new_n151_;
assign new_n153_ = new_n133_ & ~new_n142_;
assign new_n154_ = ~new_n133_ & new_n142_;
assign new_n155_ = ~new_n153_ & ~new_n154_;
assign new_n156_ = ~new_n152_ & ~new_n155_;
assign new_n157_ = ~new_n143_ & ~new_n156_;
assign new_n158_ = ~new_n130_ & ~new_n157_;
assign new_n159_ = pi00 & pi10;
assign new_n160_ = new_n145_ & new_n146_;
assign new_n161_ = new_n144_ & ~new_n149_;
assign new_n162_ = ~new_n160_ & ~new_n161_;
assign new_n163_ = new_n159_ & new_n162_;
assign new_n164_ = ~new_n159_ & ~new_n162_;
assign new_n165_ = ~new_n163_ & ~new_n164_;
assign new_n166_ = new_n130_ & ~new_n157_;
assign new_n167_ = ~new_n130_ & new_n157_;
assign new_n168_ = ~new_n166_ & ~new_n167_;
assign new_n169_ = ~new_n165_ & ~new_n168_;
assign new_n170_ = ~new_n158_ & ~new_n169_;
assign new_n171_ = ~new_n127_ & ~new_n170_;
assign new_n172_ = new_n159_ & ~new_n162_;
assign new_n173_ = new_n127_ & ~new_n170_;
assign new_n174_ = ~new_n127_ & new_n170_;
assign new_n175_ = ~new_n173_ & ~new_n174_;
assign new_n176_ = new_n172_ & ~new_n175_;
assign new_n177_ = ~new_n171_ & ~new_n176_;
assign new_n178_ = new_n124_ & ~new_n177_;
assign new_n179_ = ~new_n124_ & new_n177_;
assign new_n180_ = ~new_n178_ & ~new_n179_;
assign new_n181_ = new_n172_ & new_n175_;
assign new_n182_ = ~new_n172_ & ~new_n175_;
assign new_n183_ = ~new_n181_ & ~new_n182_;
assign new_n184_ = ~new_n165_ & new_n168_;
assign new_n185_ = new_n165_ & ~new_n168_;
assign new_n186_ = ~new_n184_ & ~new_n185_;
assign new_n187_ = ~new_n152_ & new_n155_;
assign new_n188_ = new_n152_ & ~new_n155_;
assign new_n189_ = ~new_n187_ & ~new_n188_;
assign new_n190_ = new_n137_ & new_n140_;
assign new_n191_ = ~new_n137_ & ~new_n140_;
assign new_n192_ = ~new_n190_ & ~new_n191_;
assign new_n193_ = pi02 & pi11;
assign new_n194_ = pi08 & pi09;
assign new_n195_ = new_n193_ & new_n194_;
assign new_n196_ = pi06 & pi12;
assign new_n197_ = ~new_n193_ & new_n194_;
assign new_n198_ = new_n193_ & ~new_n194_;
assign new_n199_ = ~new_n197_ & ~new_n198_;
assign new_n200_ = new_n196_ & ~new_n199_;
assign new_n201_ = ~new_n195_ & ~new_n200_;
assign new_n202_ = ~new_n192_ & ~new_n201_;
assign new_n203_ = pi05 & pi06;
assign new_n204_ = pi03 & pi10;
assign new_n205_ = ~new_n203_ & new_n204_;
assign new_n206_ = new_n203_ & ~new_n204_;
assign new_n207_ = ~new_n205_ & ~new_n206_;
assign new_n208_ = new_n192_ & ~new_n201_;
assign new_n209_ = ~new_n192_ & new_n201_;
assign new_n210_ = ~new_n208_ & ~new_n209_;
assign new_n211_ = ~new_n207_ & ~new_n210_;
assign new_n212_ = ~new_n202_ & ~new_n211_;
assign new_n213_ = ~new_n189_ & ~new_n212_;
assign new_n214_ = new_n203_ & new_n204_;
assign new_n215_ = new_n189_ & ~new_n212_;
assign new_n216_ = ~new_n189_ & new_n212_;
assign new_n217_ = ~new_n215_ & ~new_n216_;
assign new_n218_ = new_n214_ & ~new_n217_;
assign new_n219_ = ~new_n213_ & ~new_n218_;
assign new_n220_ = ~new_n186_ & ~new_n219_;
assign new_n221_ = ~new_n183_ & new_n220_;
assign new_n222_ = new_n180_ & new_n221_;
assign new_n223_ = ~new_n180_ & ~new_n221_;
assign new_n224_ = ~new_n222_ & ~new_n223_;
assign new_n225_ = new_n183_ & new_n220_;
assign new_n226_ = ~new_n183_ & ~new_n220_;
assign new_n227_ = ~new_n225_ & ~new_n226_;
assign new_n228_ = new_n186_ & ~new_n219_;
assign new_n229_ = ~new_n186_ & new_n219_;
assign new_n230_ = ~new_n228_ & ~new_n229_;
assign new_n231_ = new_n214_ & new_n217_;
assign new_n232_ = ~new_n214_ & ~new_n217_;
assign new_n233_ = ~new_n231_ & ~new_n232_;
assign new_n234_ = ~new_n207_ & new_n210_;
assign new_n235_ = new_n207_ & ~new_n210_;
assign new_n236_ = ~new_n234_ & ~new_n235_;
assign new_n237_ = new_n196_ & new_n199_;
assign new_n238_ = ~new_n196_ & ~new_n199_;
assign new_n239_ = ~new_n237_ & ~new_n238_;
assign new_n240_ = pi06 & pi08;
assign new_n241_ = pi09 & pi11;
assign new_n242_ = new_n240_ & new_n241_;
assign new_n243_ = pi10 & pi12;
assign new_n244_ = new_n240_ & ~new_n241_;
assign new_n245_ = ~new_n240_ & new_n241_;
assign new_n246_ = ~new_n244_ & ~new_n245_;
assign new_n247_ = new_n243_ & ~new_n246_;
assign new_n248_ = ~new_n242_ & ~new_n247_;
assign new_n249_ = ~new_n239_ & ~new_n248_;
assign new_n250_ = pi05 & pi10;
assign new_n251_ = new_n239_ & ~new_n248_;
assign new_n252_ = ~new_n239_ & new_n248_;
assign new_n253_ = ~new_n251_ & ~new_n252_;
assign new_n254_ = new_n250_ & ~new_n253_;
assign new_n255_ = ~new_n249_ & ~new_n254_;
assign new_n256_ = ~new_n236_ & ~new_n255_;
assign new_n257_ = ~new_n233_ & new_n256_;
assign new_n258_ = ~new_n230_ & new_n257_;
assign new_n259_ = ~new_n227_ & new_n258_;
assign new_n260_ = new_n224_ & new_n259_;
assign new_n261_ = ~new_n224_ & ~new_n259_;
assign new_n262_ = ~new_n260_ & ~new_n261_;
assign new_n263_ = new_n227_ & new_n258_;
assign new_n264_ = ~new_n227_ & ~new_n258_;
assign new_n265_ = ~new_n263_ & ~new_n264_;
assign new_n266_ = new_n230_ & new_n257_;
assign new_n267_ = ~new_n230_ & ~new_n257_;
assign new_n268_ = ~new_n266_ & ~new_n267_;
assign new_n269_ = new_n233_ & new_n256_;
assign new_n270_ = ~new_n233_ & ~new_n256_;
assign new_n271_ = ~new_n269_ & ~new_n270_;
assign new_n272_ = new_n236_ & ~new_n255_;
assign new_n273_ = ~new_n236_ & new_n255_;
assign new_n274_ = ~new_n272_ & ~new_n273_;
assign new_n275_ = new_n250_ & new_n253_;
assign new_n276_ = ~new_n250_ & ~new_n253_;
assign new_n277_ = ~new_n275_ & ~new_n276_;
assign new_n278_ = pi06 & pi11;
assign new_n279_ = pi08 & pi10;
assign new_n280_ = new_n278_ & new_n279_;
assign new_n281_ = new_n243_ & new_n246_;
assign new_n282_ = ~new_n243_ & ~new_n246_;
assign new_n283_ = ~new_n281_ & ~new_n282_;
assign new_n284_ = new_n280_ & ~new_n283_;
assign new_n285_ = ~new_n277_ & new_n284_;
assign new_n286_ = ~new_n274_ & new_n285_;
assign new_n287_ = ~new_n271_ & new_n286_;
assign new_n288_ = ~new_n268_ & new_n287_;
assign new_n289_ = ~new_n265_ & new_n288_;
assign new_n290_ = new_n262_ & new_n289_;
assign new_n291_ = ~new_n262_ & ~new_n289_;
assign po0 = new_n290_ | new_n291_;
endmodule
Reference in New Issue View Git Blame Copy Permalink