PorT Block – Proof or Test Block for Simulink Design Verifier
Updated 9 Aug 2016
There is a requirement that the proof or test be available in the modified model that will be used for proving or testing the design. The design models are normally under configuration control and the addition of SLDV block corrupts this configuration. The process to be followed in such cases is to have a modified set of blocks with the proof or test subsystem. It would be a time saver if both Proof and Test Objective be available as single block. This is possible by using the P and O block and enabling or disabling this option from a matlab script. There is an additional requirement that the requirement numbers be mentioned in the proof or test coverage report. This as present is not possible. The PorT block enables this.
There is a function file associated with this block that is called to set the parameters. A batch file is available that can be changed to meet individual requirements. This batch file enables the proving and test case generation as the case may be automatically.
Natasha Jeppu (2023). PorT Block – Proof or Test Block for Simulink Design Verifier (https://www.mathworks.com/matlabcentral/fileexchange/58598-port-block-proof-or-test-block-for-simulink-design-verifier), MATLAB Central File Exchange. Retrieved .
MATLAB Release Compatibility
Platform CompatibilityWindows macOS Linux
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!Start Hunting!
Discover Live Editor
Create scripts with code, output, and formatted text in a single executable document.