||Verification Futures 2018 (click here to see full programme)
||Iain Singleton, Applications Engineer, Synopsys
||Fault Injection & Formal – Made for Each Other
||The usage of formal verification has seen a huge surge in recent years as engineers and management have begun to see the real value that formal’s exhaustive verification can bring. As part of this formal revolution, quantitative measurements for coverage and completeness have allowed formal to integrate even better into verification flows. But, which of these methods is at the top of the signoff tree, providing the most verification confidence? This talk will discuss the perfect pairing of fault injection and formal and showcase how, with the right implementation, fault injection and formal can achieve excellent verification confidence and reach that signoff goal.
- Formal Signoff
- Fault Injection
- Formal Coverage
||Iain Singleton is a formal verification specialist in the verification group at Synopsys. Prior to Synopsys, Iain worked in the Advanced Verification Methodologies group at Imagination Technologies as a formal engineer tasked with solving tough formal problems across the company. He holds a Masters degree in Electronic Engineering from Newcastle University.