Previous Up Next

Comparison with herd Qualcomm model

Comparison applies to behaviours that cannot result from the occurrence of the Read after Read hazard anomaly.

More behaviours

There are 66 such tests
 FlowingQModelOpARM-ModelHardwareAPQ8060APQ8064
DETOUR0158AllowForbidForbidForbidAllowNo, 0/66GNo, 0/7.6GNo, 0/4.5G
      Allow unseenAllow unseenAllow unseen
LB0064AllowForbidForbidForbidAllowNo, 0/71GNo, 0/6.5GNo, 0/5.7G
      Allow unseenAllow unseenAllow unseen
DETOUR0169AllowForbidForbidForbidAllowNo, 0/65GNo, 0/7.6GNo, 0/4.5G
      Allow unseenAllow unseenAllow unseen
DETOUR0288AllowForbidForbidForbidAllowNo, 0/66GNo, 0/7.6GNo, 0/4.5G
      Allow unseenAllow unseenAllow unseen
DETOUR0359AllowForbidForbidForbidAllowNo, 0/65GNo, 0/7.6GNo, 0/4.5G
      Allow unseenAllow unseenAllow unseen
DETOUR0457AllowForbidForbidForbidAllowNo, 0/66GNo, 0/7.6GNo, 0/4.5G
      Allow unseenAllow unseenAllow unseen
DETOUR0692AllowForbidForbidForbidForbidNo, 0/66GNo, 0/7.6GNo, 0/4.5G
      Allow unseenAllow unseenAllow unseen
DETOUR1157AllowForbidForbidForbidForbidNo, 0/66GNo, 0/7.6GNo, 0/4.5G
      Allow unseenAllow unseenAllow unseen
DETOUR1291AllowForbidForbidForbidForbidNo, 0/66GNo, 0/7.5GNo, 0/4.5G
      Allow unseenAllow unseenAllow unseen
DETOUR0110AllowForbidForbidForbidForbidNo, 0/66GNo, 0/7.6GNo, 0/4.5G
      Allow unseenAllow unseenAllow unseen
DETOUR0302AllowForbidForbidForbidAllowNo, 0/66GNo, 0/7.6GNo, 0/4.5G
      Allow unseenAllow unseenAllow unseen
DETOUR0305AllowForbidForbidForbidForbidNo, 0/66GNo, 0/7.6GNo, 0/4.5G
      Allow unseenAllow unseenAllow unseen
DETOUR0306AllowForbidForbidForbidForbidNo, 0/66GNo, 0/7.6GNo, 0/4.5G
      Allow unseenAllow unseenAllow unseen
DETOUR0465AllowForbidForbidForbidForbidNo, 0/66GNo, 0/7.5GNo, 0/4.5G
      Allow unseenAllow unseenAllow unseen
DETOUR0706AllowForbidForbidForbidForbidNo, 0/67GNo, 0/7.5GNo, 0/4.5G
      Allow unseenAllow unseenAllow unseen
DETOUR1035AllowForbidForbidForbidForbidNo, 0/38GNo, 0/4.4GNo, 0/2.7G
      Allow unseenAllow unseenAllow unseen
DETOUR1171AllowForbidForbidForbidForbidNo, 0/66GNo, 0/7.6GNo, 0/4.5G
      Allow unseenAllow unseenAllow unseen
DETOUR1174AllowForbidForbidForbidForbidNo, 0/26GNo, 0/2.7GNo, 0/1.5G
      Allow unseenAllow unseenAllow unseen
DETOUR1175AllowForbidForbidForbidForbidNo, 0/34GNo, 0/3.7GNo, 0/1.9G
      Allow unseenAllow unseenAllow unseen
DETOUR1299AllowForbidForbidForbidForbidNo, 0/37GNo, 0/4.1GNo, 0/2.2G
      Allow unseenAllow unseenAllow unseen
MOREDETOUR0154AllowForbidForbidForbidForbidNo, 0/63GNo, 0/6.0GNo, 0/4.5G
      Allow unseenAllow unseenAllow unseen
LB+data+fri-rfi-fri-rfi-addr+OKAllowForbidForbidForbidForbidNo, 0/3.5GNo, 0/203MNo, 0/1.3G
      Allow unseenAllow unseenAllow unseen
