Previous Up Next

Comparison with herd default model

Comparison applies to all behaviours. However notice that behaviours that could result from the occurrence of the Read after Read hazard anomaly have been removed from the hardware logs.

More behaviours

There are 284 such tests
 KindPopModelARM-ModelQOpFlowingPLDI11Hardware
DETOUR0158AllowAllowForbidAllowForbidForbidAllowNo, 0/69G
         Allow unseen
LB0064AllowAllowForbidAllowForbidForbidAllowNo, 0/73G
         Allow unseen
LB+data+data-wsiAllowAllowForbidAllowForbidAllowNo, 0/290G
         Allow unseen
S+dmb+data-wsiAllowAllowForbidForbidForbidAllowNo, 0/190G
         Allow unseen
DETOUR0160AllowAllowForbidAllowForbidForbidAllowNo, 0/38G
         Allow unseen
DETOUR0169AllowAllowForbidAllowForbidForbidAllowNo, 0/67G
         Allow unseen
DETOUR0288AllowAllowForbidAllowForbidForbidAllowNo, 0/69G
         Allow unseen
DETOUR0212AllowAllowForbidAllowAllowForbidAllowNo, 0/43G
         Allow unseen
DETOUR0238AllowAllowForbidAllowAllowForbidAllowNo, 0/43G
         Allow unseen
DETOUR0264AllowAllowForbidAllowAllowForbidAllowNo, 0/43G
         Allow unseen
DETOUR0359AllowAllowForbidAllowForbidForbidAllowNo, 0/67G
         Allow unseen
DETOUR0457AllowAllowForbidAllowForbidForbidAllowNo, 0/69G
         Allow unseen
DETOUR0668AllowAllowForbidAllowAllowForbidAllowNo, 0/50G
         Allow unseen
DETOUR0692AllowAllowForbidForbidForbidForbidAllowNo, 0/135G
         Allow unseen
S+dmb+data-wsi+LOCALAllowAllowForbidForbidForbidAllowNo, 0/176G
         Allow unseen
DETOUR1081AllowAllowForbidAllowAllowForbidAllowNo, 0/53G
         Allow unseen
DETOUR1107AllowAllowForbidAllowAllowForbidAllowNo, 0/54G
         Allow unseen
DETOUR1133AllowAllowForbidAllowAllowForbidAllowNo, 0/54G
         Allow unseen
DETOUR1157AllowAllowForbidForbidForbidForbidAllowNo, 0/69G
         Allow unseen
DETOUR1291AllowAllowForbidForbidForbidForbidAllowNo, 0/69G
         Allow unseen
LB+data+fri-rfi-addrAllowAllowForbidAllowAllowForbidAllowOk, 110k/28G
LB+data+fri-rfi-ctrlAllowAllowForbidAllowAllowForbidAllowOk, 126k/28G
LB+data+fri-rfi-ctrl+REALAllowAllowForbidAllowAllowAllowOk, 46k/2.7G
LB+data+fri-rfi-dataAllowAllowForbidAllowAllowForbidAllowOk, 129k/28G
LB+data+pos-data-wsiAllowAllowForbidAllowForbidAllowNo, 0/287G
         Allow unseen
LB0007AllowAllowForbidAllowAllowForbidAllowNo, 0/113G
         Allow unseen
LB0027AllowAllowForbidAllowAllowForbidAllowNo, 0/115G
         Allow unseen
LB0047AllowAllowForbidAllowAllowForbidAllowNo, 0/115G
         Allow unseen
LB0066AllowAllowForbidAllowForbidForbidAllowNo, 0/58G
         Allow unseen
MP+dmb+fri-rfi-ctrlisbAllowAllowForbidAllowAllowForbidAllowForbidOk, 153k/310G
MP+dmb+fri-rfi-ctrlisb+REALAllowAllowForbidAllowAllowAllowOk, 1.9k/4.0G
MP0105AllowAllowForbidAllowAllowForbidAllowNo, 0/110G
         Allow unseen
MP+PPO404AllowAllowForbidAllowAllowForbidAllowNo, 0/49G
         Allow unseen
S+dmb+data-wsi+LOCALDMBAllowAllowForbidForbidForbidAllowNo, 0/176G
         Allow unseen
