Previous Up Next

Comparison of “T” models

Comparison of T0 and T1

 KindOperationalAxiomSatT0T1T2PowerG5Power6Power7
MP+lwsync+fri-rfi-ctrlisyncForbid====AllowAllowOk, 0/26GOk, 0/6.6GOk, 0/99G
MP+PPO253Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO266Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO281Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO364Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO404Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO422Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO442Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO444Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO451Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO489Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO558Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO571Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO650Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO663Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO695Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO742Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO755Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO770Forbid====AllowAllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
LB+data+RDWI+addr+RWForbid====AllowAllowOk, 0/420MOk, 0/352MOk, 0/13G
LB+data+RDWI+addr+WWForbid====AllowAllowOk, 0/8.4GOk, 0/2.8GOk, 0/13G
LB+PPO0036Forbid====AllowAllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0116Forbid====AllowAllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0276Forbid====AllowAllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0550Forbid====AllowAllowOk, 0/420MOk, 0/352MOk, 0/21G
S+PPO039Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO052Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO150Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO190Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO208Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO228Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO237Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO275Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO322Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO335Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO433Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO473Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO511Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO513Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO520Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO558Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO605Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO618Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO633Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO716Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO756Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO774Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO794Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO803Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO841Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO887Forbid====AllowAllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO900Forbid====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO915Forbid====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO931Forbid====AllowOk, 0/686MOk, 0/1.6GOk, 0/16G
ISA2+lwsync+fri+addrForbid====AllowAllowOk, 0/13GOk, 0/425MOk, 0/78G
ISA2+sync+fri+addrForbid====AllowAllowOk, 0/13GOk, 0/765MOk, 0/78G

Comparison of T1 and T2

 KindOperationalAxiomSatT0T1T2PowerG5Power6Power7
PPOARWForbid=====AllowOk, 0/20MOk, 0/650MOk, 0/15G
PPOARWRForbid=====AllowOk, 0/20MOk, 0/650MOk, 0/15G
co7Forbid=====AllowOk, 0/1.1GOk, 0/2.4GOk, 0/35G
podrwposwr000Forbid=====AllowOk, 0/582MOk, 0/1.6GOk, 0/32G
safe482Forbid=====AllowOk, 0/631MOk, 0/2.8GOk, 0/20G
safe506Forbid=====AllowOk, 0/631MOk, 0/2.8GOk, 0/20G
safe508Forbid=====AllowOk, 0/631MOk, 0/2.8GOk, 0/20G
safe511Forbid======Ok, 0/631MOk, 0/2.8GOk, 0/20G
MP+sync+addr-po-rfiForbid=====AllowOk, 0/8.0GOk, 0/1.3GOk, 0/13G
MP+PPO773Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO777Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO778Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO779Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO789Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO790Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO791Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO793Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO796Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO798Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO801Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO802Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO962Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO964Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO967Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO968Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO969Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
MP+PPO970Forbid=====AllowOk, 0/1.3GOk, 0/1.6GOk, 0/17G
LB+data+RDWI+addr+RWForbid====AllowAllowOk, 0/420MOk, 0/352MOk, 0/13G
LB+PPO0000Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0009Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0010Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0011Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0013Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0015Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0016Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0028Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0029Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0030Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0034Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0035Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0037Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0038Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0039Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0041Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0043Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0044Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0048Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0049Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0050Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0055Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0057Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0140Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0144Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0145Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0146Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0151Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0153Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0155Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0156Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0157Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0159Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0170Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0171Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0176Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0189Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0194Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0195Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0199Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0201Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0203Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0204Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0209Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0217Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0327Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0329Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0331Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0332Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0337Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0348Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0349Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0408Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0410Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0412Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0413Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0418Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0429Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0430Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0470Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0471Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0476Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0485Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0487Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0489Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0490Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0492Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0493Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0497Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0501Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0502Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0503Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0512Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0513Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0514Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0516Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0519Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0521Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0523Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0524Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0529Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0534Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0536Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0540Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0541Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0542Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0547Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0549Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0551Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0552Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0553Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0555Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0566Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0567Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0572Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0585Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0590Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0591Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
LB+PPO0593Forbid=====AllowOk, 0/420MOk, 0/352MOk, 0/21G
S+PPO849Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO859Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO860Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO861Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO863Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO866Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO867Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO880Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO881Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO882Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO888Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO889Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO895Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO896Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO898Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO901Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO902Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO906Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO907Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO908Forbid=====AllowOk, 0/688MOk, 0/1.6GOk, 0/16G
S+PPO918Forbid=====AllowOk, 0/686MOk, 0/1.6GOk, 0/16G
S+PPO922Forbid=====AllowOk, 0/686MOk, 0/1.6GOk, 0/16G
S+PPO923Forbid=====AllowOk, 0/686MOk, 0/1.6GOk, 0/16G
S+PPO924Forbid=====AllowOk, 0/686MOk, 0/1.6GOk, 0/16G
S+PPO934Forbid=====AllowOk, 0/686MOk, 0/1.6GOk, 0/16G
S+PPO935Forbid=====AllowOk, 0/686MOk, 0/1.6GOk, 0/16G
S+PPO936Forbid=====AllowOk, 0/686MOk, 0/1.6GOk, 0/16G
S+PPO938Forbid=====AllowOk, 0/686MOk, 0/1.6GOk, 0/16G

Previous Up Next