Enabling ISO/SAE 21434 and ISO 26262 compliance up to the ASIL D integrity level, the core incorporates optional safety mechanisms and advanced security features, providing system engineers with greater flexibility while being fully verified and offering core IP support.
The Codasip L730 is available in a range of pre-verified, baseline configurations that can be further configured and customised through risk-free custom instruction extensions. This has been made possible by a new level of customisation in Codasip Studio Fusion: Bounded Customisation.
As a result, the core can be extended with new instructions without risk because the functionality of the baseline core is guaranteed in all cases via defined bounds and formal methods. Codasip Studio Fusion generates a verification framework that substantially simplifies the verification of the custom instructions.
The core supports the RISC-V Scalar Crypto Extension and will offer the advanced memory safety technology CHERI for state-of-the-art security.
"The automotive industry is increasingly looking to RISC-V to solve its needs for innovation while elevating technical and commercial control through ownership,” said Jamie Broome, chief product officer at Codasip. “Trust is the key challenge we face in this sector, and it is therefore crucial to work with a vendor that understands this. Our Custom Compute approach recognises the importance of combining leading design methodology with best-practice safety mechanisms, advanced security features, and verified core quality."
Custom Compute is enabled by Codasip Studio Fusion: a set of tools for optimising processors for specific software applications.
Depending on their specific needs and the results of software application profiling performed in Codasip Studio Fusion, customers can either configure the core from a defined set of pre-verified options, create custom instructions within set bounds, or design freely.
Codasip Studio Fusion can automatically generate an SDK (Software Development Toolkit) including a compiler, simulation models, debugger, and profiler, and an HDK (Hardware Development Kit) including RTL (Register Transfer Level), a verification framework, and more.
The L730 is part of the highly flexible 700 processor family which includes embedded and application cores to cover a broad range of use cases.