This thread has been locked.
If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.
Hello.
I am developing a system that meets SIL2 by applying QKIT. And I am planning on performing the coverage check.
So, I plan to utilize the compiler option of the 'diagmostic' example.
compiler options are below.
"-v28 -ml -mt --cla_support=cla2 --float_support=fpu64 --idiv_support=idiv0 --tmu_support=tmu0 --vcu_support=vcrc -Ooff --abi=eabi"
I'm comparing the use case(compiler option) of the 'Validation Results.pdf' report include in Compiler Qualification Kit.
There is no perfect match, and thhe most similar case is below.
It isn't include some option.(eg. cla_support=cla2, idiv_support=idiv0, tmu_support=tmu0 )
There is no correct Optimization level setting in the case of these options.
'Optimization level' is most impact code generation.
So, I have some questions.
1. Shouldn't there be a case where all copiler options are included? or not?
1.1. If not, Can I verify the compiler by checking some cases?
2. 'cla_support=cla2' and 'tmu_support=tmu0' option dosen't have 'opt_level=off'. Is it indefendent?
3. The compiler option of the 'diagmostic' example is satisfied validation test?
Thanks.
Hello,
Our use cases are intended to exercise variations of the highest impact compiler options, however, all compiler options are tested with individual unit tests.
Validation resources are limited and it's not possible to run every combination of compiler options. This is why we provide the coverage check feature. To ensure that your use of the TI compiler does not exercise portions of the compiler that were not validated during release validations.
Thanks
Greg
Thank you for your reply.
If all options are tested with individual unit tests, 'opt_level' and 'cls_support/tmu_support' option can be considered independent?
And, If I use the coverage check feature, how can I use that feature?
Thanks, your kindness
Yes cla/tmu support are independent.
For the QKIT coverage check see the included user docs as well as below link to coverage testing instructions:
https://www.ti.com/tool/download/C2000_CLA_SAFETI_CQKIT_RV
Or direct link:
https://software-dl.ti.com/codegen/esd/cgt_public_sw/QKIT/C2000_CLA_SAFETI_CQKIT_RV/exports/coverage_testing_instructions.pdf
Thanks
Greg