Designers will have to update development processes to achieve the rigorous safety certifications required in automotive, rail, avionics and similar markets
The ISO 26262 safety standard lays out a number of best practices for the automotive industry and for suppliers. Formal verification provides a way of streamlining the verification of SoCs that need to conform to the standard.