Sivaramakrishna Shriraam Sundaram

自 2019 起处于活动状态

Followers: 0 Following: 0

统计学

Feeds

提问

Polyspace limitation:fixed point type is not supported from the file tricore.h, which exists in MATLAB/polyspace/verifier/extensions/..
I want to do a static analysis and MISRA compliance check on my code. I have polyspace 2018B. When I set my project up and start...

5 years 前 | 1 个回答 | 0

1

个回答