看你用不用FPGA了，如果用的话看你用哪家的了，如果用ALTERA的那就用Quartus II ，如果用Xilinx的那就用ISE。如果不用FPGA只是做仿真验证那用Modelsim，如果要综合当然选Synplify。
Quartus II用迅雷搜一下，很多。
