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