Foretellix is developing a comprehensive verification framework for Intelligent Autonomous Systems (IAS), with an emphasis on Autonomous Vehicles (AVs).
The framework is based on approaches used in VLSI chip design, adapted and enhanced to meet the needs of IAS verification.
The foundation of this system is SDL – a multi-execution-platform Scenario Description Language. Foretellix’s vision is to make SDL an open, non proprietary language.
SDL is a component of a System Verification Framework (SVF). A unique framework which implements coverage driven validation, based on constrained-random stimuli generation.
SVF offers a flexible, cost efficient and comprehensive framework, covering the full development process of autonomous vehicles and IAS.
Foretellix is founded by a team of experienced verification experts and thought leaders from the VLSI and SOC world.
© Foretellix Ltd. (2017)