Verilog -> VHDL