Foretellix has developed a coverage-driven verification and validation (V&V) platform for autonomous vehicles that systematically generates billions of driving scenarios — edge cases, adversarial conditions, and complex multi-agent situations — to prove AV safety before road deployment. The technology was directly adapted from Israel's semiconductor verification expertise: the same mathematical coverage methodologies used to verify chip designs with billions of transistors are applied to the combinatorial explosion of driving scenarios an AV must handle safely.
The AV verification challenge is arguably harder than chip verification: driving scenarios involve continuous physical dynamics, unpredictable human behavior, weather variations, and sensor degradation — dimensions that traditional software testing cannot exhaustively cover. Foretellix's approach uses measurable coverage metrics (borrowed from hardware verification) to quantify what percentage of the scenario space has been tested, giving regulators and OEMs confidence in safety claims.
Strategically, AV verification is a critical bottleneck for the entire autonomous vehicle industry: without a scalable way to prove safety, regulators cannot approve deployment, and the industry stalls. Israel's unique strength here stems from its semiconductor verification heritage — companies like Cadence and Synopsys have major design centers in Israel, and the country produces more hardware verification engineers per capita than anywhere else. Foretellix translates this expertise into a potentially industry-standard platform for AV safety certification.