data/full_repos/permissive/162571337/multiplers/12x12_unsigned/pareto_pwr_mre/mul12u_35U.v
data/verilator_xmls/52c71d41-2793-4010-bebc-c5f0f065c978.xml
module PDKGENFAX1( input A, input B, input C, output YS, output YC );
    assign YS = (A ^ B) ^ C;
    assign YC = (A & B) | (B & C) | (A & C);
endmodule
module PDKGENFAX1( input A, input B, input C, output YS, output YC );

    assign YS = (A ^ B) ^ C;
    assign YC = (A & B) | (B & C) | (A & C);
endmodule