Comparison with ARM hardware

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

There are 162 such tests

	ARM-Model	Hardware	Exp	Flowing	APQ8060	Exynos5250	A20	APQ8064	Exynos5410	Tegra3
MP+dmb+porr	Forbid	Ok, 241k/6.9G	Allow	Allow	Ok, 6.0k/1.0G	No, 0/1.4G	No, 0/800M	Ok, 235k/1.4G	No, 0/1.5G	No, 0/1.6G
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+addr+pora	Forbid	Ok, 637/3.7G	Allow	Allow	Ok, 63/600M	No, 0/1.0G	No, 0/400M	Ok, 574/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+addrrna+pora	Forbid	Ok, 974/3.7G	Allow	Allow	Ok, 37/600M	No, 0/1.0G	No, 0/400M	Ok, 937/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+ctrl+pora	Forbid	Ok, 727/3.7G	Allow	Allow	Ok, 37/600M	No, 0/1.0G	No, 0/400M	Ok, 690/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+ctrlisb+pora	Forbid	Ok, 2.4k/3.7G	Allow	Allow	Ok, 26/600M	No, 0/1.0G	No, 0/400M	Ok, 2.4k/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+ctrlisbrna+pora	Forbid	Ok, 1.7k/3.7G	Allow	Allow	Ok, 44/600M	No, 0/1.0G	No, 0/400M	Ok, 1.7k/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+ctrlrna+pora	Forbid	Ok, 1.7k/3.7G	Allow	Allow	Ok, 38/600M	No, 0/1.0G	No, 0/400M	Ok, 1.6k/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+data+pora	Forbid	Ok, 1.7k/6.9G	Allow	Allow	Ok, 82/1.0G	No, 0/1.4G	No, 0/800M	Ok, 1.7k/1.4G	No, 0/1.5G	No, 0/1.6G
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+datarna+pora	Forbid	Ok, 1.3k/3.7G	Allow	Allow	Ok, 47/600M	No, 0/1.0G	No, 0/400M	Ok, 1.2k/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+dmb+pora	Forbid	Ok, 861/3.7G	Allow	Allow	Ok, 10/600M	No, 0/1.0G	No, 0/400M	Ok, 851/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+dmbrna+pora	Forbid	Ok, 2.4k/3.7G	Allow	Allow	No, 0/600M	No, 0/1.0G	No, 0/400M	Ok, 2.4k/600M	No, 0/700M	No, 0/800M
					Allow unseen	Allow unseen	Allow unseen		Allow unseen	Allow unseen