S+dmb+fri-rfi-addrAllowAllowForbidAllowAllowForbidAllowOk, 392k/28G
S+dmb+fri-rfi-ctrlAllowAllowForbidAllowAllowForbidAllowOk, 375k/28G
S+dmb+fri-rfi-dataAllowAllowForbidAllowAllowForbidAllowOk, 370k/28G
S0076AllowAllowForbidAllowAllowForbidAllowNo, 0/137G
         Allow unseen
S+PPO190AllowAllowForbidAllowAllowForbidAllowNo, 0/52G
         Allow unseen
S0096AllowAllowForbidAllowAllowForbidAllowNo, 0/138G
         Allow unseen
S+PPO473AllowAllowForbidAllowAllowForbidAllowNo, 0/52G
         Allow unseen
S0116AllowAllowForbidAllowAllowForbidAllowNo, 0/139G
         Allow unseen
S+PPO756AllowAllowForbidAllowAllowForbidAllowNo, 0/52G
         Allow unseen
DETOUR0215AllowAllowForbidAllowAllowForbidAllowOk, 6.9k/69G
DETOUR0217AllowAllowForbidAllowAllowForbidAllowNo, 0/42G
         Allow unseen
DETOUR0220AllowAllowForbidAllowAllowForbidAllowNo, 0/41G
         Allow unseen
DETOUR0241AllowAllowForbidAllowAllowForbidAllowOk, 11/69G
DETOUR0243AllowAllowForbidAllowAllowForbidAllowNo, 0/42G
         Allow unseen
DETOUR0246AllowAllowForbidAllowAllowForbidAllowNo, 0/41G
         Allow unseen
DETOUR0267AllowAllowForbidAllowAllowForbidAllowOk, 6.9k/69G
DETOUR0269AllowAllowForbidAllowAllowForbidAllowNo, 0/43G
         Allow unseen
DETOUR0272AllowAllowForbidAllowAllowForbidAllowNo, 0/41G
         Allow unseen
DETOUR0302AllowAllowForbidAllowForbidForbidAllowNo, 0/185G
         Allow unseen
DETOUR0671AllowAllowForbidAllowAllowForbidAllowNo, 0/69G
         Allow unseen
DETOUR0673AllowAllowForbidAllowAllowForbidAllowNo, 0/49G
         Allow unseen
DETOUR0676AllowAllowForbidAllowAllowForbidAllowNo, 0/48G
         Allow unseen
DETOUR0706AllowAllowForbidForbidForbidForbidAllowNo, 0/69G
         Allow unseen
DETOUR1084AllowAllowForbidAllowAllowForbidAllowOk, 70/68G
DETOUR1086AllowAllowForbidAllowAllowForbidAllowNo, 0/53G
         Allow unseen
DETOUR1089AllowAllowForbidAllowAllowForbidAllowNo, 0/51G
         Allow unseen
DETOUR1110AllowAllowForbidAllowAllowForbidAllowNo, 0/68G
         Allow unseen
DETOUR1112AllowAllowForbidAllowAllowForbidAllowNo, 0/53G
         Allow unseen
DETOUR1115AllowAllowForbidAllowAllowForbidAllowNo, 0/51G
         Allow unseen
DETOUR1136AllowAllowForbidAllowAllowForbidAllowOk, 115/68G
DETOUR1138AllowAllowForbidAllowAllowForbidAllowNo, 0/53G
         Allow unseen
DETOUR1141AllowAllowForbidAllowAllowForbidAllowNo, 0/51G
         Allow unseen
DETOUR1171AllowAllowForbidForbidForbidForbidAllowNo, 0/69G
         Allow unseen
LB+data+RDWI+addr+RWAllowAllowForbidAllowAllowForbidAllowOk, 50k/65G
LB+data+RDWI+addr+WWAllowAllowForbidAllowAllowForbidAllowOk, 36k/65G
LB+data+data-wsi-rfi-addrAllowAllowForbidAllowAllowForbidAllowOk, 768k/140G
LB+data+data-wsi-rfi-ctrlAllowAllowForbidAllowAllowForbidAllowOk, 1.0M/308G
LB+data+data-wsi-rfi-ctrl+BISAllowAllowForbidAllowAllowForbidAllowOk, 1.2M/308G
LB+data+data-wsi-rfi-ctrl+REALAllowAllowForbidAllowAllowAllowOk, 23k/4.0G
LB+data+data-wsi-rfi-dataAllowAllowForbidAllowAllowForbidAllowOk, 207/320G
LB+data+data-wsi-rfi-friAllowAllowForbidAllowForbidAllowNo, 0/49G
         Allow unseen
