data/full_repos/permissive/512928021/otp/impl/hw/soc/sha1.v
data/verilator_xmls/c53ab1be-db2f-45b2-972c-0d6591cad8d7.xml
function [31:0] f(input [6:0] t, input [31:0] x, input [31:0] y, input [31:0] z);
    f = (t <= 7'd19) ? ch(x, y, z) :
        (t <= 7'd39) ? parity(x, y, z) :
        (t <= 7'd59) ? maj(x, y, z) :
        parity(x, y, z);
endfunction
function [31:0] f(input [6:0] t, input [31:0] x, input [31:0] y, input [31:0] z);

    f = (t <= 7'd19) ? ch(x, y, z) :
        (t <= 7'd39) ? parity(x, y, z) :
        (t <= 7'd59) ? maj(x, y, z) :
        parity(x, y, z);
endfunction