How to convert vhdl to other formats @tmeissner