LB+data+fri-wsi-rfi-addrAllowAllowForbidAllowAllowForbidAllowOk, 104k/26G
LB+data+fri-wsi-rfi-ctrlAllowAllowForbidAllowAllowForbidAllowOk, 106k/26G
LB+data+fri-wsi-rfi-dataAllowAllowForbidAllowAllowForbidAllowOk, 114k/26G
LB+data+pos-fri-rfi-addrAllowAllowForbidAllowAllowForbidAllowOk, 105k/31G
LB+data+pos-fri-rfi-ctrlAllowAllowForbidAllowAllowForbidAllowOk, 124k/31G
LB+data+pos-fri-rfi-ctrl+REALAllowAllowForbidAllowAllowAllowOk, 177k/868M
LB+data+pos-fri-rfi-dataAllowAllowForbidAllowAllowForbidAllowOk, 116k/31G
MP+PPO253AllowAllowForbidAllowAllowForbidAllowNo, 0/47G
         Allow unseen
MP+PPO422AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
MP+PPO489AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
MP+PPO558AllowAllowForbidAllowAllowForbidAllowNo, 0/50G
         Allow unseen
MP+PPO650AllowAllowForbidAllowAllowForbidAllowNo, 0/51G
         Allow unseen
MP+dmb+data-wsi-rfi-ctrlisbAllowAllowForbidAllowAllowForbidAllowNo, 0/115G
         Allow unseen
MP+dmb+fri-rfi-addr-rfiAllowAllowForbidAllowAllowForbidAllowOk, 393k/26G
MP+dmb+fri-rfi-data-rfiAllowAllowForbidAllowAllowForbidAllowOk, 395k/26G
MP+dmb+fri-rfi-pos-ctrlisbAllowAllowForbidAllowAllowForbidAllowOk, 50k/97G
MP+dmb+fri-wsi-rfi-ctrlisbAllowAllowForbidAllowAllowForbidAllowOk, 86k/125G
MP+dmb+pos-fri-rfi-ctrlisbAllowAllowForbidAllowAllowForbidAllowOk, 65k/214G
MP+dmb+pos-fri-rfi-ctrlisb+REALAllowAllowForbidAllowAllowAllowOk, 6.1k/3.9G
PPO015AllowAllowForbidAllowAllowForbidAllowForbidNo, 0/101G
         Allow unseen
MP+PPO383AllowAllowForbidAllowAllowForbidAllowNo, 0/64G
         Allow unseen
S+PPO039AllowAllowForbidAllowAllowForbidAllowNo, 0/48G
         Allow unseen
S+PPO169AllowAllowForbidAllowAllowForbidAllowOk, 747/65G
S+PPO208AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO275AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO322AllowAllowForbidAllowAllowForbidAllowNo, 0/49G
         Allow unseen
S+PPO452AllowAllowForbidAllowAllowForbidAllowOk, 74/65G
S+PPO491AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO558AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO605AllowAllowForbidAllowAllowForbidAllowNo, 0/49G
         Allow unseen
S+PPO735AllowAllowForbidAllowAllowForbidAllowOk, 845/65G
S+PPO774AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO841AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO887AllowAllowForbidAllowAllowForbidAllowNo, 0/51G
         Allow unseen
