Veriest was proud to sponsor and attend the “Formal Verification summit” in Haifa, Israel today. Some 100 people attended, from academia and companies such as Intel, Nvidia, Marvell, Microsoft, Mobileye, Xsight, and many others.
Elchanan Rappaport, our Formal Team Manager, presented an interesting paper on “Safe reductions”.
Moshe Zalcberg, Veriest’s CEO, outlined different ways that we help customers to leverage Formal Verification’s powerful impact.
Thank you Gilboa Alin and the “FV in Israel” committee for a great day!