Design Automation的物理综合性能。现时，Libero更可运行于Linux和Solaris平台上。
Actel反熔丝产品和工具市场总监Saloni Howard-Sarin称：“Actel将自行开发的工具和第三方EDA解决方案结合在一起，所提供新的环境和方法能协助用户通过更简便和及时的途径，达致其设计目标。新版本Libero IDE包罗了用于设计分析和时序收敛的重要崭新功能。用户能将时序约束加诸于其设计中，管理和分析这些约束的影响，以及更有效地进行设计的时序收敛，并同时实现更高性能。”
SmartTime静态时序分析引擎是由Actel开发功能强大的新型多可视图(multi view)产品，它能协助设计人员进行详细的时序分析，然后迅速决定实现设计收敛所需的步骤。SmartTime
Constraints Editor的可视功能允许用户表列、编辑和建立精确的时序约束。它包含带有可视对话的图形用户界面，引导用户正确捕捉时序要求和例外情况。另一个可视产品SmartTime
Analyzer允许设计人员对每一个时钟域执行最小和最大的时序分析，并提供时钟域之间的分析能力。
Mentor Graphics的ModelSim是以Windows为基础的一级仿真器，适用于VHDL、Verilog或混合语言仿真环境。这种集成式ModelSim验证和调试环境有助于设计人员更快地确定漏洞，现在已无限制地向Actel所有客户提供。
Synplicity的Synplify FPGA综合软件提供了一项崭新功能，可向前注释Synopsys
Design Constraints (SDC) 和物理约束，使Libero 6.2 IDE自动输入用户定义的约束，然后进行管理、跟踪，并转送到设计实现，让设计人员迅速地完成时序收敛。此外，该软件现在还包括关键路径再综合，能提高以Actel Axcelerator系列FPGA为基础设计的结果质量(QoR)。
Magma Design Automation的PALACE物理综合软件现也支持Actel的Axcelerator系列产品。全自动的PALACE软件具备多种先进技术，包括多时钟再定时、特殊结构映射、约束驱动和位置导引优化等。
Actel的Libero 6.2 IDE备有可在Windows和Unix平台运行的Platinum版本，也有只在Windows平台运行的Gold版本(客户免费)。Actel的Libero 6.2 IDE集成了来自EDA伙伴先进的设计工具，包括Magma、Mentor Graphics、SynaptiCAD和Synplicity等各大EDA公司，以及由Actel定制开发的工具，集成至单一FPGA开发套装中。Libero工具套装支持混合模式设计输入，让设计人员可选择在设计中将高级VHDL或Verilog HDL语言模块与原理图模块混合起来。