S+dmb+fri-rfi-addr-addrAllowAllowForbidAllowAllowForbidAllowOk, 17k/26G
S+dmb+fri-rfi-addr-dataAllowAllowForbidAllowAllowForbidAllowOk, 22k/26G
S+dmb+fri-rfi-addr-friAllowAllowForbidAllowAllowForbidAllowOk, 751k/26G
S+dmb+fri-rfi-pos-addrAllowAllowForbidAllowAllowForbidAllowOk, 358k/26G
S+dmb+fri-rfi-pos-dataAllowAllowForbidAllowAllowForbidAllowOk, 357k/26G
S+dmb+pos-fri-rfi-addrAllowAllowForbidAllowAllowForbidAllowOk, 367k/29G
S+dmb+pos-fri-rfi-ctrlAllowAllowForbidAllowAllowForbidAllowOk, 359k/28G
S+dmb+pos-fri-rfi-dataAllowAllowForbidAllowAllowForbidAllowOk, 367k/28G
DETOUR0395AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
DETOUR0416AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
DETOUR0437AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+PPO0028AllowAllowForbidAllowAllowForbidAllowOk, 5.3k/65G
LB+PPO0036AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+PPO0108AllowAllowForbidAllowAllowForbidAllowOk, 3.4k/65G
LB+PPO0116AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+PPO0268AllowAllowForbidAllowAllowForbidAllowOk, 2.5k/65G
LB+PPO0276AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+data+data-wsi-rfi-addr-poAllowAllowForbidAllowAllowForbidAllowOk, 3.9k/26G
LB+data+data-wsi-rfi-addr-po001AllowAllowForbidAllowAllowForbidAllowOk, 2.6k/26G
LB+data+data-wsi-rfi-ctrl-poAllowAllowForbidAllowAllowForbidAllowOk, 2.6k/26G
LB+data+fri-rfi-fri-rfi-addr+OKAllowAllowForbidAllowAllowForbidAllowNo, 0/45G
         Allow unseen
LB+data+pos-data-wsi-rfi-addrAllowAllowForbidAllowAllowAllowOk, 372/4.6G
LB+data+pos-data-wsi-rfi-ctrlAllowAllowForbidAllowAllowAllowOk, 441/4.6G
LB+data+pos-data-wsi-rfi-dataAllowAllowForbidAllowAllowAllowNo, 0/4.6G
         Allow unseen
LB+data+pos-fri-rfi-addr-poAllowAllowForbidAllowAllowForbidAllowOk, 234k/28G
LB+data+pos-fri-rfi-addr-po001AllowAllowForbidAllowAllowForbidAllowOk, 150k/28G
LB+data+pos-fri-rfi-ctrl-poAllowAllowForbidAllowAllowForbidAllowOk, 157k/26G
MP+PPO246AllowAllowForbidAllowAllowForbidAllowNo, 0/65G
         Allow unseen
MP+PPO259AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
MP+PPO281AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
MP+PPO304AllowAllowForbidAllowAllowForbidAllowNo, 0/47G
         Allow unseen
MP+PPO334AllowAllowForbidAllowAllowForbidAllowNo, 0/47G
         Allow unseen
MP+PPO390AllowAllowForbidAllowAllowForbidAllowNo, 0/47G
         Allow unseen
MP+PPO442AllowAllowForbidAllowAllowForbidAllowNo, 0/46G
         Allow unseen
MP+PPO482AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
MP+PPO495AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
MP+dmb+data-wsi-rfi-pos-ctrlisbAllowAllowForbidAllowAllowForbidAllowNo, 0/99G
         Allow unseen
S+PPO032AllowAllowForbidAllowAllowForbidAllowNo, 0/65G
         Allow unseen
S+PPO045AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO120AllowAllowForbidAllowAllowForbidAllowNo, 0/49G
         Allow unseen
S+PPO176AllowAllowForbidAllowAllowForbidAllowNo, 0/49G
         Allow unseen
S+PPO268AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO281AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO315AllowAllowForbidAllowAllowForbidAllowNo, 0/65G
         Allow unseen
S+PPO328AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO350AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO373AllowAllowForbidAllowAllowForbidAllowNo, 0/49G
         Allow unseen
S+PPO403AllowAllowForbidAllowAllowForbidAllowNo, 0/49G
         Allow unseen
S+PPO459AllowAllowForbidAllowAllowForbidAllowNo, 0/50G
         Allow unseen
S+PPO511AllowAllowForbidAllowAllowForbidAllowNo, 0/49G
         Allow unseen
S+PPO551AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO564AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO598AllowAllowForbidAllowAllowForbidAllowNo, 0/65G
         Allow unseen
S+PPO611AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO633AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO656AllowAllowForbidAllowAllowForbidAllowNo, 0/49G
         Allow unseen
