Darren Galpin, System IP Verification Manager at Infineon Technologies, will discuss “Unifying Coverage Closure When Using Different Verification Techniques” at DVClub Europe on 1stDecember 2015.
Galpin presentation will cover how coverage from different tools is brought in to fully, covering both simulation and formal approaches, and allowing a feature to be proven to be tested, satisfying ISO26262. Darren Galpin will focus on the following key points:
- Verification plan written allowing multiple test approaches.
- Use checks and functional coverage to prove feature verified, achieving ISO26262 proof of requirement.
- Using industry standard UCIS for merging results from different tools.
If you want to find out more about Coverage Closure, then join us on the 1stDecember.
You can attend physically at UWE( in Bristol, Cambridge, Grenoble and Sophia ) or remotely and you can find out more about the conference and how to register here