SRAM_CTRL Checklist
This checklist is for Hardware Stage transitions for the SRAM_CTRL peripheral. All checklist items refer to the content in the Checklist.
Design Checklist
D1
| Type | Item | Resolution | Note/Collaterals |
|---|---|---|---|
| Documentation | SPEC_COMPLETE | Done | SRAM_CTRL Design Spec |
| Documentation | CSR_DEFINED | Done | |
| RTL | CLKRST_CONNECTED | Done | |
| RTL | IP_TOP | Done | |
| RTL | IP_INSTANTIABLE | Done | |
| RTL | MEM_INSTANCED_80 | Done | |
| RTL | FUNC_IMPLEMENTED | Done | |
| RTL | ASSERT_KNOWN_ADDED | Done | |
| Code Quality | LINT_SETUP | Done |
D2
| Type | Item | Resolution | Note/Collaterals |
|---|---|---|---|
| Documentation | NEW_FEATURES | Done | |
| Documentation | BLOCK_DIAGRAM | Done | |
| Documentation | DOC_INTERFACE | Done | |
| Documentation | DOC_INTEGRATION_GUIDE | Waived | This checklist item has been added retrospectively. |
| Documentation | MISSING_FUNC | Done | |
| Documentation | FEATURE_FROZEN | Done | |
| RTL | FEATURE_COMPLETE | Done | |
| RTL | PORT_FROZEN | Done | |
| RTL | ARCHITECTURE_FROZEN | Done | |
| RTL | REVIEW_TODO | Done | |
| RTL | STYLE_X | Done | |
| RTL | CDC_SYNCMACRO | Done | |
| Code Quality | LINT_PASS | Done | |
| Code Quality | CDC_SETUP | Waived | No block-level flow available - waived to top-level signoff. |
| Code Quality | RDC_SETUP | Waived | No block-level flow available - waived to top-level signoff. |
| Code Quality | AREA_CHECK | Done | |
| Code Quality | TIMING_CHECK | Done | |
| Security | SEC_CM_DOCUMENTED | Done |
D2S
| Type | Item | Resolution | Note/Collaterals |
|---|---|---|---|
| Security | SEC_CM_ASSETS_LISTED | Done | |
| Security | SEC_CM_IMPLEMENTED | Done | |
| Security | SEC_CM_RND_CNST | Done | |
| Security | SEC_CM_NON_RESET_FLOPS | Done | |
| Security | SEC_CM_SHADOW_REGS | Done | |
| Security | SEC_CM_RTL_REVIEWED | Done | |
| Security | SEC_CM_COUNCIL_REVIEWED | Done |
D3
| Type | Item | Resolution | Note/Collaterals |
|---|---|---|---|
| Documentation | NEW_FEATURES_D3 | Done | |
| RTL | TODO_COMPLETE | Done | |
| Code Quality | LINT_COMPLETE | Done | |
| Code Quality | CDC_COMPLETE | Waived | No block-level flow available - waived to top-level signoff. |
| Code Quality | RDC_COMPLETE | Waived | No block-level flow available - waived to top-level signoff. |
| Review | REVIEW_RTL | Done | |
| Review | REVIEW_DELETED_FF | Waived | No block-level flow available - waived to top-level signoff. |
| Review | REVIEW_SW_CHANGE | Done | |
| Review | REVIEW_SW_ERRATA | Done | |
| Review | Reviewer(s) | Done | msf@ weicai@ tjaychen@ gac@ |
| Review | Signoff date | Done | 2022-07-15 |
Verification Checklist
V1
| Type | Item | Resolution | Note/Collaterals |
|---|---|---|---|
| Documentation | DV_DOC_DRAFT_COMPLETED | Done | |
| Documentation | TESTPLAN_COMPLETED | Done | |
| Testbench | TB_TOP_CREATED | Done | |
| Testbench | PRELIMINARY_ASSERTION_CHECKS_ADDED | Done | |
| Testbench | SIM_TB_ENV_CREATED | Done | |
| Testbench | SIM_RAL_MODEL_GEN_AUTOMATED | Done | |
| Testbench | CSR_CHECK_GEN_AUTOMATED | Done | |
| Testbench | TB_GEN_AUTOMATED | N/A | |
| Tests | SIM_SMOKE_TEST_PASSING | Done | |
| Tests | SIM_CSR_MEM_TEST_SUITE_PASSING | Done | |
| Tests | FPV_MAIN_ASSERTIONS_PROVEN | N/A | |
| Tool Setup | SIM_ALT_TOOL_SETUP | Done | |
| Regression | SIM_SMOKE_REGRESSION_SETUP | Done | |
| Regression | SIM_NIGHTLY_REGRESSION_SETUP | Done | |
| Regression | FPV_REGRESSION_SETUP | Done | |
| Coverage | SIM_COVERAGE_MODEL_ADDED | Done | |
| Code Quality | TB_LINT_SETUP | Done | |
| Integration | PRE_VERIFIED_SUB_MODULES_V1 | Done | |
| Review | DESIGN_SPEC_REVIEWED | Done | |
| Review | TESTPLAN_REVIEWED | Done | |
| Review | STD_TEST_CATEGORIES_PLANNED | Done | Exception (Security/Power/Debug) |
| Review | V2_CHECKLIST_SCOPED | Done |
V2
| Type | Item | Resolution | Note/Collaterals |
|---|---|---|---|
| Documentation | DESIGN_DELTAS_CAPTURED_V2 | Done | |
| Documentation | DV_DOC_COMPLETED | Done | |
| Testbench | FUNCTIONAL_COVERAGE_IMPLEMENTED | Done | |
| Testbench | ALL_INTERFACES_EXERCISED | Done | |
| Testbench | ALL_ASSERTION_CHECKS_ADDED | Done | |
| Testbench | SIM_TB_ENV_COMPLETED | Done | |
| Tests | SIM_ALL_TESTS_PASSING | Done | |
| Tests | FPV_ALL_ASSERTIONS_WRITTEN | N/A | |
| Tests | FPV_ALL_ASSUMPTIONS_REVIEWED | N/A | |
| Tests | SIM_FW_SIMULATED | Done | |
| Regression | SIM_NIGHTLY_REGRESSION_V2 | Done | |
| Coverage | SIM_CODE_COVERAGE_V2 | Done | |
| Coverage | SIM_FUNCTIONAL_COVERAGE_V2 | Done | |
| Coverage | FPV_CODE_COVERAGE_V2 | N/A | |
| Coverage | FPV_COI_COVERAGE_V2 | N/A | |
| Integration | PRE_VERIFIED_SUB_MODULES_V2 | Done | prim_prince and prim_lfsr are verified in separated TBs |
| Issues | NO_HIGH_PRIORITY_ISSUES_PENDING | Done | |
| Issues | ALL_LOW_PRIORITY_ISSUES_ROOT_CAUSED | Done | |
| Review | DV_DOC_TESTPLAN_REVIEWED | Done | |
| Review | V3_CHECKLIST_SCOPED | Done |
V2S
| Type | Item | Resolution | Note/Collaterals |
|---|---|---|---|
| Documentation | SEC_CM_TESTPLAN_COMPLETED | Done | |
| Tests | FPV_SEC_CM_VERIFIED | Done | Sub-module prim_count is proven in FPV |
| Tests | SIM_SEC_CM_VERIFIED | Done | |
| Coverage | SIM_COVERAGE_REVIEWED | Done | |
| Review | SEC_CM_DV_REVIEWED | Done |
V3
| Type | Item | Resolution | Note/Collaterals |
|---|---|---|---|
| Documentation | DESIGN_DELTAS_CAPTURED_V3 | Not Started | |
| Tests | X_PROP_ANALYSIS_COMPLETED | Not Started | |
| Tests | FPV_ASSERTIONS_PROVEN_AT_V3 | Not Started | |
| Regression | SIM_NIGHTLY_REGRESSION_AT_V3 | Not Started | |
| Coverage | SIM_CODE_COVERAGE_AT_100 | Not Started | |
| Coverage | SIM_FUNCTIONAL_COVERAGE_AT_100 | Not Started | |
| Coverage | FPV_CODE_COVERAGE_AT_100 | Not Started | |
| Coverage | FPV_COI_COVERAGE_AT_100 | Not Started | |
| Code Quality | ALL_TODOS_RESOLVED | Not Started | |
| Code Quality | NO_TOOL_WARNINGS_THROWN | Not Started | |
| Code Quality | TB_LINT_COMPLETE | Not Started | |
| Integration | PRE_VERIFIED_SUB_MODULES_V3 | Not Started | |
| Issues | NO_ISSUES_PENDING | Not Started | |
| Review | Reviewer(s) | Not Started | |
| Review | Signoff date | Not Started |