MP+dmb+pora	Forbid	Ok, 17k/6.9G	Allow	Allow	Ok, 2.6k/1.0G	No, 0/1.4G	No, 0/800M	Ok, 14k/1.4G	No, 0/1.5G	No, 0/1.6G
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
MP+dmbana+porr	Forbid	Ok, 1.1M/3.7G	Allow	Allow	Ok, 2.8k/600M	No, 0/1.0G	No, 0/400M	Ok, 1.1M/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
MP+dmbnaa+porr	Forbid	Ok, 147/3.7G	Allow	Allow	Ok, 1/600M	No, 0/1.0G	No, 0/400M	Ok, 146/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
S+dmb+pora	Forbid	Ok, 898k/6.9G	Allow	Allow	Ok, 1.7k/1.0G	No, 0/1.4G	No, 0/800M	Ok, 896k/1.4G	No, 0/1.5G	No, 0/1.6G
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
MP+dmbaa+porr	Forbid	Ok, 112/3.7G	Allow	Allow	Ok, 1/600M	No, 0/1.0G	No, 0/400M	Ok, 111/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+addrana+pora	Forbid	Ok, 314k/3.6G	Allow	Allow	Ok, 3/600M	No, 0/900M	No, 0/400M	Ok, 314k/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+addrnaa+pora	Forbid	Ok, 88/3.6G	Allow	Allow	No, 0/600M	No, 0/900M	No, 0/400M	Ok, 88/600M	No, 0/700M	No, 0/800M
					Allow unseen	Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+addrra+pora	Forbid	Ok, 155/3.6G	Allow	Allow	No, 0/600M	No, 0/900M	No, 0/400M	Ok, 155/600M	No, 0/700M	No, 0/800M
					Allow unseen	Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+ctrlana+pora	Forbid	Ok, 431k/3.6G	Allow	Allow	Ok, 8/600M	No, 0/900M	No, 0/400M	Ok, 431k/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+ctrlisbana+pora	Forbid	Ok, 240k/3.6G	Allow	Allow	Ok, 1/600M	No, 0/900M	No, 0/400M	Ok, 240k/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+ctrlisbnaa+pora	Forbid	Ok, 31/3.6G	Allow	Allow	No, 0/600M	No, 0/900M	No, 0/400M	Ok, 31/600M	No, 0/700M	No, 0/800M
					Allow unseen	Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+ctrlisbra+pora	Forbid	Ok, 87/3.6G	Allow	Allow	Ok, 4/600M	No, 0/900M	No, 0/400M	Ok, 83/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+ctrlnaa+pora	Forbid	Ok, 74/3.6G	Allow	Allow	Ok, 3/600M	No, 0/900M	No, 0/400M	Ok, 71/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+ctrlra+pora	Forbid	Ok, 157/3.6G	Allow	Allow	Ok, 4/600M	No, 0/900M	No, 0/400M	Ok, 153/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+dataana+pora	Forbid	Ok, 412k/3.6G	Allow	Allow	Ok, 4/600M	No, 0/900M	No, 0/400M	Ok, 412k/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+datanaa+pora	Forbid	Ok, 288/3.6G	Allow	Allow	Ok, 2/600M	No, 0/900M	No, 0/400M	Ok, 286/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+datara+pora	Forbid	Ok, 247/3.6G	Allow	Allow	Ok, 3/600M	No, 0/900M	No, 0/400M	Ok, 244/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+dmbana+pora	Forbid	Ok, 284k/3.6G	Allow	Allow	No, 0/600M	No, 0/900M	No, 0/400M	Ok, 284k/600M	No, 0/700M	No, 0/800M
					Allow unseen	Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+dmbnaa+pora	Forbid	Ok, 10/3.6G	Allow	Allow	Ok, 1/600M	No, 0/900M	No, 0/400M	Ok, 9/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+dmbra+pora	Forbid	Ok, 20/3.6G	Allow	Allow	Ok, 4/600M	No, 0/900M	No, 0/400M	Ok, 16/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+poana+pora	Forbid	Ok, 1.0M/6.8G	Allow	Allow	Ok, 10/1.0G	No, 0/1.3G	No, 0/800M	Ok, 1.0M/1.4G	No, 0/1.5G	No, 0/1.6G
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+poras	Forbid	Ok, 1.7k/6.8G	Allow	Allow	Ok, 137/1.0G	No, 0/1.3G	No, 0/800M	Ok, 1.6k/1.4G	No, 0/1.5G	No, 0/1.6G
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
MP+dmbana+pora	Forbid	Ok, 158k/3.6G	Allow	Allow	Ok, 63k/600M	No, 0/900M	No, 0/400M	Ok, 94k/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
MP+dmbnaa+pora	Forbid	Ok, 311/3.6G	Allow	Allow	No, 0/600M	No, 0/900M	No, 0/400M	Ok, 311/600M	No, 0/700M	No, 0/800M
					Allow unseen	Allow unseen	Allow unseen		Allow unseen	Allow unseen
S+dmbana+pora	Forbid	Ok, 584k/3.6G	Allow	Allow	Ok, 49k/600M	No, 0/900M	No, 0/400M	Ok, 534k/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
S+dmbnaa+pora	Forbid	Ok, 290/3.6G	Allow	Allow	Ok, 22/600M	No, 0/900M	No, 0/400M	Ok, 268/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+addraa+pora	Forbid	Ok, 8/3.6G	Allow	Allow	No, 0/600M	No, 0/900M	No, 0/400M	Ok, 8/600M	No, 0/700M	No, 0/800M
					Allow unseen	Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+ctrlaa+pora	Forbid	Ok, 3/3.6G	Allow	Allow	No, 0/600M	No, 0/900M	No, 0/400M	Ok, 3/600M	No, 0/700M	No, 0/800M
					Allow unseen	Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+ctrlisbaa+pora	Forbid	Ok, 24/3.6G	Allow	Allow	No, 0/600M	No, 0/900M	No, 0/400M	Ok, 24/600M	No, 0/700M	No, 0/800M
					Allow unseen	Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+dataaa+pora	Forbid	Ok, 17/3.6G	Allow	Allow	Ok, 2/600M	No, 0/900M	No, 0/400M	Ok, 15/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+dmbaa+pora	Forbid	Ok, 9/3.6G	Allow	Allow	No, 0/600M	No, 0/900M	No, 0/400M	Ok, 9/600M	No, 0/700M	No, 0/800M
					Allow unseen	Allow unseen	Allow unseen		Allow unseen	Allow unseen
