[参考译文] 功能安全工具认证(编译器，IDE)- TMS320F28388D

https://e2e.ti.com/support/microcontrollers/c2000-microcontrollers-group/c2000/f/c2000-microcontrollers-forum/1072863/functional-safety-tool-qualification-compiler-ide---tms320f28388d

你好。

我正在通过应用 QKIT 开发符合 SIL2的系统。 我正在计划执行覆盖范围检查。

因此，我计划利用“多层”示例的编译器选项。

编译器选项如下。

"-v28 -ml -mt --CLA_support=cl2 --float_support=fpu64 --idiv_support=idiv0 --TMM_support=tmu0 --VCG_support=vcrc -off  --abi=eabi"

我正在比较“编译器限制条件套件”中包含的“验证结果.pdf”报告的用例(编译器选项)。

没有完美的匹配，最类似的情况如下。

它不包括某些选项。(例如 CLA_support=cl2， idiv_support=idiv0，TMU_support=tmu0)

对于这些选项，没有正确的优化级别设置。

“优化级别”是影响最大的代码生成。  

所以，我有一些问题。

1.不应该有一个包含所有复印机选项的情况？ 还是不呢？

 1.1.如果没有，我可以通过检查某些情况来验证编译器吗？

2.'CLA_support=cla2'和'TMO_support=tmu0'选项剂量没有'opt_level=off'。 这是不是不是吗？

3.“磁性”示例的编译器选项是否符合验证测试要求？

谢谢。