OCP Comliance Checks_101905 - OCP-IP

More documents

Recommendations

Info

Introduction 81. Which assertions warrant exhaustive proofs?2. Which assertions are ok with just bounded proofs, at what depth?3. Detect and correct an over -constrained environment.IMPORTANT: Note that the guidelines for the OCP functional coverage are not included in this releaseof the OCP 2.0 / 2.1 compliance checks. They will be added in the next release.OCP-IP Confidential
Introduction 91.4 This Document ContainsAs indicated before , the compliance checks listed in this document are extracted from theOCP 2.0 / 2.1 specifications. These compliance checks are guidelines to verify an IP for OCP 2.0 / 2.1compliance. In all cases the “Part I Specification” of the OCP 2.0 / 2.1 specifications is the definitiverefer ence. Any reference to “Part II Guidelines” of the OCP 2.0 / 2.1 specifications in this document isnot definitive. The specification supersedes the guidelines.The current release of this document contains:Chapter 2: Compliance Checks Tables• Table of ChecksThis table defines the full set of OCP 2.0 / 2.1 compliance checks. Each table entry consists ofa name and a concise description of the check in 'natural' English. English was chosen to beimplementation independent.• Activation TableThis table defines for each compliance check the set of OCP 2.0 / 2.1 parameters required forthe check to be activated.Chapter 3: Compliance Checks DetailsThis chapter provides more information for each compliance check: the nomenclature, a profoundEnglish description and OCP 2.0 / 2.1 specification references.The next release of this document will contain:1. Guidelines for OCP functional coverage.2. An o ptional chapter which summarizes all the OCP configuration parameter cross-constraints.OCP-IP Confidential
Page 1: OCP 2.0 / 2.1Compliance ChecksVersi
Page 4 and 5: Copyright © 2005 OCP-IPThis docume
Page 6 and 7: ivVersion Date Author Comments0.13
Page 8 and 9: vi3.3.18 response_value_SThreadID .
Page 11 and 12: 1 IntroductionThis document contain
Page 13 and 14: Introduction 31.2 OCP Configurabili
Page 15 and 16: Introduction 5Figure 1: OCP Configu
Page 17: Introduction 7Static VerificationTh
Page 21 and 22: 2 Compliance Checks TablesOCP-IP Co
Page 23 and 24: Compliance Checks Tables 132.2 Tabl
Page 25 and 26: Compliance Checks Tables 152.0 resp
Page 27 and 28: Compliance Checks Tables 172.0 burs
Page 29 and 30: Compliance Checks Tables 195. Dataf
Page 31 and 32: Compliance Checks Tables 212.3 Acti
Page 33 and 34: Compliance Checks Tables 232.0 resp
Page 36 and 37: Compliance Checks Tables 264. Dataf
Page 38 and 39: CAMILA MOTTA DA SILVA W02699-1 DIVE
Page 41 and 42: Compliance Checks Details 313.2 Dat
Page 43 and 44: Compliance Checks Details 333.2.3 d
Page 45 and 46: Compliance Checks Details 353.2.5 r
Page 47: Compliance Checks Details 373.2.7 r
Page 50 and 51: Compliance Checks Details 403.3 Dat
Page 52 and 53: Compliance Checks Details 42Referen
Page 60 and 61: Compliance Checks Details 500000000
Page 62 and 63: Compliance Checks Details 523.3.11
Page 64: Compliance Checks Details 543.3.13
Page 67 and 68: Compliance Checks Details 573.3.15
Page 69 and 70:
Compliance Checks Details 593.3.17
Page 71 and 72:
Page 73 and 74:
Page 75 and 76:
Page 77 and 78:
Page 79 and 80:
Page 81 and 82:
Page 83 and 84:
Compliance Checks Details 733.4.2 b
Page 85 and 86:
Page 87 and 88:
Page 89 and 90:
Page 91 and 92:
Page 93 and 94:
Page 95 and 96:
Page 97 and 98:
Page 99 and 100:
Page 101 and 102:
Page 103 and 104:
Page 105 and 106:
Page 107 and 108:
Compliance Checks Details 973.5 Dat
Page 109 and 110:
Compliance Checks Details 993.5.3 t
Page 111 and 112:
Page 113 and 114:
Page 115 and 116:
Compliance Checks Details 1053.6 Da
Page 117 and 118:
Page 119 and 120:
Compliance Checks Details 1093.7 Si
Page 121 and 122:
Page 123 and 124:
Page 125 and 126:
Page 127 and 128:
Page 129 and 130:
Page 131 and 132:
show all

OCP Comliance Checks_101905 - OCP-IP

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?