228 lines
11 KiB (Stored with Git LFS)
Verilog
228 lines
11 KiB (Stored with Git LFS)
Verilog
// Benchmark "demiter_aig/TOP4_2" written by ABC on Wed Dec 4 08:51:43 2024
|
|
|
|
module \demiter_aig/TOP4_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, pi51, pi52, pi53, pi54, pi55, pi56, pi57, pi58, pi59,
|
|
pi60, pi61, pi62, pi63, pi64, pi65, pi66, pi67, pi68, pi69, pi70, pi71,
|
|
pi72, pi73, pi74, pi75, pi76, pi77, pi78, pi79, pi80, pi81, pi82, pi83,
|
|
pi84, pi85, pi86, pi87, pi88, pi89, pi90, pi91, pi92, pi93, pi94, pi95,
|
|
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, pi51, pi52, pi53, pi54, pi55, pi56, pi57,
|
|
pi58, pi59, pi60, pi61, pi62, pi63, pi64, pi65, pi66, pi67, pi68, pi69,
|
|
pi70, pi71, pi72, pi73, pi74, pi75, pi76, pi77, pi78, pi79, pi80, pi81,
|
|
pi82, pi83, pi84, pi85, pi86, pi87, pi88, pi89, pi90, pi91, pi92, pi93,
|
|
pi94, pi95;
|
|
output po0;
|
|
wire 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_;
|
|
assign new_n98_ = pi38 & pi75;
|
|
assign new_n99_ = pi42 & pi80;
|
|
assign new_n100_ = ~new_n98_ & new_n99_;
|
|
assign new_n101_ = new_n98_ & ~new_n99_;
|
|
assign new_n102_ = ~new_n100_ & ~new_n101_;
|
|
assign new_n103_ = pi45 & pi62;
|
|
assign new_n104_ = new_n102_ & new_n103_;
|
|
assign new_n105_ = ~new_n102_ & ~new_n103_;
|
|
assign new_n106_ = ~new_n104_ & ~new_n105_;
|
|
assign new_n107_ = pi38 & pi42;
|
|
assign new_n108_ = pi45 & pi80;
|
|
assign new_n109_ = new_n107_ & new_n108_;
|
|
assign new_n110_ = pi44 & pi62;
|
|
assign new_n111_ = ~new_n107_ & new_n108_;
|
|
assign new_n112_ = new_n107_ & ~new_n108_;
|
|
assign new_n113_ = ~new_n111_ & ~new_n112_;
|
|
assign new_n114_ = new_n110_ & ~new_n113_;
|
|
assign new_n115_ = ~new_n109_ & ~new_n114_;
|
|
assign new_n116_ = new_n106_ & ~new_n115_;
|
|
assign new_n117_ = ~new_n106_ & new_n115_;
|
|
assign new_n118_ = ~new_n116_ & ~new_n117_;
|
|
assign new_n119_ = pi36 & pi44;
|
|
assign new_n120_ = new_n118_ & new_n119_;
|
|
assign new_n121_ = ~new_n118_ & ~new_n119_;
|
|
assign new_n122_ = ~new_n120_ & ~new_n121_;
|
|
assign new_n123_ = new_n110_ & new_n113_;
|
|
assign new_n124_ = ~new_n110_ & ~new_n113_;
|
|
assign new_n125_ = ~new_n123_ & ~new_n124_;
|
|
assign new_n126_ = pi38 & pi45;
|
|
assign new_n127_ = pi44 & pi80;
|
|
assign new_n128_ = new_n126_ & new_n127_;
|
|
assign new_n129_ = ~new_n125_ & new_n128_;
|
|
assign new_n130_ = new_n122_ & new_n129_;
|
|
assign new_n131_ = ~new_n122_ & ~new_n129_;
|
|
assign new_n132_ = ~new_n130_ & ~new_n131_;
|
|
assign new_n133_ = pi43 & pi83;
|
|
assign new_n134_ = pi53 & pi55;
|
|
assign new_n135_ = ~new_n133_ & new_n134_;
|
|
assign new_n136_ = new_n133_ & ~new_n134_;
|
|
assign new_n137_ = ~new_n135_ & ~new_n136_;
|
|
assign new_n138_ = pi12 & pi68;
|
|
assign new_n139_ = new_n137_ & new_n138_;
|
|
assign new_n140_ = ~new_n137_ & ~new_n138_;
|
|
assign new_n141_ = ~new_n139_ & ~new_n140_;
|
|
assign new_n142_ = pi55 & pi83;
|
|
assign new_n143_ = pi53 & pi68;
|
|
assign new_n144_ = new_n142_ & new_n143_;
|
|
assign new_n145_ = pi12 & pi47;
|
|
assign new_n146_ = ~new_n142_ & new_n143_;
|
|
assign new_n147_ = new_n142_ & ~new_n143_;
|
|
assign new_n148_ = ~new_n146_ & ~new_n147_;
|
|
assign new_n149_ = new_n145_ & ~new_n148_;
|
|
assign new_n150_ = ~new_n144_ & ~new_n149_;
|
|
assign new_n151_ = new_n141_ & ~new_n150_;
|
|
assign new_n152_ = ~new_n141_ & new_n150_;
|
|
assign new_n153_ = ~new_n151_ & ~new_n152_;
|
|
assign new_n154_ = pi37 & pi47;
|
|
assign new_n155_ = new_n153_ & new_n154_;
|
|
assign new_n156_ = ~new_n153_ & ~new_n154_;
|
|
assign new_n157_ = ~new_n155_ & ~new_n156_;
|
|
assign new_n158_ = new_n145_ & new_n148_;
|
|
assign new_n159_ = ~new_n145_ & ~new_n148_;
|
|
assign new_n160_ = ~new_n158_ & ~new_n159_;
|
|
assign new_n161_ = pi68 & pi83;
|
|
assign new_n162_ = pi47 & pi53;
|
|
assign new_n163_ = new_n161_ & new_n162_;
|
|
assign new_n164_ = ~new_n160_ & new_n163_;
|
|
assign new_n165_ = new_n157_ & new_n164_;
|
|
assign new_n166_ = ~new_n157_ & ~new_n164_;
|
|
assign new_n167_ = ~new_n165_ & ~new_n166_;
|
|
assign new_n168_ = pi86 & pi87;
|
|
assign new_n169_ = pi08 & pi61;
|
|
assign new_n170_ = ~new_n168_ & new_n169_;
|
|
assign new_n171_ = new_n168_ & ~new_n169_;
|
|
assign new_n172_ = ~new_n170_ & ~new_n171_;
|
|
assign new_n173_ = pi13 & pi18;
|
|
assign new_n174_ = new_n172_ & new_n173_;
|
|
assign new_n175_ = ~new_n172_ & ~new_n173_;
|
|
assign new_n176_ = ~new_n174_ & ~new_n175_;
|
|
assign new_n177_ = pi61 & pi87;
|
|
assign new_n178_ = pi08 & pi13;
|
|
assign new_n179_ = new_n177_ & new_n178_;
|
|
assign new_n180_ = pi18 & pi35;
|
|
assign new_n181_ = ~new_n177_ & new_n178_;
|
|
assign new_n182_ = new_n177_ & ~new_n178_;
|
|
assign new_n183_ = ~new_n181_ & ~new_n182_;
|
|
assign new_n184_ = new_n180_ & ~new_n183_;
|
|
assign new_n185_ = ~new_n179_ & ~new_n184_;
|
|
assign new_n186_ = new_n176_ & ~new_n185_;
|
|
assign new_n187_ = ~new_n176_ & new_n185_;
|
|
assign new_n188_ = ~new_n186_ & ~new_n187_;
|
|
assign new_n189_ = pi35 & pi81;
|
|
assign new_n190_ = new_n188_ & new_n189_;
|
|
assign new_n191_ = ~new_n188_ & ~new_n189_;
|
|
assign new_n192_ = ~new_n190_ & ~new_n191_;
|
|
assign new_n193_ = new_n180_ & new_n183_;
|
|
assign new_n194_ = ~new_n180_ & ~new_n183_;
|
|
assign new_n195_ = ~new_n193_ & ~new_n194_;
|
|
assign new_n196_ = pi13 & pi87;
|
|
assign new_n197_ = pi08 & pi35;
|
|
assign new_n198_ = new_n196_ & new_n197_;
|
|
assign new_n199_ = ~new_n195_ & new_n198_;
|
|
assign new_n200_ = new_n192_ & new_n199_;
|
|
assign new_n201_ = ~new_n192_ & ~new_n199_;
|
|
assign new_n202_ = ~new_n200_ & ~new_n201_;
|
|
assign new_n203_ = new_n167_ & ~new_n202_;
|
|
assign new_n204_ = ~new_n167_ & new_n202_;
|
|
assign new_n205_ = ~new_n203_ & ~new_n204_;
|
|
assign new_n206_ = new_n160_ & new_n163_;
|
|
assign new_n207_ = ~new_n160_ & ~new_n163_;
|
|
assign new_n208_ = ~new_n206_ & ~new_n207_;
|
|
assign new_n209_ = new_n195_ & new_n198_;
|
|
assign new_n210_ = ~new_n195_ & ~new_n198_;
|
|
assign new_n211_ = ~new_n209_ & ~new_n210_;
|
|
assign new_n212_ = ~new_n208_ & ~new_n211_;
|
|
assign new_n213_ = new_n208_ & ~new_n211_;
|
|
assign new_n214_ = ~new_n208_ & new_n211_;
|
|
assign new_n215_ = ~new_n213_ & ~new_n214_;
|
|
assign new_n216_ = ~new_n161_ & new_n162_;
|
|
assign new_n217_ = new_n161_ & ~new_n162_;
|
|
assign new_n218_ = ~new_n216_ & ~new_n217_;
|
|
assign new_n219_ = ~new_n196_ & new_n197_;
|
|
assign new_n220_ = new_n196_ & ~new_n197_;
|
|
assign new_n221_ = ~new_n219_ & ~new_n220_;
|
|
assign new_n222_ = ~new_n218_ & ~new_n221_;
|
|
assign new_n223_ = new_n218_ & ~new_n221_;
|
|
assign new_n224_ = ~new_n218_ & new_n221_;
|
|
assign new_n225_ = ~new_n223_ & ~new_n224_;
|
|
assign new_n226_ = pi35 & pi87;
|
|
assign new_n227_ = pi47 & pi83;
|
|
assign new_n228_ = new_n226_ & new_n227_;
|
|
assign new_n229_ = ~new_n225_ & new_n228_;
|
|
assign new_n230_ = ~new_n222_ & ~new_n229_;
|
|
assign new_n231_ = ~new_n215_ & ~new_n230_;
|
|
assign new_n232_ = ~new_n212_ & ~new_n231_;
|
|
assign new_n233_ = new_n205_ & ~new_n232_;
|
|
assign new_n234_ = ~new_n205_ & new_n232_;
|
|
assign new_n235_ = ~new_n233_ & ~new_n234_;
|
|
assign new_n236_ = new_n132_ & ~new_n235_;
|
|
assign new_n237_ = ~new_n132_ & new_n235_;
|
|
assign new_n238_ = ~new_n236_ & ~new_n237_;
|
|
assign new_n239_ = new_n125_ & new_n128_;
|
|
assign new_n240_ = ~new_n125_ & ~new_n128_;
|
|
assign new_n241_ = ~new_n239_ & ~new_n240_;
|
|
assign new_n242_ = new_n215_ & ~new_n230_;
|
|
assign new_n243_ = ~new_n215_ & new_n230_;
|
|
assign new_n244_ = ~new_n242_ & ~new_n243_;
|
|
assign new_n245_ = ~new_n241_ & ~new_n244_;
|
|
assign new_n246_ = new_n241_ & ~new_n244_;
|
|
assign new_n247_ = ~new_n241_ & new_n244_;
|
|
assign new_n248_ = ~new_n246_ & ~new_n247_;
|
|
assign new_n249_ = ~new_n126_ & new_n127_;
|
|
assign new_n250_ = new_n126_ & ~new_n127_;
|
|
assign new_n251_ = ~new_n249_ & ~new_n250_;
|
|
assign new_n252_ = new_n225_ & new_n228_;
|
|
assign new_n253_ = ~new_n225_ & ~new_n228_;
|
|
assign new_n254_ = ~new_n252_ & ~new_n253_;
|
|
assign new_n255_ = ~new_n251_ & ~new_n254_;
|
|
assign new_n256_ = new_n251_ & ~new_n254_;
|
|
assign new_n257_ = ~new_n251_ & new_n254_;
|
|
assign new_n258_ = ~new_n256_ & ~new_n257_;
|
|
assign new_n259_ = pi38 & pi44;
|
|
assign new_n260_ = new_n226_ & ~new_n227_;
|
|
assign new_n261_ = ~new_n226_ & new_n227_;
|
|
assign new_n262_ = ~new_n260_ & ~new_n261_;
|
|
assign new_n263_ = new_n259_ & ~new_n262_;
|
|
assign new_n264_ = ~new_n258_ & new_n263_;
|
|
assign new_n265_ = ~new_n255_ & ~new_n264_;
|
|
assign new_n266_ = ~new_n248_ & ~new_n265_;
|
|
assign new_n267_ = ~new_n245_ & ~new_n266_;
|
|
assign new_n268_ = new_n238_ & ~new_n267_;
|
|
assign new_n269_ = ~new_n238_ & new_n267_;
|
|
assign po0 = new_n268_ | new_n269_;
|
|
endmodule
|
|
|
|
|