When Correct is Not Enough:
Formal Verification of Fault-Tolerant Hardware



Safety mechanisms and fault-tolerant hardware: formal can help!


Once upon a time, hardware functional verification was all about ensuring that a circuit would perform its specified functions under all legal input stimuli. Today though, gaining confidence that a hardware design is correct is often not enough. Several industries, including automotive, medical and aerospace, rely on safety-critical hardware to keep people safe. Other systems, for example in hard-to-reach equipment, data centers and storage applications, may also require fault-tolerant electronics.

Fault-tolerant hardware development is no longer a niche and presents new challenges. Many engineers face the daunting task of having to examine countless faulty variants of their design in order to integrate and verify multiple safety mechanisms within complex Systems-on-Chip (SoCs).

This white paper examines key goals and challenges in fault-tolerant hardware verification, and presents formal solutions that ensure predictable hardware behavior under all relevant operating conditions and fault scenarios, while saving in engineering and computational resources. 

Download the white paper on formal verification for fault-tolerant HW

Learn how to verify multiple safety mechanisms within complex Systems-on-Chip (SoCs).