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!
Veriest contributes to the verification of Nuvoton’s Computing MCU devices
Veriest instrumental in verification of Innoviz automotive LIDAR device