data/full_repos/permissive/512928021/password-hasher/impl/hw/soc/sha256.v
data/verilator_xmls/ce1d3e39-c3cb-46ef-82e4-c30c88f01fdf.xml
function [31:0] sig0(input [31:0] x);
    sig0 = {x[6:0], x[31:7]} ^ {x[17:0], x[31:18]} ^ {3'h0, x[31:3]};
endfunction
function [31:0] sig0(input [31:0] x);

    sig0 = {x[6:0], x[31:7]} ^ {x[17:0], x[31:18]} ^ {3'h0, x[31:3]};
endfunction