# Veriest Solutions

Verification Meetup

February 10th, 2020 @ Aman Group offices, Shimshon 9, 2nd Floor, Petach Tikva

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]

[aman-jobs-search]

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]

Agenda

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

meetup2pic

Agenda

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

Register Now!

Share you excitement

Accessibility Toolbar