On Standards and Open-Sourcing. Verification Talks

On Standards and Open-Sourcing. Verification Talks
by Moshe Zalcberg on 07-05-2021 at 6:00 am

Meetup panel min 1

At Veriest we host VERIFICATION MEETUPS periodically to share verification wisdom. In our virtual meetings we’ve had hundreds of attendants from the US, Europe, Israel, India, and China. Most recently we were able to host a live event in Israel – I want to share feedback from that meeting.

We started with two presentations:… Read More


Veriest Meetup Provides Insights on Safety, Deadlocks

Veriest Meetup Provides Insights on Safety, Deadlocks
by Bernard Murphy on 10-01-2020 at 6:00 am

Veriest Logo min

I wasn’t familiar with Veriest, I’m guessing you may not be either. They are a design and verification services company based in the Tel Aviv area (Israel). The CEO, Moshe Zalcberg, was earlier GM for Cadence in Israel. Echoes for me of the early days working with Ajoy Bose in Interra. Veriest have a big emphasis in verification, for… Read More


UBER car accident: Verifying more of the same versus the long-tail cases

UBER car accident: Verifying more of the same versus the long-tail cases
by Moshe Zalcberg on 05-21-2018 at 12:00 pm

The recent fatal accident involving an UBER autonomous car, was reportedly not caused – as initially assumed – by a failure of the many sensors on the car to recognize the cyclist. It was instead caused by a failure of the software to take the right decision in regard to that “object”. The system apparently… Read More