Verification of processor itself and related sub-systems with different models is not a question of preference but a need based on different precision granularity expected from the models. For example ...