System-Level Design
WHITEPAPERS

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

Learn formal solutions in fault-tolerant hardware verification that ensure predictable hardware behavior under all relevant operating conditions and fault scenarios.

popularity

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. Engineers face the daunting task of having to examine countless faulty variants of their designs 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.

Click here to read more.



Leave a Reply


(Note: This name will be displayed publicly)