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> Tables 132.2 Table of <strong>Checks</strong>1. Dataflow Signal <strong>Checks</strong>Version Name Short Description2.0 signal_valid_ when_reset_inactiveMCmdMDataValidMThreadBusySDataThreadBusySRespSThreadBusy2.0 request_valid_ MAddrMAddrSpaceMAtomicLengthMBurstLengthMBurstPreciseMBurstSeqMBurstSingleReqMByteEnMConnIDMReqLastMThreadIDSCmdAccept2.0 datahs_valid_ MDataByteEnMDataLastMDataThreadIDSDataAccept2.0 response_valid_MRespAcceptSRespLastSThreadIDCheck every cycle that is not X orZ when reset inactiveCheck that is not X or Z during therequest phaseCheck that is not X or Z during thedatahandshake phaseCheck that is not X or Z during theresponse phase2.1 request_valid_MTagInOrder When tags>1 and taginorder=1, check thatMTagInOrder is not X or Z during therequest phase2.1 response_valid_STagInOrder When tags >1 and taginorder=1, check thatSTagInOrder is not X or Z during theresponse phase2.1 request_valid_MTagID_when_MTagInOrder_zero When tags>1, for tagged transactions[MTagInOrder=0], check that MTagID is notX or Z during the request phase2.1 datahs_valid_MDataTagID_when_MTagInOrder_zero When tags>1 and datahandshake=1. fortagged write transactions [MTagInOrder=0],check that MDataTagID is not X or Z duringthe datahandshake phase2.1 response_valid_STagID_when_STagInOrder_zero When tags>1, for tagg ed transactions[STagInOrder=0 ], check that STagID is notX or Z during the response phase<strong>OCP</strong>-<strong>IP</strong> Confidential
Change language