Taifead r-phoist: Verilog for digital design