את התעשייה מבריאים בעשייה

17:00 Gathering and Welcome

17:30 Portable Stimuli over UVM – using portable stimuli in HW verification flow, by Liran Kosovizer (Texas Instruments)

18:00 Using Formal Verification to Complement Verification – A Case Study, by Elchanan Rappaport (Veriest)

18:30 Panel: Verification technology adoption – the right pace and the right approach for managers/engineers

Host: Avidan Efody, Verification Expert

Guests: David Barkai (Mellanox Technologies), Elihai Maicas (Intel), Liran Kosovizer (Texas Instruments)

19:00 Networking & Beers