How to convert .gho to .V2i or .vhd.