I am able to use the ADD_BLOCK function to add an Assertion block to my Simulink model as shown here:
add_block('built-in/Assertion', 'mymodel/Assert1')
However, I am unable to add other blocks from the Model Verification library in Simulink using the ADD_BLOCK function in this fashion. For instance, I cannot determine how to add to my model the Check Dynamic Upper Bound block, a masked subsystem whose 'BlockType' parameter specifies "SubSystem".
Best Answer