S+PPO686AllowAllowForbidAllowAllowForbidAllowNo, 0/49G
         Allow unseen
S+PPO742AllowAllowForbidAllowAllowForbidAllowNo, 0/50G
         Allow unseen
S+PPO794AllowAllowForbidAllowAllowForbidAllowNo, 0/49G
         Allow unseen
S+PPO834AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO847AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO880AllowAllowForbidAllowAllowForbidAllowOk, 165k/65G
S+PPO893AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO915AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+PPO931AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
S+dmb+data-wsi-rfi-addr-friAllowAllowForbidAllowAllowForbidAllowOk, 105k/26G
S+dmb+data-wsi-rfi-fri+LOCALAllowAllowForbidForbidForbidAllowNo, 0/134G
         Allow unseen
S+dmb+data-wsi-rfi-fri+LOCALDMBAllowAllowForbidForbidForbidAllowNo, 0/145G
         Allow unseen
S+dmb+fri-rfi-addr-pos-addrAllowAllowForbidAllowAllowForbidAllowOk, 809k/26G
S+dmb+fri-rfi-addr-pos-ctrlAllowAllowForbidAllowAllowForbidAllowOk, 281k/26G
S+dmb+fri-rfi-addr-pos-dataAllowAllowForbidAllowAllowForbidAllowOk, 105k/28G
S+dmb+fri-rfi-addr-pos-friAllowAllowForbidAllowAllowForbidAllowOk, 1.5M/26G
S+dmb+fri-rfi-data-rfi-addrAllowAllowForbidAllowAllowForbidAllowOk, 40k/26G
S+dmb+fri-rfi-data-rfi-ctrlAllowAllowForbidAllowAllowForbidAllowOk, 36k/26G
S+dmb+fri-rfi-data-rfi-dataAllowAllowForbidAllowAllowForbidAllowOk, 38k/26G
S+dmb+fri-rfi-pos-addr-addrAllowAllowForbidAllowAllowForbidAllowOk, 14k/26G
S+dmb+fri-rfi-pos-addr-ctrlAllowAllowForbidAllowAllowForbidAllowOk, 25k/26G
S+dmb+fri-rfi-pos-addr-friAllowAllowForbidAllowAllowForbidAllowOk, 525k/26G
S+dmb+fri-wsi-rfi-addrAllowAllowForbidAllowAllowForbidAllowOk, 3.7M/26G
S+dmb+fri-wsi-rfi-ctrlAllowAllowForbidAllowAllowForbidAllowOk, 3.4M/26G
S+dmb+fri-wsi-rfi-dataAllowAllowForbidAllowAllowForbidAllowOk, 3.4M/26G
S+dmb+pos-fri-rfi-addr-addrAllowAllowForbidAllowAllowForbidAllowOk, 19k/28G
S+dmb+pos-fri-rfi-addr-ctrlAllowAllowForbidAllowAllowForbidAllowOk, 33k/26G
S+dmb+pos-fri-rfi-addr-dataAllowAllowForbidAllowAllowForbidAllowOk, 37k/28G
S+dmb+pos-fri-rfi-addr-friAllowAllowForbidAllowAllowForbidAllowOk, 590k/28G
S+dmb+pos-fri-rfi-pos-ctrlAllowAllowForbidAllowAllowForbidAllowOk, 162k/26G
S+dmb+pos-fri-rfi-pos-dataAllowAllowForbidAllowAllowForbidAllowOk, 157k/26G
LB+PPO0030AllowAllowForbidAllowAllowForbidAllowNo, 0/39G
         Allow unseen
LB+PPO0055AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+PPO0058AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+PPO0074AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+PPO0110AllowAllowForbidAllowAllowForbidAllowNo, 0/39G
         Allow unseen
LB+PPO0135AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+PPO0138AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+PPO0151AllowAllowForbidAllowAllowForbidAllowNo, 0/65G
         Allow unseen
LB+PPO0154AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+PPO0231AllowAllowForbidAllowAllowForbidAllowNo, 0/65G
         Allow unseen
LB+PPO0234AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+PPO0270AllowAllowForbidAllowAllowForbidAllowNo, 0/40G
         Allow unseen
