System Verification Framework for Autonomous Vehicles

Automotive, Connected Vehicle, Tools
Computer Vision Machine Learning Natural Language Processing

Business Overview

Foretellix addresses the very large ‘GigaScale’ challenge of verifying autonomous vehicles, consisting of millions to billions of scenarios. GigaScale is achieved by combining proven automation, intelligence and reuse. Foretellix’s mission is to make Autonomous Vehicles safer. The company is founded by a team of verification experts and thought leaders from the VLSI chip design and SoC world. There is no standard approach in today’s AV industry for verification of autonomous vehicles. Car vendors and regulators alike, are trying to figure out how to qualify, certify and supervise the deployment of autonomous vehicles on the roads. Foretellix‘s approach is answering this need based on proven verification techniques. Our vision is to deliver a scenario definition language, which will set the standard for the creation and certification of safe autonomous vehicles. This will bridge the gap between the advanced AV technology already available today, and the ability to put these driverless cars safely on the road. Our product is a comprehensive system verification framework (SVF) aimed at verification of Autonomous Vehicles (AVs). This framework is based on approaches used in VLSI chip design, adapted and enhanced to meet the needs of AV verification. The foundation of the system is a Scenario Description Language (SDL). Our vision is to make SDL an open, standard language. SVF implements coverage driven validation, based on constrained-random SDL scenario generation. Those scenarios can run on multiple execution platforms ranging from simulation to street driving. SVF offers a flexible, cost efficient and comprehensive framework, addressing the full development process of autonomous vehicles. We developed an early prototype of SVF.

Operating Status
January 2018
Business model
Offering type
Funding stage
Series A
Business stage
Product Development
Total funding
$16 Million
Automotive, Connected Vehicle, Tools

Funding Rounds

Calculated as the average ratio between the current funding round amount raised and the previous funding round amount raised. Note that 'plus' rounds are summed together. i.e. Series A = Series A and Series A+.
Funding Growth Multiple

New wpDataTable

Date Announced

Funding Round

Amount Raised


Exit Events and Acquisitions

Date Announced





October 2020

AI Technology Stack

AI Description

Translating Driving data recording and extracting key scenarios.

AI employees
AI application
Vertical AI
AI types
Computer Vision, Machine Learning, Natural Language Processing, Robotics
ML types
Reinforcement Learning
AI algorithms
Adversary Networks, Clustering, Neural Networks, Rule-Based
AI tools
Nvidia GPU
C++, Python
AI hardware

In The News

The catalyst of the autonomous future: Israeli Foretellix acquires Metamoto | Geektime

October 11, 2020

Sign up for free

  • Save profiles to your list
  • View all funding rounds
  • Advanced sorting filter access
  • Search investment rounds
  • Search exit events

Sign up for Pro

  • Export lists (CSV, Excel) of startups and investors
  • View newly added AI startups
  • View investor emails
  • View investment funds and rounds sources
  • Advanced filters, sorting and search
  • Starting at just $15 per month