OCP Comliance Checks_101905 - OCP-IP
OCP Comliance Checks_101905 - OCP-IP
OCP Comliance Checks_101905 - OCP-IP
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Compliance <strong>Checks</strong> Details 403.3 DataFlow Phase <strong>Checks</strong>3.3.1 request_exact_SThreadBusyNomenclatureProtocol version 2.0Protocol hierarchySignal groupCritical signalsAssertion typeRequestDataflow – thread extensionsMCmdValueDescriptionReferencesIf sthreadbusy_exact = 1, when a given slave thread is busy, the master must stay idle on thisthread.<strong>OCP</strong> Specification, Release 2.0 referencesp37, section “Ungrouped Signals”p169, section “Request Phase <strong>Checks</strong>”<strong>OCP</strong> Specification , Release 2.1 referencesp39, section “Ungrouped Signals”p156, section “Threads”p197, section “Request Phase <strong>Checks</strong>”<strong>OCP</strong>-<strong>IP</strong> Confidential