Contact Us
- Phone number: 03-6173737
- Fax : 073-2016920
Direction
- Shimshon St 9, Petah Tikva 4952707
Menu
17:00- 20:00
We are very happy to invite you to our 2nd Verification Meetup.
After our first session a few months ago was very well attended by some 50+ Verification professionals from many different companies, we confirmed our view that the VLSI community in Israel is “hungry” for an open meetup platform for people to exchange ideas.
This time, we’ll dedicate our meetup to additional verification methodologies available that complement the more “classical” Constraint Random methods.
The meetup is free of charge, in an informal setting at the end of the working day.
Parking is free.
We look forward to seeing you! And share with your friends!
Please register online by filling out the form below.
For further information, please contact us: [email protected]m
We are very happy to invite you to our 2nd Verification Meetup.
After our first session a few months ago was very well attended by some 50+ Verification professionals from many different companies, we confirmed our view that the VLSI community in Israel is “hungry” for an open meetup platform for people to exchange ideas.
This time, we’ll dedicate our meetup to additional verification methodologies available that complement the more “classical” Constraint Random methods.
The meetup is free of charge, in an informal setting at the end of the working day.
Parking is free.
We look forward to seeing you! And share with your friends!
Please register online by filling out the form below.
For further information, please contact us: [email protected]
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