Didi Behrend

Didi Behrend has extensive work experience in the field of formal verification engineering.

Didi began their career at Israel Defense Forces, serving as a Reconnaissance battalion in the Nachal Brigade (gadsar nachal) from 2009 to 2012. During this time, they demonstrated strong multitasking skills, the ability to work under pressure, and effective prioritization of tasks, including controlling military computers and archives.

In 2014, Didi joined Mellanox Technologies as a Chip Design Student. Didi gained hands-on experience in chip design and contributed to projects until 2017.

From 2017 to 2019, Didi worked at Cavium Inc as a Formal Verification Engineer. Didi played a crucial role in establishing the Formal Verification team, developing methodologies and processes, and building verification plans. Additionally, they wrote scripts to support the Formal Verification efforts and collaborated with Cadence engineers on the deployment of Formal Verification tools.

In 2019, Didi joined Valens as a Formal Verification Engineer. Didi built the company's Formal Verification process from scratch and led the entire FV process. Didi also mentored another verification engineer and created internal protocol FV IPs until 2020.

Currently, Didi is working at Xsight Labs LTD since 2020 as a Sr. Formal Verification Engineer. Didi'sresponsibilities include leading the formal verification of the DPU project, architecting and implementing reusable formal verification components, and collaborating with design and verification teams to ensure timely delivery of quality designs.

Didi Behrend attended Ben-Gurion University of the Negev from 2013 to 2017, where they obtained a Bachelor of Science (B.Sc.) degree in Electrical and Computer Engineering.