Version 3.4, part of Release 2017b, includes the following enhancements:

  • Model Slicer: Investigate and refine active slice-time windows with the Model Slicer Data Inspector
  • Multiword Support: Analyze models containing multiword fixed-point data types up to 128 bits

See the Release Notes for details.

Version 3.3, part of Release 2017a, includes the following enhancements:

  • Activity-Based Time Slicing: Visualize the effect of state activity timing on Model Slicer highlighting for simulations
  • Bus Element Port Support: Detect design errors, generate tests, and prove properties for models containing Bus Element ports
  • Incremental Test Generation: Generate additional tests from within the Test Manager to increase coverage
  • Improved Analysis Startup Time: Continue analysis after compatibility check

See the Release Notes for details.

Version 3.2, part of Release 2016b, includes the following enhancements:

  • Model Slicer for Stateflow: Highlight active states and transitions for specified simulation time window
  • Model Slicer: Highlight unexpected behavior in test harnesses created by Simulink Test
  • MCDC Test Generation: Generate tests from MCDC coverage for cascaded Simulink logic block networks​​
  • Incremental Test Generation: Generate tests to increase coverage for model objects in a test harness
  • Dead Logic Detection: Precisely detect dead logic without rational approximations​​

See the Release Notes for details.

Version 3.1, part of Release 2016a, includes the following enhancements:

  • Test Generation: Automatically generate tests for C/C++ S-Functions
  • Variant Reducer: Create sliced models based on active variant configurations
  • Overflow Detection: Automatically find overflow errors for fixed-point types with nonstandard word length
  • Simulink Functions: Perform verification of models that contain Simulink Functions
  • Report Generation: Generate analysis reports in PDF format

See the Release Notes for details.

Version 2.8.1 , part of Release 2015aSP1, includes bug fixes.

See the Release Notes for details.

Version 3.0, part of Release 2015b, includes the following enhancements:

  • Analysis of C S-functions
  • Model Slicer API
  • Analyze minimum and maximum ranges specified for bus elements
  • Model Advisor checks for design error detection
  • Test Generation Advisor improvements
  • Generate test inputs and export them to test cases in Simulink Test

See the Release Notes for details.