Processor

Select the processor for the current build configuration

Description

The option with this name is available only in the Polyspace Platform (Polyspace Test) user interface. For the equivalent option in the standard Polyspace® user interface, see Target processor type (-target).

Specify your processor. This option is relevant for both static analysis and dynamic testing. To specify a processor, select a manufacturer and a processor in the Manage processors window.

The static analysis option -target supports various processors for static analysis only. These processors are not listed in the Processor drop-down list. To use one of the static-only target processors, create a custom target processor. See Custom Processor Details.

Set Option

Set the option using one of these methods:

  • Polyspace Platform user interface (desktop products only) — In your project configuration, on the Build tab, select Target & Compiler and then select or add a processor using this option.

  • Command line and options file — Use the options -custom-target or -target.

Why Use This Option

Use this option to specify the processor for your current build configuration.

  • When performing dynamic testing, Polyspace Test™ instruments your source code differently depending on the processor.

  • When running static analysis, the Polyspace Platform user interface specifies the sizes of the data types to Polyspace Bug Finder™ or Polyspace Code Prover™ according to the processor you specify.

Settings

To select a processor:

  1. Click toothed gear button near the option to open the Manage processors window.

  2. Click Add a processor. Select a manufacturer and a processor name and then add the selected processor.

  3. Alternatively, you can add a custom processor using the Custom manufacturer. See Processor Details (Polyspace Test).

  4. Click OK to exit from the window.

To review the properties of the selected processor, click the edit button to open the Edit Processor window. Depending on the processor you selected, you can change some of the processor properties.

Default: Host Computer

Host Computer

The dynamic testing uses your host computer as the processor.

AMD

Polyspace supports these AMD processors:

  • Athlon 64

  • K5/K6/Athlon

  • x86-32 (Windows32)

  • x86-64 (Linux 64)

  • x86-64 (Mac OS X)

  • x86-64 (Windows 64)

ARM compatible

Polyspace supports these ARM processors:

  • ARM 7-11

  • ARM Cortex A

  • ARM Cortex M

  • ARM Cortex R

  • ARM 64-bit (LLP64)

  • ARM 64-bit (LP64)

Altera

Polyspace supports the SoC (ARM Cortex A) processor from Altera.

Analog Devices

Polyspace supports these Analog Devices processors:

  • ADSP-CM40x(ARM Cortex-M)

  • Blackfin

  • SHARC

  • TigerSHARC

Apple

Polyspace supports the ARM64 processor from Apple.

Atmel

Polyspace supports these Atmel processors:

  • AVR

  • AVR (32-bit)

  • AVR (8-bit)

Freescale

Polyspace supports these Analog Devices processors:

  • 32-bit PowerPC

  • 68332

  • 68HC08

  • 68HC11

  • ColdFire

  • DSP563xx (16-bit mode)

  • DSP5685x

  • HC(S)12

  • MPC52xx

  • MPC5500

  • MPC55xx

  • MPC5xx

  • MPC7xx

  • MPC82xx

  • MPC83xx

  • MPC85xx

  • MPC86xx

  • MPC8xx

  • S08

  • S12x

  • StarCore

Infineon

Polyspace supports these Infineon processors:

  • C16x, XC16x

  • PPU

  • TriCore

Intel

Polyspace supports these Intel processors:

  • x86-32 (Windows32)

  • x86-64 (Linux 64)

  • x86-64 (Mac OS X)

  • x86-64 (Windows64)

Microchip

Polyspace supports these Microchip processors:

  • PIC18

  • dsPIC

NXP

Polyspace supports these Analog Devices processors:

  • Cortex-M0/M0+

  • Cortex-M3

  • Cortex-M4

RISC-V

Polyspace supports these RISC-V processors:

  • RV32I

  • RV64I

Renesas

Polyspace supports these Renesas processors:

  • M16C

  • M32C

  • R8C/Tiny

  • RH850

  • RL78

  • RX

  • RZ

  • SH-2/3/4

  • V850

STMicroelectronics

Polyspace supports the ST10/Super10 processor from STMicroelectronics processors

Texas Instrument

Polyspace supports these Texas Instrument processors:

  • C2000

  • C5000

  • C6000

  • MSP430

  • Stellaris Cortex-M3

  • TMS470

  • TMS570 Cortex-R4

Custom

You can define a custom processor using this option. See Processor Details (Polyspace Test).

Dependencies

If your target board registration file defines the processor of your target, then Polyspace Test greys out the option Processor (Polyspace Test).

See Also

Topics