data/full_repos/permissive/512928021/otp/impl/hw/soc/sha1.v
data/verilator_xmls/c53ab1be-db2f-45b2-972c-0d6591cad8d7.xml
function [31:0] ch(input [31:0] x, input [31:0] y, input [31:0] z);
    ch = (x & y) ^ ((~x) & z);
endfunction
function [31:0] ch(input [31:0] x, input [31:0] y, input [31:0] z);

    ch = (x & y) ^ ((~x) & z);
endfunction