ISA2+dmb+fri+addrAllowForbidForbidForbidAllowNo, 0/41GNo, 0/2.3G
      Allow unseen Allow unseen
DETOUR0162AllowForbidForbidForbidAllowNo, 0/17GNo, 0/2.3G
      Allow unseen Allow unseen
DETOUR0294AllowForbidForbidForbidAllowNo, 0/17GNo, 0/2.3G
      Allow unseen Allow unseen
DETOUR0759AllowForbidForbidForbidForbidNo, 0/17GNo, 0/2.3G
      Allow unseen Allow unseen
DETOUR0780AllowForbidForbidForbidForbidNo, 0/17GNo, 0/2.3G
      Allow unseen Allow unseen
DETOUR1163AllowForbidForbidForbidForbidNo, 0/17GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0234AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0240AllowForbidForbidForbidAllowNo, 0/18GNo, 0/2.9G
      Allow unseen Allow unseen
MOREDETOUR0246AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
DETOUR0362AllowForbidForbidAllowNo, 0/17GNo, 0/2.3G
      Allow unseen Allow unseen
DETOUR0458AllowForbidForbidAllowNo, 0/17GNo, 0/2.3G
      Allow unseen Allow unseen
LB+data+data-detww+LOCALAllowForbidForbidAllowNo, 0/1.8GNo, 0/600M
      Allow unseen Allow unseen
MOREDETOUR0121AllowForbidForbidForbidAllowNo, 0/12GNo, 0/2.0G
      Allow unseen Allow unseen
MOREDETOUR0129AllowForbidForbidForbidAllowNo, 0/12GNo, 0/2.0G
      Allow unseen Allow unseen
MOREDETOUR0137AllowForbidForbidForbidAllowNo, 0/12GNo, 0/2.0G
      Allow unseen Allow unseen
MOREDETOUR0197AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0199AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0231AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0233AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0235AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0239AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0241AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0245AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0247AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0251AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0252AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0253AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0254AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0256AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0258AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0259AllowForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0261AllowForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0266AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0350AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0354AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0358AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0730AllowForbidForbidForbidAllowNo, 0/12GNo, 0/2.1G
      Allow unseen Allow unseen
MOREDETOUR0833AllowForbidForbidForbidNo, 0/13GNo, 0/1.6G
      Allow unseen Allow unseen
LB+data+detrw-rfi-ctrlAllowForbidForbidForbidAllowNo, 0/4.7GNo, 0/1.7G
      Allow unseen Allow unseen
LB+data+detrw-rfi-dataAllowForbidForbidForbidAllowNo, 0/4.7GNo, 0/1.7G
      Allow unseen Allow unseen
MOREDETOUR0151AllowForbidForbidAllowNo, 0/11GNo, 0/2.1G
      Allow unseen Allow unseen
MOREDETOUR0185AllowForbidForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen
MOREDETOUR0189AllowForbidForbidForbidAllowNo, 0/7.4GNo, 0/1.7G
      Allow unseen Allow unseen
MOREDETOUR0250AllowForbidForbidAllowNo, 0/16GNo, 0/2.3G
      Allow unseen Allow unseen

Less behaviours

There are 28 such tests
 FlowingQModelOpARM-ModelHardwareAPQ8060APQ8064
LB+data+pos-fri-rfi-addrForbidAllowForbidForbidAllowOk, 103k/29GNo, 0/1.9GOk, 103k/4.8G
       Allow unseen 
LB+data+pos-fri-rfi-ctrlForbidAllowForbidForbidAllowOk, 115k/29GNo, 0/1.9GOk, 115k/4.8G
       Allow unseen 
LB+data+pos-fri-rfi-dataForbidAllowForbidForbidAllowOk, 113k/29GNo, 0/1.9GOk, 113k/4.8G
       Allow unseen 
MP+dmb+pos-fri-rfi-ctrlisbForbidAllowForbidForbidAllowOk, 65k/97GOk, 65k/5.7GNo, 0/6.1G
        Allow unseen
S+dmb+pos-fri-rfi-addrForbidAllowForbidForbidAllowOk, 367k/27GNo, 0/1.7GOk, 367k/4.7G
       Allow unseen 