LB+PPO0295AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+PPO0298AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+PPO0316AllowAllowForbidAllowAllowForbidAllowOk, 353/65G
LB+PPO0319AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+PPO0370AllowAllowForbidAllowAllowForbidAllowOk, 3.4k/65G
LB+PPO0373AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+PPO0397AllowAllowForbidAllowAllowForbidAllowOk, 789/65G
LB+PPO0400AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+PPO0508AllowAllowForbidAllowAllowForbidAllowOk, 703/65G
LB+PPO0511AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+PPO0547AllowAllowForbidAllowAllowForbidAllowOk, 6.4k/65G
LB+PPO0550AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
LB+data+data-wsi-rfi-addr-fri-poAllowAllowForbidAllowAllowForbidAllowOk, 1.0k/26G
LB+data+data-wsi-rfi-addr-pos-poAllowAllowForbidAllowAllowForbidAllowOk, 23k/26G
LB+data+data-wsi-rfi-addr-rfi-poAllowAllowForbidAllowAllowForbidAllowOk, 690/26G
LB+data+data-wsi-rfi-addr-wsi-poAllowAllowForbidAllowAllowForbidAllowOk, 466/26G
LB+data+data-wsi-rfi-ctrl-wsi-poAllowAllowForbidAllowAllowForbidAllowOk, 2.6k/26G
LB+data+data-wsi-rfi-pos-addr-poAllowAllowForbidAllowAllowForbidAllowOk, 1.9k/26G
LB+data+data-wsi-rfi-pos-addr-po001AllowAllowForbidAllowAllowForbidAllowOk, 877/26G
LB+data+pos-data-wsi-rfi-addr-poAllowAllowForbidAllowAllowForbidAllowOk, 13k/26G
LB+data+pos-data-wsi-rfi-addr-po001AllowAllowForbidAllowAllowForbidAllowOk, 3.7k/26G
LB+data+pos-data-wsi-rfi-ctrl-poAllowAllowForbidAllowAllowForbidAllowOk, 3.2k/26G
LB+data+pos-fri-rfi-addr-addr-poAllowAllowForbidAllowAllowForbidAllowOk, 20k/28G
LB+data+pos-fri-rfi-addr-ctrl-poAllowAllowForbidAllowAllowForbidAllowOk, 32k/26G
LB+data+pos-fri-rfi-addr-data-poAllowAllowForbidAllowAllowForbidAllowOk, 47k/26G
LB+data+pos-fri-rfi-addr-fri-poAllowAllowForbidAllowAllowForbidAllowOk, 138k/28G
LB+data+pos-fri-rfi-addr-pos-poAllowAllowForbidAllowAllowForbidAllowOk, 990k/26G
LB+data+pos-fri-rfi-addr-rfi-poAllowAllowForbidAllowAllowForbidAllowOk, 129k/26G
LB+data+pos-fri-rfi-addr-wsi-poAllowAllowForbidAllowAllowForbidAllowOk, 122k/28G
LB+data+pos-fri-rfi-ctrl-wsi-poAllowAllowForbidAllowAllowForbidAllowOk, 119k/26G
LB+data+pos-fri-rfi-pos-addr-poAllowAllowForbidAllowAllowForbidAllowOk, 165k/28G
LB+data+pos-fri-rfi-pos-ctrl-poAllowAllowForbidAllowAllowForbidAllowOk, 119k/28G
MP+PPO222AllowAllowForbidAllowAllowForbidAllowNo, 0/44G
         Allow unseen
MP+PPO231AllowAllowForbidAllowAllowForbidAllowNo, 0/44G
         Allow unseen
MP+PPO248AllowAllowForbidAllowAllowForbidAllowNo, 0/44G
         Allow unseen
MP+PPO266AllowAllowForbidAllowAllowForbidAllowNo, 0/43G
         Allow unseen
MP+PPO289AllowAllowForbidAllowAllowForbidAllowNo, 0/43G
         Allow unseen
MP+PPO302AllowAllowForbidAllowAllowForbidAllowNo, 0/65G
         Allow unseen
MP+PPO306AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
MP+PPO332AllowAllowForbidAllowAllowForbidAllowNo, 0/65G
         Allow unseen
MP+PPO336AllowAllowForbidAllowAllowForbidAllowNo, 0/0
         Allow unseen
