Unifying coverage closure when using different verification techniques

Conference: DVClub Europe – December 2015 (click here to see full programme)
Speaker: Darren Galpin (System IP Verification Manager)
Organisation: Infineon Technologies UK Ltd.
Presentation Title: Unifying coverage closure when using different verification techniques
Abstract: Verification of IP and systems often uses different approaches, tools, and thus different coverage results, and they need to be brought together to prove that the DUT has been fully covered. Here an approach is discussed where the features of a DUT are described in one tool together with the verification targets, and how coverage from different tools is brought in to fully hit the plan, covering both simulation and formal approaches, and allowing a feature to be proven to be tested, satisfying ISO26262.

  • 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
Speaker Bio: Started at STMicroelectronics in 1997 as a product engineer before moving to verification in the same company. Moved to Infineon in 2000, and has since worked on both system and IP verification, as well as developing verification flow methodologies. Has been chair of the IEEE1647 e functional verification language group since 2009.

View the Presentation Materials: