Previous Up

Comparison with ARM hardware

Invalid behaviours

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

There are 15 such tests
 KindFlowingHardwareModelOpARM-ModelQ
DETOUR0008AllowForbidOk, 1.0k/68GForbidForbidForbidForbid
LB+PPO0536AllowForbidOk, 1/68GForbidForbidForbidForbid
WRR+2W+addr+dmbAllowForbidOk, 1/24GForbidForbidForbidForbid
WRR+2W+ctrlisb+dmbAllowForbidOk, 5/24GForbidForbidForbidForbid
DETOUR0661AllowForbidOk, 1/20GForbidForbidForbidForbid
DETOUR0687AllowForbidOk, 42/22GForbidForbidForbidForbid
ISA2+dmb+fri+addrAllowForbidOk, 3/41GForbidForbidForbidForbid
MP+dmb+pos-ctrlisb+BISAllowForbidOk, 82/38GForbidForbidForbidForbid
DETOUR0689AllowForbidOk, 29/22GForbidForbidForbidForbid
MOREDETOUR0785AllowForbidOk, 8/16GForbidForbidForbidForbid
MOREDETOUR0058AllowForbidOk, 2/18GForbidForbidForbidForbid
MOREDETOUR0461AllowForbidOk, 18/18GForbidForbidForbid
MOREDETOUR0740AllowForbidOk, 7/16GForbidForbidForbid
MOREDETOUR0185AllowForbidOk, 1/16GForbidForbidForbidForbid
MOREDETOUR0824AllowForbidOk, 77/15GForbidForbidForbid

Previous Up