The big three:
- https://en.wikipedia.org/wiki/Synopsys: several
- http://www.synopsys.com/Tools/Verification/FormalEquivalence/Pages/Formality.aspx equivalence checking
- https://en.wikipedia.org/wiki/Cadence_Design_Systems: several
- Incisive simulation toolest: https://en.wikipedia.org/wiki/NCSim
- https://en.wikipedia.org/wiki/Mentor_Graphics. Choose to target end user machines instead of big company controlled ones.
- 2016: sold to Siemens
- ModelSim : HDL simulator
- Calibre: Physical implementation
- Calypto Power Pro: power estimates. Bought in 2015 with the Calypto company.
Others:
- Xilinx: ISE repaced by vivado http://www.xilinx.com/products/design-tools/ise-design-suite.html Vivado: replaced ISE
- https://en.wikipedia.org/wiki/Zuken