S+dmb+pos-fri-rfi-ctrlForbidAllowForbidForbidAllowOk, 357k/26GNo, 0/1.7GOk, 357k/4.7G
       Allow unseen 
S+dmb+pos-fri-rfi-dataForbidAllowForbidForbidAllowOk, 365k/26GNo, 0/1.7GOk, 365k/4.7G
       Allow unseen 
LB+data+pos-fri-rfi-addr-poForbidAllowForbidForbidAllowOk, 230k/26GNo, 0/1.3GOk, 230k/4.4G
       Allow unseen 
LB+data+pos-fri-rfi-addr-po001ForbidAllowForbidForbidAllowOk, 146k/26GNo, 0/1.3GOk, 146k/4.4G
       Allow unseen 
LB+data+pos-fri-rfi-ctrl-poForbidAllowForbidForbidAllowOk, 156k/23GNo, 0/1.1GOk, 156k/4.3G
       Allow unseen 
MP+dmb+pos-fri-rfi-data-rfiForbidAllowForbidForbidAllowOk, 167k/23GNo, 0/1.1GOk, 167k/4.3G
       Allow unseen 
S+dmb+pos-fri-rfi-addr-addrForbidAllowForbidForbidAllowOk, 19k/25GNo, 0/1.3GOk, 19k/4.4G
       Allow unseen 
S+dmb+pos-fri-rfi-addr-ctrlForbidAllowForbidForbidAllowOk, 32k/23GNo, 0/1.1GOk, 32k/4.3G
       Allow unseen 
S+dmb+pos-fri-rfi-addr-dataForbidAllowForbidForbidAllowOk, 36k/25GNo, 0/1.3GOk, 36k/4.4G
       Allow unseen 
S+dmb+pos-fri-rfi-addr-friForbidAllowForbidForbidAllowOk, 590k/25GNo, 0/1.3GOk, 590k/4.4G
       Allow unseen 
S+dmb+pos-fri-rfi-pos-ctrlForbidAllowForbidForbidAllowOk, 161k/23GNo, 0/1.1GOk, 161k/4.3G
       Allow unseen 
LB+data+pos-fri-rfi-addr-addr-poForbidAllowForbidForbidAllowOk, 18k/26GNo, 0/1.3GOk, 18k/4.4G
       Allow unseen 
LB+data+pos-fri-rfi-addr-ctrl-poForbidAllowForbidForbidAllowOk, 24k/23GNo, 0/1.1GOk, 24k/4.3G
       Allow unseen 
LB+data+pos-fri-rfi-addr-data-poForbidAllowForbidForbidAllowOk, 39k/23GNo, 0/1.1GOk, 39k/4.3G
       Allow unseen 
LB+data+pos-fri-rfi-addr-fri-poForbidAllowForbidForbidAllowOk, 133k/26GNo, 0/1.3GOk, 133k/4.4G
       Allow unseen 
LB+data+pos-fri-rfi-addr-rfi-poForbidAllowForbidForbidAllowOk, 124k/23GNo, 0/1.1GOk, 124k/4.3G
       Allow unseen 
LB+data+pos-fri-rfi-addr-wsi-poForbidAllowForbidForbidAllowOk, 121k/25GNo, 0/1.2GOk, 121k/4.4G
       Allow unseen 
LB+data+pos-fri-rfi-ctrl-wsi-poForbidAllowForbidForbidAllowOk, 116k/23GNo, 0/1.0GOk, 116k/4.3G
       Allow unseen 
LB+data+pos-fri-rfi-pos-ctrl-poForbidAllowForbidForbidAllowOk, 116k/26GNo, 0/1.3GOk, 116k/4.4G
       Allow unseen 
S+dmb+pos-fri-rfi-data-rfi-ctrlForbidAllowForbidForbidAllowOk, 29k/25GNo, 0/1.2GOk, 29k/4.4G
       Allow unseen 
LB+data+detr-fri-rfi-addrForbidAllowForbidForbidAllowOk, 199k/6.5GOk, 199k/1.8G
LB+data+detr-fri-rfi-ctrlForbidAllowForbidForbidAllowOk, 177k/6.5GOk, 177k/1.8G
LB+data+detr-fri-rfi-dataForbidAllowForbidForbidAllowOk, 184k/6.5GOk, 184k/1.8G

Previous Up Next