Ziv Binyamini

CEO & Co-Founder Foretellix

Last Reviewed: September 19, 2026

Executive Summary

Ziv Binyamini co-founded Foretellix to move a solved problem from one industry into an unsolved one in another. He spent roughly a decade at Intel building verification methods for chip testing and then worked at Verisity, the company that did more than any other to establish how semiconductors are verified before they are manufactured. Chip verification exists because a modern processor has more possible states than could ever be exercised by trying them; the discipline’s answer was to describe the space of behaviours formally, generate enormous numbers of scenarios from that description, and measure coverage of what has actually been exercised. Binyamini’s insight was that autonomous driving has exactly the same shape of problem and none of the same tooling. The failures that matter are the rare ones, encountered once in millions of miles, and as he puts it, nobody can drive ten million miles in a day or a week. Foretellix sells the machinery for doing it in simulation instead: the Foretify toolchain and the OpenSCENARIO DSL scenario description language, used by NVIDIA, Torc Robotics, Woven Planet and Mazda.

Career Highlights

• Co-founded Foretellix with Yoav Hollander, the company’s founder and CTO, and leads it as chief executive.
• Spent roughly a decade at Intel developing verification methods for chip testing, then moved to Verisity, a pioneer of semiconductor verification methodology and now part of Cadence Design Systems.
• Translated coverage-driven verification from silicon into autonomous vehicle safety, on the argument that the long tail of rare edge cases cannot be reached by physical road testing at any feasible scale.
• Built the Foretify Physical AI Toolchain, including Foretify Evaluate for validation and performance measurement and Foretify Generate for synthetic data, alongside data curation and AI training workflows.
• Developed OpenSCENARIO DSL, a scenario description language that lets a single abstract scenario be expanded automatically into millions of concrete variations.
• Won public endorsement from NVIDIA, Torc Robotics, Woven Planet and Mazda, and built technology partnerships with dSPACE, IPG Automotive, AImotive, AVsim and RF Pro.
• Announced an integration with NVIDIA Alpamayo in May 2026 and partnerships with Voxel51 for 3D reconstruction and Inverted AI for scenario testing.
• Set the company’s commercial focus on advanced driver assistance systems and autonomy in controlled environments such as mining operations, where deployment is already happening at scale, rather than on robotaxis.

Professional Journey

Binyamini’s career began in semiconductors, and the whole of Foretellix follows from what that work taught him. At Intel he spent about a decade developing verification methods for chip testing - the discipline of establishing, before a design is committed to silicon, that it behaves correctly across a space of conditions too large to enumerate. He then joined Verisity, which had industrialised that discipline and become the reference point for how verification is done; the company was later acquired and is now part of Cadence Design Systems.

The move into autonomy came from recognising the same structural problem in a different industry. An autonomous driving stack faces an effectively infinite set of situations, and the ones that cause harm are precisely those that are rare: the pedestrian who steps out from behind a stopped bus, the merge into low sun with a cyclist in the blind spot. Binyamini’s formulation of this is that the industry faces a long tail of bugs that surface once in millions of miles, and that physical testing cannot reach them, because no fleet can drive ten million miles in a day or a week. What chip verification offers is a method for taming infinity - describe the space, generate from the description, and measure what has been covered - and that method had no equivalent in automotive.

Foretellix was founded to supply it, with Yoav Hollander as founder and CTO and Binyamini as CEO. The company’s central artefact is the scenario description language, now OpenSCENARIO DSL, which lets an engineer specify an abstract situation once and have the tooling expand it automatically into millions of concrete instances, varying speeds, positions, weather and behaviour. Around it sits the Foretify toolchain, which has broadened well past pure testing into data curation, AI training and synthetic data generation, reflecting the shift in the industry from hand-written driving policies to learned ones. The company claims roughly a halving of training and validation time and an order-of-magnitude gain in identifying corner-case coverage.

The commercial strategy has been deliberately unglamorous, and Binyamini has been candid about why. Rather than chase robotaxi developers, the company concentrates on customers shipping advanced driver assistance systems and on autonomy in controlled environments such as mining, where vehicles already operate commercially and the safety case must be made now. That has put Foretellix alongside the major suppliers and platform vendors rather than in competition with them, with NVIDIA, Torc Robotics, Woven Planet and Mazda appearing as public references and integrations built with dSPACE, IPG Automotive, AImotive, AVsim and RF Pro. Most recently the company announced an integration with NVIDIA Alpamayo in May 2026 and partnerships with Voxel51 and Inverted AI. Binyamini’s own view of the company’s position is that verification is probably the single most critical ingredient in making autonomous systems safe and efficient - infrastructure the industry has to have regardless of which stack wins.

Education

No educational background could be established for Ziv Binyamini. No university, degree or field of study appears in any source consulted in this pass.