## Model without rdw and detour vs. Model |

In this note we alter our base ARM-Power model (“Model” column in tables) by removing some dynamic components fron the definition of ppo. Namely we remove the rdw relation from ii0 and the detour relation from ci0. The resulting model nodetour.cat (“NoDetour” column in tables) hence features a more permissive ppo and will allow a few more more behaviours (regarding 24 tests for Power and 8 tests for ARM).

As can be seen in tables, hardware experiments does not permit to validate the relaxation we here perform. Namely, none of the behaviours allowed by the new model while forbidden by the base model is observed on hardware.

This document was translated from L^{A}T_{E}X byH^{E}V^{E}A.