Main Content

Verification of Code Generation Assumptions

The settings on the More Settings > Hardware tab specify target behavior, which result in the implementation of implicit assumptions in the generated code. Incorrect settings can lead to:

  • Suboptimal code

  • Code execution failure, incorrect code output, and nondeterministic code behavior

At the start of a processor-in-the-loop (PIL) execution, the software verifies the Hardware tab settings with reference to the target hardware. The software checks:

  • The correctness of settings. For example, the integer bit length in the Sizes > int field.

  • Whether the settings are optimized. For example, the rounding of signed integer division in the Signed integer division rounds to field.

If required, the software generates warnings and errors.

Related Topics