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 ...
Electronic Design

The MathWorks App Generates HDL Code From System Models

The Simulink HDL Coder automatically generates synthesizable hardware description language (HDL) code from models created in the company’s Simulink and Stateflow software. It produces ...
Military

AdaCore is platinum award winner in product innovation for QGen model-based software development tools

NASHUA, N.H. – Military & Aerospace Electronics and Intelligent Aerospace have recognized AdaCore in New York City as a platinum-level winner in the publications' 2020 Innovators Awards for the ...
EDN

Understanding the specific use cases for Simulink and Stateflow

In model-based design (MBD) approach, model remains the primary artifact around which revolves the entire development process. Refining the model is a continuing quest for a developer till it’s ready ...
Electronic Design

New App From The Mathworks Generates HDL Code From System Models

\[September 18, 2006\] The Simulink HDL Coder automatically generates synthesizable hardware description language (HDL) code from models created in the company’s Simulink and Stateflow software. It ...