Tool operational requirements are not shipped as part of the IEC Certification Kit. As opposed to DO-330 tool qualification, validation of tools per ISO 26262 does not require detailed operational requirements. TÜV considers it sufficient to provide high-level tool use cases, specified in the Tool Qualification Package document (e.g. "qualkitdo_slchk_tqp.pdf" for Simulink Check), rather than detailed tool operational requirements.
In R2019a, you can find these and other related documents in the "toolbox/qualkits/iec" directory in the folder where MATLAB is installed. Files are further organized by tool name, so for instance, documents that specifically apply to Simulink Check would be found under "toolbox/qualkits/iec/slchk".
Best Answer