Atmel CPLD development tools for verilog

Hi,

Currently I have verilog design files ready for a CPLD implementation
and am planning to use a Atmel AT15xx series CPLD.

But I am having difficulty in finding the right Atmel development
software.
As per the Atmel website, Prochip supports Verilog, but when installed
I am not able to compile the Verilog design.

Is there any other tool I can use to get the edif file from my Verilog
design and then use the edif in Prochip for fitting?

Thanks
Sridevi