MP+PPO380AllowAllowForbidAllowAllowForbidAllowNo, 0/47G
         Allow unseen
MP+PPO387AllowAllowForbidAllowAllowForbidAllowNo, 0/65G
         Allow unseen
MP+PPO440AllowAllowForbidAllowAllowForbidAllowNo, 0/65G
         Allow unseen
S+PPO105AllowAllowForbidAllowAllowForbidAllowNo, 0/44G
         Allow unseen
S+PPO118AllowAllowForbidAllowAllowForbidAllowNo, 0/65G
         Allow unseen
DETOUR0661AllowAllowForbidForbidForbidForbidAllowNo, 0/20G
         Allow unseen
ISA2+dmb+fri+addrAllowAllowForbidAllowForbidForbidAllowNo, 0/41G
         Allow unseen
MP+dmb+[fr-rf]-addrAllowAllowForbidForbidForbidAllowNo, 0/1.4G
         Allow unseen
DETOUR0162AllowAllowForbidAllowForbidForbidAllowNo, 0/17G
         Allow unseen
DETOUR0294AllowAllowForbidAllowForbidForbidAllowNo, 0/17G
         Allow unseen
DETOUR0229AllowAllowForbidAllowAllowForbidAllowNo, 0/7.3G
         Allow unseen
DETOUR0255AllowAllowForbidAllowAllowForbidAllowNo, 0/7.2G
         Allow unseen
DETOUR0281AllowAllowForbidAllowAllowForbidAllowNo, 0/7.3G
         Allow unseen
LB+data+fri-detw-addrAllowAllowForbidAllowAllowForbidAllowOk, 74k/6.7G
LB+data+fri-detw-ctrlAllowAllowForbidAllowAllowForbidAllowOk, 71k/6.7G
LB+data+fri-detw-dataAllowAllowForbidAllowAllowForbidAllowOk, 70k/6.8G
MOREDETOUR0234AllowAllowForbidAllowForbidForbidAllowNo, 0/16G
         Allow unseen
MOREDETOUR0240AllowAllowForbidAllowForbidForbidAllowNo, 0/28G
         Allow unseen
MOREDETOUR0246AllowAllowForbidAllowForbidForbidAllowNo, 0/16G
         Allow unseen
DETOUR0248AllowAllowForbidAllowAllowForbidAllowNo, 0/7.2G
         Allow unseen
DETOUR0274AllowAllowForbidAllowAllowForbidAllowNo, 0/7.2G
         Allow unseen
LB+data+detr-fri-rfi-ctrlAllowAllowForbidAllowAllowForbidAllowOk, 178k/7.0G
LB+data+detr-fri-rfi-dataAllowAllowForbidAllowAllowForbidAllowOk, 184k/7.0G
MOREDETOUR0197AllowAllowForbidAllowForbidForbidAllowNo, 0/16G
         Allow unseen
MOREDETOUR0231AllowAllowForbidAllowForbidForbidAllowNo, 0/16G
         Allow unseen
MOREDETOUR0235AllowAllowForbidAllowForbidForbidAllowNo, 0/16G
         Allow unseen
MOREDETOUR0236AllowAllowForbidAllowForbidForbidAllowNo, 0/11G
         Allow unseen
MOREDETOUR0241AllowAllowForbidAllowForbidForbidAllowNo, 0/16G
         Allow unseen
MOREDETOUR0247AllowAllowForbidAllowForbidForbidAllowNo, 0/16G
         Allow unseen
MOREDETOUR0248AllowAllowForbidAllowForbidForbidAllowNo, 0/12G
         Allow unseen
MOREDETOUR0252AllowAllowForbidAllowForbidForbidAllowNo, 0/16G
         Allow unseen
MOREDETOUR0254AllowAllowForbidAllowForbidForbidAllowNo, 0/16G
         Allow unseen
MOREDETOUR0256AllowAllowForbidAllowForbidForbidAllowNo, 0/16G
         Allow unseen
MOREDETOUR0350AllowAllowForbidAllowForbidForbidAllowNo, 0/16G
         Allow unseen
MOREDETOUR0358AllowAllowForbidAllowForbidForbidAllowNo, 0/16G
         Allow unseen

Less behaviours

There is no such test

Previous Up Next