NOTE: If you want to view Papers or Slides you must allow pop-ups for this site.

TUESDAY October 17, 2017, 1:00 PM - 2:30 PM

ARCHIVED SESSION 4
Firmware Verification, Software Design Techniques in Verification, High Level Synthesis





4.1Automatic Firmware Verification for Automotive Applications
 
 Speaker: Torsten Andre - Infineon Technologies AG
 Authors: Torsten Andre - Infineon Technologies AG
Daniel Valtiner - Infineon Technologies AG
4.2Modelling Finite-State Machines in the Verification Environment Using Software Design Patterns
 
 Speaker: Darko M. Tomusilovic - Veriest Vtool
 Authors: Darko M. Tomusilovic - Veriest Vtool
Mihajlo Z. Minovic - Veriest Vtool
4.3UVM Made Language Agnostic – Introducing UVM For SystemC
 
 Speaker: Akhila M - Intel Technology India Pvt. Ltd
 Author: Akhila M - Intel Technology India Pvt. Ltd

Back to Listing