Libero IDE works with the following synthesis tools:
Synplify from Synplicity
LeonardoSpectrum from Mentor Graphics
Precision RTL from Mentor Graphics
While LeonardoSpectrum and Precision RTL are not part of the Libero IDE package, they can be integrated to work with Libero IDE. You can also integrate different versions of Synplify. To integrate tools, add them to your project profile.