A.1. Boundary features and architectural checkers

Boundary features and architectural checkers are model capabilities that help your development and testing process by exposing latent problems in the target code. Certain boundary features or architectural checkers, however, might have an adverse effect on the overall running speed of target code. There are two reasons that this occurs:

As a result, you can optionally enable or disable checkers in cases where there is an impact on performance. In the sections that follow, the effect of both the above factors on the total execution time of a typical target operating system boot is indicated as a relative rating on a scale from 1 to 5, where a larger number indicates a greater impact on speed.

Copyright © 2008-2013 ARM. All rights reserved.ARM DUI 0423O
Non-ConfidentialID060613