SHA-2 hashers, in verilog