Synopsys says Mobileye has selected its Z01X functional safety verification solution to meet ISO 26262 automotive safety compliance for the next generation of Advanced Driver Assistance System (ADAS) SoCs (System on a Chip Systems).