Foretellix's primary product is a coverage-driven verification platform for AV and ADAS environments. The approach borrows methodology from hardware verification (analogous to UVM/SystemVerilog in chip design) and applies it to autonomous driving system validation. The typical buyers are automotive OEMs and automotive technology companies responsible for developing ADAS and AV stacks.
Detailed public information on funding, valuation, headcount, and specific customers is not reliably available to me.