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 (www.prover ...
Business Wire

MathWorks Announces Release of Simulink Design Verifier 2.0

NATICK, Mass.--(BUSINESS WIRE)--MathWorks today announced that Simulink Design Verifier now includes Polyspace analysis technology for automated error detection in ...
Electronic Design

MathWorks announces release 2015b of MATLAB and Simulink

Natick, MA. MathWorks has introduced Release 2015b (R2015b) with a range of new capabilities in MATLAB and Simulink. In addition to new features in MATLAB and Simulink, R2015b includes updates and bug ...
EDN

Early Verification and Validation in Model-Based Design

This paper discusses some best practices for repeatable and exhaustive verification in the Simulink environment. It describes how early verification and validation (V&V) in Model-Based Design can ...
Business Wire

MathWorks Speeds Up FPGA-in-the-Loop Verification

NATICK, Mass.--(BUSINESS WIRE)--MathWorks today announced new capabilities in HDL Verifier to speed up FPGA-in-the-loop (FIL) verification. The new FIL capabilities enable faster communication with ...
WBJournal

MathWorks unveils new Verifier

Natick-based MathWorks has introduced its Simulink Design Verifier, which the company said will allow developers of embedded systems to automatically obtain test cases to satisfy industry-standard ...