industry news
Subscribe Now

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, UK – March 12, 2025 – 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.

Leave a Reply

featured blogs
May 2, 2025
I can safely say that I've never seen a wheeled-legged robot that can handle rugged terrains, muddy wetlands, and debris-strewn ruins like this...

featured paper

How Google and Intel use Calibre DesignEnhancer to reduce IR drop and improve reliability

Sponsored by Siemens Digital Industries Software

Through real-world examples from Intel and Google, we highlight how Calibre’s DesignEnhancer maximizes layout modifications while ensuring DRC compliance.

Click here for more information

featured chalk talk

High Power Charging Inlets
All major truck and bus OEMs will be launching electric vehicle platforms within the next few years and in order to keep pace with on-highway and off-highway EV innovation, our charging inlets must also provide the voltage, current and charging requirements needed for these vehicles. In this episode of Chalk Talk, Amelia Dalton and Drew Reetz from TE Connectivity investigate charging inlet design considerations for the next generation of industrial and commercial transportation, the differences between AC only charging and fast charge and high power charging inlets, and the benefits that TE Connectivity’s ICT high power charging inlets bring to these kinds of designs.
Aug 30, 2024
36,195 views