LDRA has extended support for the RISC-V instruction set architecture (ISA) in its high assurance quality analysis and verification tool suite.
The LDRA static analysis tools support emerging RISC-V implementations such as Synopsys ARC-V processor IP for functional safety and security applications.