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:
some checkers require the host CPU to perform extra
work, for example to keep track of historical information
some features cause the simulated target processor
to perform extra work, for example in the number of steps required
to perform cache maintenance.
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.
PDF version