LB+poaa+pora	Forbid	Ok, 22/6.8G	Allow	Allow	Ok, 10/1.0G	No, 0/1.3G	No, 0/800M	Ok, 12/1.4G	No, 0/1.5G	No, 0/1.6G
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
MP+dmbaa+pora	Forbid	Ok, 303/3.6G	Allow	Allow	Ok, 11/600M	No, 0/900M	No, 0/400M	Ok, 292/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
MP+poaa+pora	Forbid	Ok, 4/6.8G	Allow	Allow	No, 0/1.0G	No, 0/1.3G	No, 0/800M	Ok, 4/1.4G	No, 0/1.5G	No, 0/1.6G
					Allow unseen	Allow unseen	Allow unseen		Allow unseen	Allow unseen
S+dmbaa+pora	Forbid	Ok, 496/3.6G	Allow	Allow	Ok, 37/600M	No, 0/900M	No, 0/400M	Ok, 459/600M	No, 0/700M	No, 0/800M
						Allow unseen	Allow unseen		Allow unseen	Allow unseen
S+poaa+pora	Forbid	Ok, 8/6.8G	Allow	Allow	No, 0/1.0G	No, 0/1.3G	No, 0/800M	Ok, 8/1.4G	No, 0/1.5G	No, 0/1.6G
					Allow unseen	Allow unseen	Allow unseen		Allow unseen	Allow unseen
