Foretellix

Gil Amid spent roughly 30 years at Intel, rising to vice president and leading the development of EDA and CAD tools across all design domains as well as leading VLSI design projects — a career immersed in the tooling that makes complex chip design verifiable. In 2018 he co-founded Foretellix with fellow verification veterans Ziv Binyamini and Yoav Hollander, betting that the coverage-driven verification methodology proven in semiconductors could answer the hardest question in autonomous driving: how do you prove the system is safe? At Foretellix, Amid has served as VP of Operations and as Chief Regulatory Affairs Officer, the role where the company's verification technology meets the emerging global regulatory regime for automated driving. He has been active in industry standardization efforts around scenario description and safety assurance, helping position Foretellix's measurable, coverage-based approach as a foundation for how regulators and developers demonstrate AV safety.

Yoav Hollander is one of the fathers of modern hardware verification. He invented the "e" verification language and the coverage-driven verification methodology around it, and founded Verisity to commercialize them — the company's Specman tool became an industry standard for verifying complex chips, and Verisity was ultimately acquired by Cadence in 2005. His core insight, that you cannot trust a complex system until you have systematically measured how much of its behavior space you have tested, reshaped how the semiconductor industry signs off on designs. After years writing and thinking about verification of autonomous systems, Hollander concluded the same discipline was missing from self-driving development, where testing was dominated by brute-force mileage rather than measurable scenario coverage. In 2018 he co-founded Foretellix with Ziv Binyamini and Gil Amid, serving as CTO and driving the technical vision behind the Foretify platform and the M-SDL scenario language that fed into the ASAM OpenSCENARIO standard — bringing coverage-driven verification to the safety case for automated driving.