Embedded

LDRA extends integration with MATLAB and Simulink

The LDRA tool suite can now use real-world data from MATLAB that’s connected to a Simulink model to fully verify the application at a source and object code level. Developers can fine-tune the model ...
Electronic Design

FPGA Design Flow Takes Simulink Code Into Synthesis

Thanks to collaboration between The MathWorks and Mentor Graphics, MathWorks’ Simulink HDL Coder users gain a smooth path into synthesis. Mentor’s Precision Synthesis tool now supports HDL generated ...
Embedded

ESC – LDRA and MathWorks integrate LDRA tool suite with Simulink

LDRA and MathWorks have integrated the LDRA tool suite with Simulink modelling tools. The integration offers independent verification and full traceability of all artifacts – whether requirements, ...
New Electronics

QGen, a customizable code generator and model verifier for Simulink and Stateflow models

AdaCore announces the release of QGen 2.1.0, a qualifiable and customizable code generator and model verifier for Simulink and Stateflow models. This tool can generate MISRA C and SPARK/Ada source ...