double sha256 verilog file for bitcoin-like miners