WRC+dmb+porr	Forbid	Ok, 22/1.1G	Allow	Allow	—	—	—	Ok, 22/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbrna+porr	Forbid	Ok, 33/1.1G	Allow	Allow	—	—	—	Ok, 33/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRR+2W+porr+dmb	Forbid	Ok, 12k/1.1G	Allow	Allow	—	—	—	Ok, 12k/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmb+pora	Forbid	Ok, 175/1.1G	Allow	Allow	—	—	—	Ok, 175/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmb+porr+A	Forbid	Ok, 3.7k/1.1G	Allow	Allow	—	—	—	Ok, 3.7k/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbana+porr	Forbid	Ok, 143/1.1G	Allow	Allow	—	—	—	Ok, 143/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbnaa+porr	Forbid	Ok, 1/1.1G	Allow	Allow	—	—	—	Ok, 1/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbra+porr	Forbid	Ok, 2/1.1G	Allow	Allow	—	—	—	Ok, 2/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbrna+pora	Forbid	Ok, 1.4k/1.1G	Allow	Allow	—	—	—	Ok, 1.4k/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbrna+porr+A	Forbid	Ok, 7.3k/1.1G	Allow	Allow	—	—	—	Ok, 7.3k/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRR+2W+pora+dmb	Forbid	Ok, 3.8k/1.1G	Allow	Allow	—	—	—	Ok, 3.8k/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRR+2W+porr+dmb+A	Forbid	Ok, 3.3k/1.1G	Allow	Allow	—	—	—	Ok, 3.3k/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRR+2W+porr+dmbana	Forbid	Ok, 67k/1.1G	Allow	Allow	—	—	—	Ok, 67k/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRR+2W+porr+dmbnaa	Forbid	Ok, 152/1.1G	Allow	Allow	—	—	—	Ok, 152/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRW+2W+pora+dmb	Forbid	Ok, 767/1.1G	Allow	Allow	—	—	—	Ok, 767/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+addr+pora	Forbid	Ok, 54/1.1G	Allow	Allow	—	—	—	Ok, 54/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+addrrna+pora	Forbid	Ok, 294/1.1G	Allow	Allow	—	—	—	Ok, 294/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+dmb+pora	Forbid	Ok, 370/1.1G	Allow	Allow	—	—	—	Ok, 370/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+dmbrna+pora	Forbid	Ok, 960/1.1G	Allow	Allow	—	—	—	Ok, 960/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+addr	Forbid	Ok, 53/1.1G	Allow	Allow	—	—	—	Ok, 53/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+addrrna	Forbid	Ok, 109/1.1G	Allow	Allow	—	—	—	Ok, 109/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+dmb	Forbid	Ok, 401/1.1G	Allow	Allow	—	—	—	Ok, 401/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+dmbrna	Forbid	Ok, 1.3k/1.1G	Allow	Allow	—	—	—	Ok, 1.3k/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbaa+porr	Forbid	Ok, 1/1.1G	Allow	Allow	—	—	—	Ok, 1/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRR+2W+porr+dmbaa	Forbid	Ok, 1/1.1G	Allow	Allow	—	—	—	Ok, 1/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+addr+pora+A	Forbid	Ok, 271/1.1G	Allow	Allow	—	—	—	Ok, 271/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+addrrna+pora+A	Forbid	Ok, 366/1.1G	Allow	Allow	—	—	—	Ok, 366/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+ctrl+pora+A	Forbid	Ok, 273/1.1G	Allow	Allow	—	—	—	Ok, 273/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+ctrlrna+pora+A	Forbid	Ok, 433/1.1G	Allow	Allow	—	—	—	Ok, 433/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+data+pora+A	Forbid	Ok, 309/1.1G	Allow	Allow	—	—	—	Ok, 309/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+datarna+pora+A	Forbid	Ok, 413/1.1G	Allow	Allow	—	—	—	Ok, 413/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmb+pora+A	Forbid	Ok, 1.6k/1.1G	Allow	Allow	—	—	—	Ok, 1.6k/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbana+pora	Forbid	Ok, 423/1.1G	Allow	Allow	—	—	—	Ok, 423/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbana+porr+A	Forbid	Ok, 10k/1.1G	Allow	Allow	—	—	—	Ok, 10k/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbnaa+pora	Forbid	Ok, 2/1.1G	Allow	Allow	—	—	—	Ok, 2/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbnaa+porr+A	Forbid	Ok, 3/1.1G	Allow	Allow	—	—	—	Ok, 3/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbra+pora	Forbid	Ok, 2/1.1G	Allow	Allow	—	—	—	Ok, 2/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbra+porr+A	Forbid	Ok, 15/1.1G	Allow	Allow	—	—	—	Ok, 15/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbrna+pora+A	Forbid	Ok, 2.7k/1.1G	Allow	Allow	—	—	—	Ok, 2.7k/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRR+2W+pora+dmb+A	Forbid	Ok, 1.6k/1.1G	Allow	Allow	—	—	—	Ok, 1.6k/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRR+2W+pora+dmbana	Forbid	Ok, 108k/1.1G	Allow	Allow	—	—	—	Ok, 108k/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRR+2W+pora+dmbnaa	Forbid	Ok, 207/1.1G	Allow	Allow	—	—	—	Ok, 207/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRR+2W+porr+dmbana+A	Forbid	Ok, 5.3k/1.1G	Allow	Allow	—	—	—	Ok, 5.3k/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRR+2W+porr+dmbnaa+A	Forbid	Ok, 767/1.1G	Allow	—	—	—	—	Ok, 767/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRW+2W+pora+dmb+A	Forbid	Ok, 1.7k/1.1G	Allow	—	—	—	—	Ok, 1.7k/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRW+2W+pora+dmbana	Forbid	Ok, 1.7k/1.1G	Allow	Allow	—	—	—	Ok, 1.7k/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRW+2W+pora+dmbnaa	Forbid	Ok, 390/1.1G	Allow	—	—	—	—	Ok, 390/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+addr+pora+A	Forbid	Ok, 43/1.1G	Allow	Allow	—	—	—	Ok, 43/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+addrana+pora	Forbid	Ok, 74/1.1G	Allow	Allow	—	—	—	Ok, 74/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+addrnaa+pora	Forbid	Ok, 33/1.1G	Allow	Allow	—	—	—	Ok, 33/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+addrra+pora	Forbid	Ok, 40/1.1G	Allow	Allow	—	—	—	Ok, 40/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+addrrna+pora+A	Forbid	Ok, 162/1.1G	Allow	—	—	—	—	Ok, 162/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+dmb+pora+A	Forbid	Ok, 253/1.1G	Allow	—	—	—	—	Ok, 253/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+dmbana+pora	Forbid	Ok, 103/1.1G	Allow	Allow	—	—	—	Ok, 103/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+dmbnaa+pora	Forbid	Ok, 5/1.1G	Allow	—	—	—	—	Ok, 5/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+dmbra+pora	Forbid	Ok, 20/1.1G	Allow	—	—	—	—	Ok, 20/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+dmbrna+pora+A	Forbid	Ok, 465/1.1G	Allow	—	—	—	—	Ok, 465/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+poana+pora	Forbid	Ok, 100/1.1G	Allow	Allow	—	—	—	Ok, 100/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+addr+A	Forbid	Ok, 272/1.1G	Allow	—	—	—	—	Ok, 272/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+addrana	Forbid	Ok, 112/1.1G	Allow	Allow	—	—	—	Ok, 112/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+addrnaa	Forbid	Ok, 5/1.1G	Allow	Allow	—	—	—	Ok, 5/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+addrra	Forbid	Ok, 30/1.1G	Allow	Allow	—	—	—	Ok, 30/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+addrrna+A	Forbid	Ok, 180/1.1G	Allow	—	—	—	—	Ok, 180/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+dmb+A	Forbid	Ok, 69/1.1G	Allow	—	—	—	—	Ok, 69/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+dmbana	Forbid	Ok, 66/1.1G	Allow	Allow	—	—	—	Ok, 66/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+dmbnaa	Forbid	Ok, 5/1.1G	Allow	Allow	—	—	—	Ok, 5/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+dmbra	Forbid	Ok, 11/1.1G	Allow	Allow	—	—	—	Ok, 11/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+dmbrna+A	Forbid	Ok, 315/1.1G	Allow	—	—	—	—	Ok, 315/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+poana	Forbid	Ok, 123/1.1G	Allow	Allow	—	—	—	Ok, 123/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+poras	Forbid	Ok, 390/1.1G	Allow	—	—	—	—	Ok, 390/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbaa+porr+A	Forbid	Ok, 1/1.1G	Allow	Allow	—	—	—	Ok, 1/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRR+2W+pora+dmbaa	Forbid	Ok, 99/1.1G	Allow	Allow	—	—	—	Ok, 99/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRR+2W+pora+poaa	Forbid	Ok, 1/1.1G	Allow	Allow	—	—	—	Ok, 1/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRR+2W+porr+dmbaa+A	Forbid	Ok, 53/1.1G	Allow	Allow	—	—	—	Ok, 53/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRW+2W+pora+dmbaa	Forbid	Ok, 68/1.1G	Allow	—	—	—	—	Ok, 68/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+dmbaa+pora	Forbid	Ok, 3/1.1G	Allow	Allow	—	—	—	Ok, 3/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+poaa+pora	Forbid	Ok, 1/1.1G	Allow	—	—	—	—	Ok, 1/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+addraa	Forbid	Ok, 1/1.1G	Allow	Allow	—	—	—	Ok, 1/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+dmbaa	Forbid	Ok, 1/1.1G	Allow	Allow	—	—	—	Ok, 1/300M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+addrana+pora+A	Forbid	Ok, 86/1.0G	Allow	Allow	—	—	—	Ok, 86/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+ctrlana+pora+A	Forbid	Ok, 92/1.0G	Allow	Allow	—	—	—	Ok, 92/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+ctrlra+pora+A	Forbid	Ok, 2/1.0G	Allow	—	—	—	—	Ok, 2/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dataana+pora+A	Forbid	Ok, 124/1.0G	Allow	Allow	—	—	—	Ok, 124/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbana+pora+A	Forbid	Ok, 4.8k/1.0G	Allow	Allow	—	—	—	Ok, 4.8k/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbnaa+pora+A	Forbid	Ok, 6/1.0G	Allow	—	—	—	—	Ok, 6/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbra+pora+A	Forbid	Ok, 9/1.0G	Allow	—	—	—	—	Ok, 9/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+poana+pora+A	Forbid	Ok, 100/1.0G	Allow	Allow	—	—	—	Ok, 100/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRR+2W+pora+dmbana+A	Forbid	Ok, 4.8k/1.0G	Allow	—	—	—	—	Ok, 4.8k/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRR+2W+pora+dmbnaa+A	Forbid	Ok, 168/1.0G	Allow	—	—	—	—	Ok, 168/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRW+2W+pora+dmbana+A	Forbid	Ok, 2.2k/1.0G	Allow	—	—	—	—	Ok, 2.2k/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRW+2W+pora+dmbnaa+A	Forbid	Ok, 269/1.0G	Allow	—	—	—	—	Ok, 269/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+addrana+pora+A	Forbid	Ok, 33/1.0G	Allow	—	—	—	—	Ok, 33/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+addrnaa+pora+A	Forbid	Ok, 8/1.0G	Allow	—	—	—	—	Ok, 8/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+addrra+pora+A	Forbid	Ok, 195/1.0G	Allow	—	—	—	—	Ok, 195/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+dmbana+pora+A	Forbid	Ok, 112/1.0G	Allow	—	—	—	—	Ok, 112/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+dmbnaa+pora+A	Forbid	Ok, 20/1.0G	Allow	—	—	—	—	Ok, 20/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+dmbra+pora+A	Forbid	Ok, 42/1.0G	Allow	—	—	—	—	Ok, 42/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+poana+pora+A	Forbid	Ok, 20/1.0G	Allow	—	—	—	—	Ok, 20/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+addrana+A	Forbid	Ok, 48/1.0G	Allow	—	—	—	—	Ok, 48/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+addrnaa+A	Forbid	Ok, 58/1.0G	Allow	—	—	—	—	Ok, 58/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+addrra+A	Forbid	Ok, 90/1.0G	Allow	—	—	—	—	Ok, 90/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+dmbana+A	Forbid	Ok, 67/1.0G	Allow	—	—	—	—	Ok, 67/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+dmbnaa+A	Forbid	Ok, 11/1.0G	Allow	—	—	—	—	Ok, 11/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+dmbra+A	Forbid	Ok, 154/1.0G	Allow	—	—	—	—	Ok, 154/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+poana+A	Forbid	Ok, 49/1.0G	Allow	—	—	—	—	Ok, 49/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+poras+A	Forbid	Ok, 487/1.0G	Allow	—	—	—	—	Ok, 487/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRC+dmbaa+pora+A	Forbid	Ok, 1/1.0G	Allow	—	—	—	—	Ok, 1/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRR+2W+pora+dmbaa+A	Forbid	Ok, 62/1.0G	Allow	—	—	—	—	Ok, 62/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRW+2W+pora+dmbaa+A	Forbid	Ok, 179/1.0G	Allow	—	—	—	—	Ok, 179/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WRW+2W+pora+poaa+A	Forbid	Ok, 3/1.0G	Allow	—	—	—	—	Ok, 3/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+addraa+pora+A	Forbid	Ok, 1/1.0G	Allow	—	—	—	—	Ok, 1/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+dmbaa+pora+A	Forbid	Ok, 5/1.0G	Allow	—	—	—	—	Ok, 5/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+poaa+pora+A	Forbid	Ok, 2/1.0G	Allow	—	—	—	—	Ok, 2/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+addraa+A	Forbid	Ok, 3/1.0G	Allow	—	—	—	—	Ok, 3/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen
WWC+pora+dmbaa+A	Forbid	Ok, 3/1.0G	Allow	—	—	—	—	Ok, 3/290M	No, 0/350M	No, 0/400M
									Allow unseen	Allow unseen

Invalid behaviours, experimental model

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

There is no such test

Invalid behaviours, flowing model

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.