LDRA Launches Multicore and Worst-Case Execution Time (WCET) Support for RISC-V-based Processors

The LDRA tool suite automatically analyzes shared memory, cache resource access, coherency issues, and measures worst case execution time to guarantee deterministic execution time for RISC-V processors

WIRRAL, England--(BUSINESS WIRE)--LDRA today announced that the LDRA tool suite now supports the hardware-based, multicore mitigation capabilities of RISC-V processors such as Microchip, Synopsys and ANDES Technology. Developers can now access and optimize performance across RISC-V-based multicore systems, including analyzing the impact of shared resources and data coherency on worst-case execution time (WCET).

With these tools, OEMs can automate WCET analysis and make it part of a continuous development cycle. This WCET inclusion streamlines design, increases reliability and accelerates time-to-market and guarantees deterministic execution in software-intensive applications that require a high level of safety and security, including avionics, automotive, aerospace, defense, industrial, energy and medical.

“LDRA is committed to providing the tools manufacturers need to ensure safe, secure operation of mission-critical systems,” said Ian Hennell, Operations Director, LDRA. “We have been working with industry-leading hardware manufacturers to reduce the complexity of analyzing execution time for multicore architectures. Companies leveraging the RISC-V instruction set architecture have delivered innovative multicore mitigation capabilities, and LDRA provides the development tools to verify and guarantee that their performance meets the strict constraints required by today’s high performance real-time systems.”

Mitigating Multicore Contention in Mission-Critical Applications
Multicore processors accelerate performance by executing system code on different cores. In many multicore architectures such as traditional x86 and Cortex-A, cores share resources like cache and memory. To maintain data coherency, mediation between cores for shared resources is required. This means a core using a shared resource can unintentionally “lock out” other cores needing access to the same resource, resulting in an uncertain additional latency.

Mission-critical systems need to be able to guarantee the reliable and deterministic execution of critical tasks. To ensure this, developers must accurately assess the worst-case execution time for a system. New RISC-V-based processors introduce capabilities in hardware to help mitigate multicore shared access and data coherency issues. For example, Microchip RISC-V processors allow developers to allocate low latency memory to each core with zero shared cache contention.

The LDRA tool suite now supports multicore RISC-V architectures that address multicore contention in hardware. This support gives developers access to the full suite of LDRA tools, including static and structural coverage analysis, MISRA compliance and extensive reporting capabilities, all while taking full advantage of RISC-V-based multicore mitigation capabilities.

“Assessing shared resource access uncertainties can be complex, and many companies have had to rely on expensive consulting services to measure uncertainty in their systems to verify worst case execution time,” Hennell added. “Now developers can use the LDRA tool suite to automatically measure and analyze execution of RISC-V-based architectures to accurately and reliably guarantee execution time for mission-critical systems. In addition, automating analysis allows developers to quickly and inexpensively reassess systems after every code modification.”

Guaranteeing deterministic system performance is a continuous process: every code modification to core systems potentially requires a new WCET analysis to verify that changes have not introduced access issues that adversely increase execution time. LDRA brings its 50 years of static code analysis and software testing expertise to automate WCET analysis accurately and reliably. In this way, developers can verify mission-critical deadlines are met in a deterministic fashion without having to rely upon error-prone manual assessment processes or expensive and time-consuming consulting services.

About LDRA
For 50 years, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security- and business-critical markets. Working with clients to achieve early error identification and elimination and full compliance with industry standards, LDRA traces requirements through static and dynamic analysis to unit testing and verification for a wide variety of hardware and software platforms. The company was acquired by TASKING in 2025. For more information on the LDRA tool suite, please visit www.ldra.com.

Readers may direct questions to:

Mark James
Email: [e-mail]