Hello
I understand that you want to configure Polyspace Code Prover for FR81 MB91520 CPU. You did not say which compiler you are using. I assume you are using Softune to compile code for the microcontroller, since thats the recommended compiler for Fujitso FR81.
When configuring Code Prover, the best bet is to use polyspace-configure with the build command for your compiler. Doing so allows polyspace to configure itself according to your specific environment. For instance, if your build command is:
%fcc907s file1.c file2.c file3.c -cpu MB90F553A,
then, at the command line, try:
%polyspace-configure fcc907s file1.c file2.c file3.c -cpu MB90F553A
This should create a project with the target and compiler options set. For more information, see polyspace-configure.
In case the above fails, you have the option to configure a generic target that suits your need specifically. If you know the details of the Fujitsu microcontroller, then you might want to mimic it as a generic target. See -target. For FR81, a word in 32 bit and a half word in 16 bit. That is, the size of int, float and larger types is 32 bit. Note that this processor is signed.
You can also specify generic compiler. See -compiler. Note that your compiler might have nonstandard preprocessor directives. You can provide them by using the -D option.
For the general target and compiler workflow, see https://www.mathworks.com/help/bugfinder/ug/specify-target-environment-and-compiler-behavior.html.
