data/full_repos/permissive/512928021/otp/impl/hw/soc/sha1.v
data/verilator_xmls/c53ab1be-db2f-45b2-972c-0d6591cad8d7.xml
function [31:0] rotl30(input [31:0] x);
    rotl30 = {x[1:0], x[31:2]};
endfunction
function [31:0] rotl30(input [31:0] x);

    rotl30 = {x[1:0], x[31:2]};
endfunction