data/full_repos/permissive/512928021/otp/impl/hw/soc/sha1.v
data/verilator_xmls/c53ab1be-db2f-45b2-972c-0d6591cad8d7.xml
function [31:0] k(input [6:0] t);
    k = (t <= 7'd19) ? 32'h5a827999 :
        (t <= 7'd39) ? 32'h6ed9eba1 :
        (t <= 7'd59) ? 32'h8f1bbcdc :
        32'hca62c1d6;
endfunction
function [31:0] k(input [6:0] t);

    k = (t <= 7'd19) ? 32'h5a827999 :
        (t <= 7'd39) ? 32'h6ed9eba1 :
        (t <= 7'd59) ? 32'h8f1bbcdc :
        32'hca62c1d6;
endfunction