|Designation:||Senior Staff Corporate Application Engineer|
|Title:||C/C++ Verification Effectiveness|
Abstract : C/C++ is now pervasive in design conception, either through models at different stages of the design creation or by being embedded as firmware in the design itself. A bug escaping up to production can be lead to high cost and delays in reaching the market making it mandatory to assess and improve the effectiveness of the verification of the C/C++ code.Certitude has been extended from its initial RTL focus to allow users to identify verification issues early in the design cycle.
Biography: Jean-Marc Forey has a degree from the ‘Ecole Nationale Supérieure de Physique de Strasbourg’ (1988). He has held hardware development positions in Thomson CSF, Matra Marconi Space, Philips TRT, Hewlett-Packard. He has been Senior Verification Application Engineer forSynopsys, then application engineer director in Certess. He is now back to Synopsys through the Springsoft acquisition and worked without interruption on Certitude since 2005. He is now Senior Staff Corporate Application Engineer.
DVClub Presentation The recording is unavailable due to a technical problem