Electronic Design

MathWorks’ Simulink design verifier proves properties for model-based designs

The MathWorks has introduced Simulink design verifier for generating tests and providing design properties for Simulink and Stateflow models using the Prover plug-in from Prover Technology. Paul ...
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 ...
Machine Design

PLC code-generating software

Simulink PLC Coder generates IEC 61131 structured text for models Simulink PLC Coder generates IEC 61131 structured text for models that an IDE can deploy to industrial control systems. Enables ...