YH
Yoav Hollander
CTO
About
About me: I was always fascinated by verification (defined here as “the process of finding bugs before they annoy a customer / destroy a project / kill somebody”). I created the e verification language, and founded Verisity to commercialize the related tools and methodologies for HW verification. After Verisity was acquired by Cadence, I stayed on and helped start various projects related to system verification. I hold 9 verification-related patents. I founded Foretellix to create tools and methodologies for the verification of intelligent autonomous systems (with a focus on autonomous vehicles). I write a blog about complex-system verification which you may enjoy, see blog.foretellix.com.
Comments
No comments yet. Be the first to share your take.
Frequently asked
Who is Yoav Hollander?
About me: I was always fascinated by verification (defined here as “the process of finding bugs before they annoy a customer / destroy a project / kill somebody”). I created the e verification language, and founded Verisity to commercialize the related tools and methodologies for HW verification. After Verisity was acquired by Cadence, I stayed on and helped start various projects related to syste…
What is Yoav Hollander's current role?
Yoav Hollander is currently CTO.
Profile
About Yoav Hollander
Yoav Hollander is CTO. Yoav is a founder of Foretellix. This profile tracks their companies, funding activity, and news mentions across the AI ecosystem.