Previous Up

Comparison with ARM hardware

Invalid behaviours

The following table lists the behaviours that are forbidden by the POP model, yet observed on hardware. Comparison applies to behaviours that cannot result from the occurrence of the Read after Read hazard anomaly.

There are 8 such tests
 KindPopHardwareModelARM-ModelQOpFlowing
DETOUR0008AllowForbidOk, 1.0k/68GForbidForbidForbidForbidForbid
LB+PPO0536AllowForbidOk, 1/68GForbidForbidForbidForbidForbid
WRR+2W+addr+dmbAllowForbidOk, 1/24GForbidForbidForbidForbidForbid
WRR+2W+ctrlisb+dmbAllowForbidOk, 5/24GForbidForbidForbidForbidForbid
DETOUR0661AllowForbidOk, 1/20GForbidForbidForbidForbidForbid
DETOUR0687AllowForbidOk, 42/22GForbidForbidForbidForbidForbid
ISA2+dmb+fri+addrAllowForbidOk, 3/41GForbidForbidForbidForbidForbid
MP+dmb+pos-ctrlisb+BISAllowForbidOk, 82/38GForbidForbidForbidForbidForbid

Previous Up