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

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