We use only PC-based tools:

For Verilog simulation we use Fusion/VCSi from Viewlogic.

For synthesis we use Synplify from Synplicity.

To prove the functionality of our cores, we implement them in FPGAs. We have used Xilinx , Altera and Actel for this prototyping, but we only have the Actel and Xilinx tools in-house.