Community Profile

photo

Praveen Nerji


Hyundai

Last seen: oltre 2 anni fa |  Attivo dal 2015

Followers: 0   Following: 0

Contatto

Automotive Electronics Engineer

Statistiche

Feeds

Visto da

Domanda


What are the configuration settings/criteria for Polyspace Keil compiled code?
I couldn't compile code in Polyspace

oltre 8 anni fa | 0 risposte | 0

0

risposte

Domanda


In Polyspace Code, while configuring DRS, even if a user defined function's argument is initialized with "Init Range", it is not affective in verification
if true Func1(arg1, arg2, arg3) { .... .... local variable = arg1 + arg2; if (arg3>=200) { /*do so...

oltre 8 anni fa | 1 risposta | 0

1

risposta