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

March 27th, 2019 – By: OneSpin Solutions

 

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

 

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.