Gravar-mail: Verilog for digital design