# Innocom

Maximize Performance and Visibility for Citrix Virtual Apps and Desktops

11:00 – 12:00

בסדנא זו, דניס פוזולוטין CTO באינוקום ויאיר ביטון SE באינוקום ידגימו את האתגרים העומדים בפני אנשי IT אשר צריכים לדאוג לחוויית משתמש מעולה

ויציגו את הכלים העומדים לרשות מנהלי התשתיות על מנת לנתר את המערכת בצורה מקיפה ולהביא לחוויית משתמש מיטבית

ויציגו את הכלים העומדים לרשות מנהלי התשתיות על מנת לנתר את המערכת בצורה מקיפה ולהביא לחוויית משתמש מיטבית.

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

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