FAQs – Frequently Asked Questions - Reliability Engineered: Microchip FPGAs (Field Programmable Gate Arrays) for Functional Safety (FuSa)
Q: Is Libero SoC 11.8 SP4 still FuSa-certified despite the expired TÜV certificate?
A: Yes, despite the expired TÜV certificate, Libero® SoC Design Suite v11.5 SP2 and its originally certified IP cores remain functionally safe for SIL 3. There have been no changes to the tools, IP cores, or errata content since the original certification. The initial certification covered Libero® SoC Design Suite v11.5 SP2 and associated development tools, a select set of IP cores, and a published errata document, all deemed suitable for safety-related designs up to SIL 3 by TÜV Rheinland.
Q: Does Libero SoC 11.8 SP4 maintain its IEC 61508 compliance after the release of Libero 2023.2 SP1?
A: Yes, it’s still IEC 61508-compliant with documented mitigations and 9 known issues are addressed in the Errata with workarounds in the FuSa User Guide:
Functional Safety Package Errata SAFETY-PKG-M2S-M2GL-F/NL
Functional Safety Package ErrataSAFETY-PKG-G3-F/NL
Q: Where can I find functional safety documentation for Libero SoC and its IPs?
A: Refer to the Functional Safety User Guide, Reliability Report and other user guides/release notes for comprehensive details.
Partners Offering Functionally Safe OS (Operating Systems)
![]()
INTEGRITY RTOS, made by Green Hills Software, sets the standard for RTOS safety, security, reliability and performance. The INTEGRITY RTOS port is available for PolarFire® SoCs.

SAFERTOS® by WITTENSTEIN is an IEC 61508-3 SIL 3 and ISO 26262 ASIL D pre-certified safety Real Time Operating System (RTOS) for embedded processors. WITTENSTEIN’s high-integrity systems have ported SAFERTOS on our MiV_RV32 soft CPU IP-based RISC-V core.
PikeOS is a leading RTOS solution used in safety- and security-critical applications. It provides safety certification for DO-178 C (avionics), ICE 62279/EN 50128 (railway) or ISO 26262 (automotive). Sysgo’s PikeOS is available with PolarFire® SoC FPGA.
VxWorks® from Wind River® is the world’s leading RTOS. Wind River extends VxWorks support to PolarFire® SoCs.



