旗下矩阵
Foretellix正在开发智能自动系统(IAS)的全面验证框架,重点是自动驾驶汽车(AV)。该框架基于VLSI芯片设计中使用的方法,经过改造和增强以满足IAS验证的需要。
数据来源: 公开资料整理