Thank you to all who attend our 2nd Verification Meetup .
Some 50 people from different companies – including Intel, Marvell, Samsung, Cadence, Mellanox, Microsoft, Valens and others – joined to hear Liran Kosovizer (TI) present about PSS and Elchanan Rappaport discuss Formal Verification. In the panel that followed, Avidan Efody, David Barkai, Maicas, Elihai and Liran Kosovizer, discussed the best practices, and concerns, in adopting new technologies.
Looking forward to the next meetup!
On adopting new “scary” technologies – 3 models for introducing Formal Verification in your company
Veriest instrumental in verification of Innoviz automotive LIDAR device