data/full_repos/permissive/512928021/password-hasher/impl/hw/soc/sha256.v
data/verilator_xmls/ce1d3e39-c3cb-46ef-82e4-c30c88f01fdf.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