Verification Futures 2018
|Conference:||Verification Futures 2018 (click here to see full programme)|
|Speaker:||Laureano Carrasco Costilla (Applications Engineer) and Iain Singleton (Applications Engineer), Synopsys|
|Presentation Title:||Fault Injection & Formal – Made for Each Other|
|Abstract:||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.
|Speaker Bio:||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.
Laureano Carrasco Costilla is a formal verification specialist in the verification group at Synopsys. He has many years of experience in FPGA based emulation, ESL, digital design and verification. Prior to joining Synopsys he worked as Technical Account Manager EMEA at EVE S.A. Laureano holds a Msc. in Physics from Valladolid University and a Master of Business and Marketing Direction by UNED.