Statistics
RANK
580
of 279,878
REPUTATION
115
CONTRIBUTIONS
19 Questions
58 Answers
ANSWER ACCEPTANCE
100.0%
VOTES RECEIVED
21
RANK
6,752 of 18,773
REPUTATION
143
AVERAGE RATING
5.00
CONTRIBUTIONS
3 Files
DOWNLOADS
19
ALL TIME DOWNLOADS
1014
RANK
of 128,709
CONTRIBUTIONS
0 Problems
0 Solutions
SCORE
0
NUMBER OF BADGES
0
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
0 Public Channels
AVERAGE RATING
CONTRIBUTIONS
0 Highlights
AVERAGE NO. OF LIKES
Content Feed
Submitted
Formal Functional Equivalence
This project provides a set of utilities for performing "formal functional equivalence," which is a static analysis-based techni...
1 month ago | 1 download |

How can I generate test coverage report of a simulink model using Matlab code
Hi @Mohamed, You can use the cvhtml function to generate a report. Here is a simple example from the documentation: modelNa...
2 months ago | 1
| accepted
How do I edit sldv_covoutput folder path?
Hi @Junhyung, You can define the full path of the Output folder in the text field itself - it will otherwise assume the root ...
3 months ago | 0
How I would determine if a string contains multiple substrings?
Here is one way to do this using arrayfun: myString = "This has some words in it."; subStrings = ["This","some"]; hasAllSub...
3 months ago | 0
| accepted
Question
How I would determine if a string contains multiple substrings?
I'd like to know if a string has multiple substrings (e.g, words) in it. For example: myString = "This has some words in it...
3 months ago | 2 answers | 0
2
answersSubmitted
Requirements-Based Testing Workflow Example
This example workflow shows you how to get started with systematic, requirements-based testing using Simulink.
4 months ago | 12 downloads |

merging testcases generated from simulink design verifier
Hi @Junhyung, I recommend trying the 'LongTestCases' Test Suite Optimization option, like so: opts = sldvoptions; opts.Auto...
6 months ago | 0
| accepted
Simulink Design verifier does not terminate.
Hi @Mirhad, My first suggestion is to consult this item in our documentation: Prove Properties in Large Models. It looks l...
7 months ago | 0
| accepted
Submitted
Requirements and Advanced Model Checks Getting Started
This example shows how to get started with MathWorks' Model Verification & Validation tools
7 months ago | 6 downloads |

How do I convert a set of Microsoft Word Documents into a single PDF?
One way to do to this is to leverage the docview function from MATLAB Report Generator and the mergePDFs function created by Ben...
8 months ago | 0
| accepted
Question
How do I convert a set of Microsoft Word Documents into a single PDF?
I have a set of Microsoft Word documents which I need to combine into a single PDF. How would I accomplish this in MATLAB?
8 months ago | 1 answer | 0
1
answerOpen coverage results explorer programmatically
Hi @Shijil, There is an undocumented means of using the cvresults function. You can pass the 'explore' option to the function...
8 months ago | 0
| accepted
Check if Coverage is ON/OFF
Hi @Shijil, You can use the get_param function to query the value of the 'CovEnable' parameter. This is a character array tha...
8 months ago | 0
| accepted
MATLAB 2022a, Automatic model Coverage with model coloring and cumulative report generation is not happening.
Hi @Shijil, Those parameters in the coverage settings UI were deprecated some time ago to bring Simulink Coverage simulation ...
8 months ago | 0
| accepted
Please I want help. This code is working and there is no error, and suddenly when the program is running, this message appears
I recommend contacting MathWorks Technical Support. This question requires more information.
10 months ago | 0
How to use Test Sequence as a function call for a test harness
Hi @ambre allard, My colleague @Rong Mi has a great suggestion: Similar as Chart, Test Sequence also supports “send” to sc...
10 months ago | 1
Using .mat file as input to the test harness.
You can use a MAT file as a test case input using Test Manager. A test harness can be used as the "System Under Test" within a t...
12 months ago | 0
Is it possible to set the animation speed of the test sequence editor via command line?
There is no specific function to change the Test Sequence animation speed, but you can use set_param with the Test Sequence bloc...
12 months ago | 1
Add Tags to Test Case Description
This can be done using a few functions: testfile = sltest.testmanager.TestFile("test_file.mldatx"); % create new test file tes...
12 months ago | 0
| accepted
Question
Add Tags to Test Case Description
I would like to use tags (e.g., "#equivalencetests") in my test case descriptions to help me find test cases more easily in the ...
12 months ago | 1 answer | 0
1
answerIs there is a way to convert Signal from Signal Builder Block to Test Sequence code?
Assuming you need to use a Signal Builder instead of a Signal Editor (Signal Editor is the recommended approach; look here for a...
12 months ago | 0
| accepted
function-Call Coverage and Function Coverage matlab simulink SIL
Just recording the answer here for posterity, as @Binh Huynh Thanh was able to find a solution. Please refer to this Answer for...
12 months ago | 0
| accepted
Is there a Matlab command to change the custom attributes for requirements like status from the default Unset, so that I don't always have to do this manually via the editor?
Hi @Katharina Fast, Thank you for your question! You can use the unlock method to start, along with setAttribute. % Load ...
1 year ago | 0
How do I open the Requirements Editor in Requirements Toolbox directly to a specific requirement?
You can use the navigate method in the RMI API to do this. Here is the syntax: rmi.navigate('linktype_rmi_slreq',Requirement...
1 year ago | 0
| accepted
Question
How do I open the Requirements Editor in Requirements Toolbox directly to a specific requirement?
I want to open the Requirements Editor directly to a specific requirement in a requirement set. Is there a command I could use ...
1 year ago | 1 answer | 0
1
answerhow can i include a header file in slcovmex
Hi, Try providing the -I<path> to each individual command, like so: slcovmex({'-c','timestwo.c', ipath},{'-c','task_demo.c'...
1 year ago | 0
| accepted
Set design verifiers parameters programmatically
Hi Aditi, You should not use set_param to define the MaxProcess Time. The model itself has no parameter for this. You should...
1 year ago | 1
How do I check to see if any file in a directory is locked?
There is a function in the MATLAB Report Generator utilities called "isFileLocked". Here is one way to use that function to che...
2 years ago | 0
| accepted
Question
How do I check to see if any file in a directory is locked?
I consume a nightly automated query which generates over 100 files and places them in a given directory. If any of the files in...
2 years ago | 1 answer | 0
1
answerError in getting objectives of a model in simulink
Great question! This is a fairly advanced workflow. I reached out to the Simulink Design Verifier Development team here at Math...
2 years ago | 0
| accepted