10.3. Persona using Post-Synthesis Gate-Level PR Simulation Model vs RTL
Along with the top_sim testbench simulation, the RTL personas and PR simulation model of the personas are additional testbench subsections of interest for demonstrative purposes only. These subsections demonstrate the differences between the PR simulation model and the RTL code.

When the first PR transition occurs in Section #1: PR with Freeze, then reset, there is a difference in the output of the PR simulation model and RTL persona simulations. This is a feature of the PR simulation model to set all the registers in the persona to an undefined state (or X) during a PR transition. Conversely, the RTL holds the value during this time.
While use of the RTL for simulation can be familiar and convenient, the implemented PR simulation models more closely emulate the behavior of the hardware during actual PR transitions.