Synopsys has always prioritized high quality and this has made it easier to create a safety culture with a rigorous design and verification methodology. Synopsys also has in-house functional qualification tools, such as Certitude®, which enhances functional verification by objectively measuring the overall effectiveness of the verification environment and prevents function bugs and other RTL issues from going undetected in the design. Certitude also enables the insertion of random faults and provides the ability to activate, propagate and detect faults to significantly reduce the time to certify for ISO 26262. Moreover, Synopsys recently acquired WinterLogic, who is the technology leader in fault simulation for automotive safety and security environments.
To certify an SoC, the verification planning, methodology, and results must also be well documented in alignment with ISO 26262 standards, and delivered with other documentation such as the safety plan, safety analysis, and FMEDA reports. An SoC developer should expect the processor IP supplier to deliver the same comprehensive set of documents that are relevant to the processor. Otherwise, it could take months of effort to create the required materials for the processor portion of the design.
By using a processor that is certified ASIL D ready, you can accelerate your SoC level certification by ensuring in advance that the IP provider has met the stringent ISO 26262 standards for hardware, verification, and documentation.
ARC EM processors with Safety Enhancement Package (SEP) are certified by SGS TÜV Saar, a respected independent ISO 26262 certification body. ARC EM processors are based on the ARCv2 instruction set architecture (ISA) and targeted at automotive safety applications requiring ultra-low power consumption and area efficiency (Figure 1). Designers can configure the core to implement instances that offer the optimum combination of performance, silicon area, power consumption and code density for their specific application. For safety, ARC cores can also be configured and extended to support the safety level required by the application, allowing the developer to make the correct trade-offs on efficiency, performance, and safety for the expected life cycle of the product. The cores are supported by the MetaWare Toolkit for Safety with ASIL D ready certified compiler to streamline development of ISO 26262 compliant software.