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 ...
Business Wire

SAIC Motor Uses Simulink to Develop Embedded Control System for the Roewe 750 Hybrid Sedan

NATICK, Mass.--(BUSINESS WIRE)--MathWorks today announced that SAIC Motor Corporation developed the hybrid control unit (HCU) for the Roewe 750 hybrid sedan by using Model-Based Design with Simulink, ...
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 ...