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 27 such tests
 KindLazyHardwareModelARM-ModelQOpPopFlowing
DETOUR0008AllowForbidOk, 1.0k/68GForbidForbidForbidForbidForbidForbid
LB+PPO0536AllowForbidOk, 1/68GForbidForbidForbidForbidForbidForbid
WRR+2W+addr+dmbAllowForbidOk, 1/24GForbidForbidForbidForbidForbidForbid
WRR+2W+ctrlisb+dmbAllowForbidOk, 5/24GForbidForbidForbidForbidForbidForbid
DETOUR0661AllowForbidOk, 1/20GForbidForbidForbidForbidForbidForbid
DETOUR0687AllowForbidOk, 42/22GForbidForbidForbidForbidForbidForbid
ISA2+dmb+fri+addrAllowForbidOk, 3/41GForbidForbidForbidForbidForbidForbid
MP+dmb+pos-ctrlisb+BISAllowForbidOk, 82/38GForbidForbidForbidForbidForbidForbid
DETOUR0689AllowForbidOk, 29/22GForbidForbidForbidForbidForbid
MOREDETOUR0457AllowForbidOk, 1/19GForbidForbidForbidForbid
MOREDETOUR0458AllowForbidOk, 2/16GForbidForbidForbidForbid
MOREDETOUR0785AllowForbidOk, 8/16GForbidForbidForbidForbidForbid
MOREDETOUR0058AllowForbidOk, 2/18GForbidForbidForbidForbidForbid
MOREDETOUR0461AllowForbidOk, 18/18GForbidForbidForbidForbid
MOREDETOUR0740AllowForbidOk, 7/16GForbidForbidForbidForbid
MOREDETOUR0052AllowForbidOk, 60/33GForbidForbidForbid
MOREDETOUR0185AllowForbidOk, 1/16GForbidForbidForbidForbidForbid
MOREDETOUR0188AllowForbidOk, 1/16GForbidForbidForbid
MOREDETOUR0326AllowForbidOk, 5/16GForbidForbidForbid
MOREDETOUR0824AllowForbidOk, 77/15GForbidForbidForbidForbid
MOREDETOUR0782AllowForbidOk, 155/3.8GForbidForbidForbid
MOREDETOUR0068AllowForbidOk, 10/16GForbidForbidForbid
MOREDETOUR0342AllowForbidOk, 4/16GForbidForbidForbid
MOREDETOUR0503AllowForbidOk, 8/13GForbidForbidForbid
MOREDETOUR0788AllowForbidOk, 11/19GForbidForbidForbid
MOREDETOUR0810AllowForbidOk, 1/21GForbidForbidForbid
MOREDETOUR0812AllowForbidOk, 27/12GForbidForbidForbid

Previous Up