Michael Schaffner | 9da8322 | 2021-06-23 11:27:41 -0700 | [diff] [blame] | 1 | --- |
| 2 | title: "SYSRST_CTRL Checklist" |
| 3 | --- |
| 4 | |
| 5 | This checklist is for [Hardware Stage]({{< relref "/doc/project/development_stages.md" >}}) transitions for the [SYSRST_CTRL peripheral.]({{< relref "." >}}) |
| 6 | All checklist items refer to the content in the [Checklist.]({{< relref "/doc/project/checklist.md" >}}) |
| 7 | |
| 8 | ## Design Checklist |
| 9 | |
| 10 | ### D1 |
| 11 | |
| 12 | Type | Item | Resolution | Note/Collaterals |
| 13 | --------------|--------------------------------|-------------|------------------ |
Michael Schaffner | d578ec7 | 2021-06-23 11:28:05 -0700 | [diff] [blame] | 14 | Documentation | [SPEC_COMPLETE][] | Done | [SYSRST_CTRL Design Spec]({{<relref "." >}}) |
| 15 | Documentation | [CSR_DEFINED][] | Done | |
| 16 | RTL | [CLKRST_CONNECTED][] | Done | |
| 17 | RTL | [IP_TOP][] | Done | |
| 18 | RTL | [IP_INSTANTIABLE][] | Done | |
| 19 | RTL | [PHYSICAL_MACROS_DEFINED_80][] | N/A | |
| 20 | RTL | [FUNC_IMPLEMENTED][] | Done | |
| 21 | RTL | [ASSERT_KNOWN_ADDED][] | Done | |
| 22 | Code Quality | [LINT_SETUP][] | Done | |
Michael Schaffner | 9da8322 | 2021-06-23 11:27:41 -0700 | [diff] [blame] | 23 | |
| 24 | [SPEC_COMPLETE]: {{<relref "/doc/project/checklist.md#spec_complete" >}} |
| 25 | [CSR_DEFINED]: {{<relref "/doc/project/checklist.md#csr_defined" >}} |
| 26 | [CLKRST_CONNECTED]: {{<relref "/doc/project/checklist.md#clkrst_connected" >}} |
| 27 | [IP_TOP]: {{<relref "/doc/project/checklist.md#ip_top" >}} |
| 28 | [IP_INSTANTIABLE]: {{<relref "/doc/project/checklist.md#ip_instantiable" >}} |
| 29 | [PHYSICAL_MACROS_DEFINED_80]: {{<relref "/doc/project/checklist.md#physical_macros_defined_80" >}} |
| 30 | [FUNC_IMPLEMENTED]: {{<relref "/doc/project/checklist.md#func_implemented" >}} |
| 31 | [ASSERT_KNOWN_ADDED]: {{<relref "/doc/project/checklist.md#assert_known_added" >}} |
| 32 | [LINT_SETUP]: {{<relref "/doc/project/checklist.md#lint_setup" >}} |
| 33 | |
| 34 | ### D2 |
| 35 | |
| 36 | Type | Item | Resolution | Note/Collaterals |
| 37 | --------------|-------------------------|-------------|------------------ |
Michael Schaffner | d578ec7 | 2021-06-23 11:28:05 -0700 | [diff] [blame] | 38 | Documentation | [NEW_FEATURES][] | Done | |
| 39 | Documentation | [BLOCK_DIAGRAM][] | Done | |
Michael Schaffner | 8aa911c | 2021-08-12 18:10:19 -0700 | [diff] [blame] | 40 | Documentation | [DOC_INTERFACE][] | Done | |
| 41 | Documentation | [MISSING_FUNC][] | Done | |
Michael Schaffner | d578ec7 | 2021-06-23 11:28:05 -0700 | [diff] [blame] | 42 | Documentation | [FEATURE_FROZEN][] | Done | |
| 43 | RTL | [FEATURE_COMPLETE][] | Done | |
| 44 | RTL | [AREA_CHECK][] | Done | |
| 45 | RTL | [PORT_FROZEN][] | Done | |
| 46 | RTL | [ARCHITECTURE_FROZEN][] | Done | |
| 47 | RTL | [REVIEW_TODO][] | Done | |
| 48 | RTL | [STYLE_X][] | Done | |
| 49 | Code Quality | [LINT_PASS][] | Done | |
| 50 | Code Quality | [CDC_SETUP][] | Waived | CDC tool setup not yet available. |
| 51 | Code Quality | [FPGA_TIMING][] | Done | |
Michael Schaffner | 8aa911c | 2021-08-12 18:10:19 -0700 | [diff] [blame] | 52 | Code Quality | [CDC_SYNCMACRO][] | Done | |
Tom Roberts | afb72b5 | 2021-09-07 15:32:55 +0100 | [diff] [blame] | 53 | Security | [SEC_CM_DOCUMENTED][] | N/A | |
Michael Schaffner | d578ec7 | 2021-06-23 11:28:05 -0700 | [diff] [blame] | 54 | Security | [SEC_RND_CNST][] | N/A | |
Michael Schaffner | 9da8322 | 2021-06-23 11:27:41 -0700 | [diff] [blame] | 55 | |
| 56 | [NEW_FEATURES]: {{<relref "/doc/project/checklist.md#new_features" >}} |
| 57 | [BLOCK_DIAGRAM]: {{<relref "/doc/project/checklist.md#block_diagram" >}} |
| 58 | [DOC_INTERFACE]: {{<relref "/doc/project/checklist.md#doc_interface" >}} |
| 59 | [MISSING_FUNC]: {{<relref "/doc/project/checklist.md#missing_func" >}} |
| 60 | [FEATURE_FROZEN]: {{<relref "/doc/project/checklist.md#feature_frozen" >}} |
| 61 | [FEATURE_COMPLETE]: {{<relref "/doc/project/checklist.md#feature_complete" >}} |
| 62 | [AREA_CHECK]: {{<relref "/doc/project/checklist.md#area_check" >}} |
| 63 | [PORT_FROZEN]: {{<relref "/doc/project/checklist.md#port_frozen" >}} |
| 64 | [ARCHITECTURE_FROZEN]: {{<relref "/doc/project/checklist.md#architecture_frozen" >}} |
| 65 | [REVIEW_TODO]: {{<relref "/doc/project/checklist.md#review_todo" >}} |
| 66 | [STYLE_X]: {{<relref "/doc/project/checklist.md#style_x" >}} |
| 67 | [LINT_PASS]: {{<relref "/doc/project/checklist.md#lint_pass" >}} |
| 68 | [CDC_SETUP]: {{<relref "/doc/project/checklist.md#cdc_setup" >}} |
| 69 | [FPGA_TIMING]: {{<relref "/doc/project/checklist.md#fpga_timing" >}} |
| 70 | [CDC_SYNCMACRO]: {{<relref "/doc/project/checklist.md#cdc_syncmacro" >}} |
Tom Roberts | afb72b5 | 2021-09-07 15:32:55 +0100 | [diff] [blame] | 71 | [SEC_CM_DOCUMENTED]: {{<relref "/doc/project/checklist.md#sec_cm_documented" >}} |
Michael Schaffner | 9da8322 | 2021-06-23 11:27:41 -0700 | [diff] [blame] | 72 | [SEC_RND_CNST]: {{<relref "/doc/project/checklist.md#sec_rnd_cnst" >}} |
| 73 | |
Michael Schaffner | dd9544e | 2021-11-04 15:58:58 -0700 | [diff] [blame] | 74 | ### D2S |
| 75 | |
Michael Schaffner | 87c4100 | 2021-12-10 14:29:01 -0800 | [diff] [blame] | 76 | Type | Item | Resolution | Note/Collaterals |
| 77 | --------------|------------------------------|-------------|------------------ |
Michael Schaffner | c107a19 | 2022-01-25 20:54:50 -0800 | [diff] [blame] | 78 | Security | [SEC_CM_ASSETS_LISTED][] | Done | |
Srikrishna Iyer | 58c1f88 | 2022-02-08 21:17:20 -0800 | [diff] [blame] | 79 | Security | [SEC_CM_IMPLEMENTED][] | Done | |
Michael Schaffner | a071347 | 2022-04-25 17:43:12 -0700 | [diff] [blame] | 80 | Security | [SEC_CM_NON_RESET_FLOPS][] | N/A | |
| 81 | Security | [SEC_CM_SHADOW_REGS][] | N/A | |
Michael Schaffner | c107a19 | 2022-01-25 20:54:50 -0800 | [diff] [blame] | 82 | Security | [SEC_CM_RTL_REVIEWED][] | N/A | |
| 83 | Security | [SEC_CM_COUNCIL_REVIEWED][] | N/A | This block only contains the bus-integrity CM. |
Michael Schaffner | dd9544e | 2021-11-04 15:58:58 -0700 | [diff] [blame] | 84 | |
Michael Schaffner | 87c4100 | 2021-12-10 14:29:01 -0800 | [diff] [blame] | 85 | [SEC_CM_ASSETS_LISTED]: {{<relref "/doc/project/checklist.md#sec_cm_assets_listed" >}} |
Michael Schaffner | ec66fc8 | 2022-01-18 10:14:16 -0800 | [diff] [blame] | 86 | [SEC_CM_IMPLEMENTED]: {{<relref "/doc/project/checklist.md#sec_cm_implemented" >}} |
Michael Schaffner | a071347 | 2022-04-25 17:43:12 -0700 | [diff] [blame] | 87 | [SEC_CM_NON_RESET_FLOPS]: {{<relref "/doc/project/checklist.md#sec_cm_non_reset_flops" >}} |
| 88 | [SEC_CM_SHADOW_REGS]: {{<relref "/doc/project/checklist.md#sec_cm_shadow_regs" >}} |
Michael Schaffner | 87c4100 | 2021-12-10 14:29:01 -0800 | [diff] [blame] | 89 | [SEC_CM_RTL_REVIEWED]: {{<relref "/doc/project/checklist.md#sec_cm_rtl_reviewed" >}} |
| 90 | [SEC_CM_COUNCIL_REVIEWED]: {{<relref "/doc/project/checklist.md#sec_cm_council_reviewed" >}} |
Michael Schaffner | dd9544e | 2021-11-04 15:58:58 -0700 | [diff] [blame] | 91 | |
Michael Schaffner | 9da8322 | 2021-06-23 11:27:41 -0700 | [diff] [blame] | 92 | ### D3 |
| 93 | |
| 94 | Type | Item | Resolution | Note/Collaterals |
| 95 | --------------|-------------------------|-------------|------------------ |
| 96 | Documentation | [NEW_FEATURES_D3][] | Not Started | |
| 97 | RTL | [TODO_COMPLETE][] | Not Started | |
| 98 | Code Quality | [LINT_COMPLETE][] | Not Started | |
| 99 | Code Quality | [CDC_COMPLETE][] | Not Started | |
Michael Schaffner | a071347 | 2022-04-25 17:43:12 -0700 | [diff] [blame] | 100 | Code Quality | [RDC_COMPLETE][] | Not Started | |
Michael Schaffner | 9da8322 | 2021-06-23 11:27:41 -0700 | [diff] [blame] | 101 | Review | [REVIEW_RTL][] | Not Started | |
| 102 | Review | [REVIEW_DELETED_FF][] | Not Started | |
Michael Schaffner | 9da8322 | 2021-06-23 11:27:41 -0700 | [diff] [blame] | 103 | Review | [REVIEW_SW_CHANGE][] | Not Started | |
| 104 | Review | [REVIEW_SW_ERRATA][] | Not Started | |
| 105 | Review | Reviewer(s) | Not Started | |
| 106 | Review | Signoff date | Not Started | |
| 107 | |
| 108 | [NEW_FEATURES_D3]: {{<relref "/doc/project/checklist.md#new_features_d3" >}} |
| 109 | [TODO_COMPLETE]: {{<relref "/doc/project/checklist.md#todo_complete" >}} |
| 110 | [LINT_COMPLETE]: {{<relref "/doc/project/checklist.md#lint_complete" >}} |
| 111 | [CDC_COMPLETE]: {{<relref "/doc/project/checklist.md#cdc_complete" >}} |
Michael Schaffner | a071347 | 2022-04-25 17:43:12 -0700 | [diff] [blame] | 112 | [RDC_COMPLETE]: {{<relref "/doc/project/checklist.md#rdc_complete" >}} |
Michael Schaffner | 9da8322 | 2021-06-23 11:27:41 -0700 | [diff] [blame] | 113 | [REVIEW_RTL]: {{<relref "/doc/project/checklist.md#review_rtl" >}} |
Michael Schaffner | 9da8322 | 2021-06-23 11:27:41 -0700 | [diff] [blame] | 114 | [REVIEW_DELETED_FF]: {{<relref "/doc/project/checklist.md#review_deleted_ff" >}} |
Michael Schaffner | 9da8322 | 2021-06-23 11:27:41 -0700 | [diff] [blame] | 115 | [REVIEW_SW_CHANGE]: {{<relref "/doc/project/checklist.md#review_sw_change" >}} |
| 116 | [REVIEW_SW_ERRATA]: {{<relref "/doc/project/checklist.md#review_sw_errata" >}} |
| 117 | |
| 118 | ## Verification Checklist |
| 119 | |
| 120 | ### V1 |
| 121 | |
Madhuri Patel | 290b8cc | 2022-01-20 17:01:24 +0000 | [diff] [blame] | 122 | Type | Item | Resolution | Note/Collaterals |
| 123 | --------------|---------------------------------------|------------|------------------ |
| 124 | Documentation | [DV_DOC_DRAFT_COMPLETED][] | Done |({{<relref "dv/index.md" >}}) |
| 125 | Documentation | [TESTPLAN_COMPLETED][] | Done |({{<relref "dv/index.md#testplan" >}}) |
| 126 | Testbench | [TB_TOP_CREATED][] | Done | |
| 127 | Testbench | [PRELIMINARY_ASSERTION_CHECKS_ADDED][]| Done | |
| 128 | Testbench | [SIM_TB_ENV_CREATED][] | Done | |
| 129 | Testbench | [SIM_RAL_MODEL_GEN_AUTOMATED][] | Done | |
| 130 | Testbench | [CSR_CHECK_GEN_AUTOMATED][] | Done | |
| 131 | Testbench | [TB_GEN_AUTOMATED][] | Done | |
| 132 | Tests | [SIM_SMOKE_TEST_PASSING][] | Done | |
| 133 | Tests | [SIM_CSR_MEM_TEST_SUITE_PASSING][] | Done | |
| 134 | Tests | [FPV_MAIN_ASSERTIONS_PROVEN][] | N/A | |
| 135 | Tool Setup | [SIM_ALT_TOOL_SETUP][] | Done | |
| 136 | Regression | [SIM_SMOKE_REGRESSION_SETUP][] | Done | |
| 137 | Regression | [SIM_NIGHTLY_REGRESSION_SETUP][] | Done | |
| 138 | Regression | [FPV_REGRESSION_SETUP][] | N/A | |
| 139 | Coverage | [SIM_COVERAGE_MODEL_ADDED][] | Done | |
| 140 | Code Quality | [TB_LINT_SETUP][] | Done | |
| 141 | Integration | [PRE_VERIFIED_SUB_MODULES_V1][] | Done | |
| 142 | Review | [DESIGN_SPEC_REVIEWED][] | Done | |
| 143 | Review | [TESTPLAN_REVIEWED][] | Done | |
| 144 | Review | [STD_TEST_CATEGORIES_PLANNED][] | Done | |
| 145 | Review | [V2_CHECKLIST_SCOPED][] | Done | |
Michael Schaffner | 9da8322 | 2021-06-23 11:27:41 -0700 | [diff] [blame] | 146 | |
| 147 | [DV_DOC_DRAFT_COMPLETED]: {{<relref "/doc/project/checklist.md#dv_doc_draft_completed" >}} |
| 148 | [TESTPLAN_COMPLETED]: {{<relref "/doc/project/checklist.md#testplan_completed" >}} |
| 149 | [TB_TOP_CREATED]: {{<relref "/doc/project/checklist.md#tb_top_created" >}} |
| 150 | [PRELIMINARY_ASSERTION_CHECKS_ADDED]: {{<relref "/doc/project/checklist.md#preliminary_assertion_checks_added" >}} |
| 151 | [SIM_TB_ENV_CREATED]: {{<relref "/doc/project/checklist.md#sim_tb_env_created" >}} |
| 152 | [SIM_RAL_MODEL_GEN_AUTOMATED]: {{<relref "/doc/project/checklist.md#sim_ral_model_gen_automated" >}} |
| 153 | [CSR_CHECK_GEN_AUTOMATED]: {{<relref "/doc/project/checklist.md#csr_check_gen_automated" >}} |
| 154 | [TB_GEN_AUTOMATED]: {{<relref "/doc/project/checklist.md#tb_gen_automated" >}} |
| 155 | [SIM_SMOKE_TEST_PASSING]: {{<relref "/doc/project/checklist.md#sim_smoke_test_passing" >}} |
| 156 | [SIM_CSR_MEM_TEST_SUITE_PASSING]: {{<relref "/doc/project/checklist.md#sim_csr_mem_test_suite_passing" >}} |
| 157 | [FPV_MAIN_ASSERTIONS_PROVEN]: {{<relref "/doc/project/checklist.md#fpv_main_assertions_proven" >}} |
| 158 | [SIM_ALT_TOOL_SETUP]: {{<relref "/doc/project/checklist.md#sim_alt_tool_setup" >}} |
| 159 | [SIM_SMOKE_REGRESSION_SETUP]: {{<relref "/doc/project/checklist.md#sim_smoke_regression_setup" >}} |
| 160 | [SIM_NIGHTLY_REGRESSION_SETUP]: {{<relref "/doc/project/checklist.md#sim_nightly_regression_setup" >}} |
| 161 | [FPV_REGRESSION_SETUP]: {{<relref "/doc/project/checklist.md#fpv_regression_setup" >}} |
| 162 | [SIM_COVERAGE_MODEL_ADDED]: {{<relref "/doc/project/checklist.md#sim_coverage_model_added" >}} |
| 163 | [TB_LINT_SETUP]: {{<relref "/doc/project/checklist.md#tb_lint_setup" >}} |
| 164 | [PRE_VERIFIED_SUB_MODULES_V1]: {{<relref "/doc/project/checklist.md#pre_verified_sub_modules_v1" >}} |
| 165 | [DESIGN_SPEC_REVIEWED]: {{<relref "/doc/project/checklist.md#design_spec_reviewed" >}} |
| 166 | [TESTPLAN_REVIEWED]: {{<relref "/doc/project/checklist.md#testplan_reviewed" >}} |
| 167 | [STD_TEST_CATEGORIES_PLANNED]: {{<relref "/doc/project/checklist.md#std_test_categories_planned" >}} |
| 168 | [V2_CHECKLIST_SCOPED]: {{<relref "/doc/project/checklist.md#v2_checklist_scoped" >}} |
| 169 | |
| 170 | ### V2 |
| 171 | |
| 172 | Type | Item | Resolution | Note/Collaterals |
| 173 | --------------|-----------------------------------------|-------------|------------------ |
| 174 | Documentation | [DESIGN_DELTAS_CAPTURED_V2][] | Not Started | |
| 175 | Documentation | [DV_DOC_COMPLETED][] | Not Started | |
| 176 | Testbench | [FUNCTIONAL_COVERAGE_IMPLEMENTED][] | Not Started | |
| 177 | Testbench | [ALL_INTERFACES_EXERCISED][] | Not Started | |
| 178 | Testbench | [ALL_ASSERTION_CHECKS_ADDED][] | Not Started | |
| 179 | Testbench | [SIM_TB_ENV_COMPLETED][] | Not Started | |
| 180 | Tests | [SIM_ALL_TESTS_PASSING][] | Not Started | |
| 181 | Tests | [FPV_ALL_ASSERTIONS_WRITTEN][] | Not Started | |
| 182 | Tests | [FPV_ALL_ASSUMPTIONS_REVIEWED][] | Not Started | |
| 183 | Tests | [SIM_FW_SIMULATED][] | Not Started | |
| 184 | Regression | [SIM_NIGHTLY_REGRESSION_V2][] | Not Started | |
| 185 | Coverage | [SIM_CODE_COVERAGE_V2][] | Not Started | |
| 186 | Coverage | [SIM_FUNCTIONAL_COVERAGE_V2][] | Not Started | |
| 187 | Coverage | [FPV_CODE_COVERAGE_V2][] | Not Started | |
| 188 | Coverage | [FPV_COI_COVERAGE_V2][] | Not Started | |
Michael Schaffner | 9da8322 | 2021-06-23 11:27:41 -0700 | [diff] [blame] | 189 | Integration | [PRE_VERIFIED_SUB_MODULES_V2][] | Not Started | |
| 190 | Issues | [NO_HIGH_PRIORITY_ISSUES_PENDING][] | Not Started | |
| 191 | Issues | [ALL_LOW_PRIORITY_ISSUES_ROOT_CAUSED][] | Not Started | |
| 192 | Review | [DV_DOC_TESTPLAN_REVIEWED][] | Not Started | |
| 193 | Review | [V3_CHECKLIST_SCOPED][] | Not Started | |
| 194 | |
| 195 | [DESIGN_DELTAS_CAPTURED_V2]: {{<relref "/doc/project/checklist.md#design_deltas_captured_v2" >}} |
| 196 | [DV_DOC_COMPLETED]: {{<relref "/doc/project/checklist.md#dv_doc_completed" >}} |
| 197 | [FUNCTIONAL_COVERAGE_IMPLEMENTED]: {{<relref "/doc/project/checklist.md#functional_coverage_implemented" >}} |
| 198 | [ALL_INTERFACES_EXERCISED]: {{<relref "/doc/project/checklist.md#all_interfaces_exercised" >}} |
| 199 | [ALL_ASSERTION_CHECKS_ADDED]: {{<relref "/doc/project/checklist.md#all_assertion_checks_added" >}} |
| 200 | [SIM_TB_ENV_COMPLETED]: {{<relref "/doc/project/checklist.md#sim_tb_env_completed" >}} |
| 201 | [SIM_ALL_TESTS_PASSING]: {{<relref "/doc/project/checklist.md#sim_all_tests_passing" >}} |
| 202 | [FPV_ALL_ASSERTIONS_WRITTEN]: {{<relref "/doc/project/checklist.md#fpv_all_assertions_written" >}} |
| 203 | [FPV_ALL_ASSUMPTIONS_REVIEWED]: {{<relref "/doc/project/checklist.md#fpv_all_assumptions_reviewed" >}} |
| 204 | [SIM_FW_SIMULATED]: {{<relref "/doc/project/checklist.md#sim_fw_simulated" >}} |
| 205 | [SIM_NIGHTLY_REGRESSION_V2]: {{<relref "/doc/project/checklist.md#sim_nightly_regression_v2" >}} |
| 206 | [SIM_CODE_COVERAGE_V2]: {{<relref "/doc/project/checklist.md#sim_code_coverage_v2" >}} |
| 207 | [SIM_FUNCTIONAL_COVERAGE_V2]: {{<relref "/doc/project/checklist.md#sim_functional_coverage_v2" >}} |
| 208 | [FPV_CODE_COVERAGE_V2]: {{<relref "/doc/project/checklist.md#fpv_code_coverage_v2" >}} |
| 209 | [FPV_COI_COVERAGE_V2]: {{<relref "/doc/project/checklist.md#fpv_coi_coverage_v2" >}} |
Michael Schaffner | 9da8322 | 2021-06-23 11:27:41 -0700 | [diff] [blame] | 210 | [PRE_VERIFIED_SUB_MODULES_V2]: {{<relref "/doc/project/checklist.md#pre_verified_sub_modules_v2" >}} |
| 211 | [NO_HIGH_PRIORITY_ISSUES_PENDING]: {{<relref "/doc/project/checklist.md#no_high_priority_issues_pending" >}} |
| 212 | [ALL_LOW_PRIORITY_ISSUES_ROOT_CAUSED]:{{<relref "/doc/project/checklist.md#all_low_priority_issues_root_caused" >}} |
| 213 | [DV_DOC_TESTPLAN_REVIEWED]: {{<relref "/doc/project/checklist.md#dv_doc_testplan_reviewed" >}} |
| 214 | [V3_CHECKLIST_SCOPED]: {{<relref "/doc/project/checklist.md#v3_checklist_scoped" >}} |
| 215 | |
Michael Schaffner | dd9544e | 2021-11-04 15:58:58 -0700 | [diff] [blame] | 216 | ### V2S |
| 217 | |
| 218 | Type | Item | Resolution | Note/Collaterals |
| 219 | --------------|-----------------------------------------|-------------|------------------ |
Srikrishna Iyer | 58c1f88 | 2022-02-08 21:17:20 -0800 | [diff] [blame] | 220 | Documentation | [SEC_CM_TESTPLAN_COMPLETED][] | Not Started | |
Weicai Yang | 6a25a62 | 2022-02-02 11:54:22 -0800 | [diff] [blame] | 221 | Tests | [FPV_SEC_CM_VERIFIED][] | Not Started | |
| 222 | Tests | [SIM_SEC_CM_VERIFIED][] | Not Started | |
Weicai Yang | e5b4eda | 2022-03-08 15:51:00 -0800 | [diff] [blame] | 223 | Coverage | [SIM_COVERAGE_REVIEWED][] | Not Started | |
Srikrishna Iyer | 58c1f88 | 2022-02-08 21:17:20 -0800 | [diff] [blame] | 224 | Review | [SEC_CM_DV_REVIEWED][] | Not Started | |
| 225 | |
| 226 | [SEC_CM_TESTPLAN_COMPLETED]: {{<relref "/doc/project/checklist.md#sec_cm_testplan_completed" >}} |
Weicai Yang | 6a25a62 | 2022-02-02 11:54:22 -0800 | [diff] [blame] | 227 | [FPV_SEC_CM_VERIFIED]: {{<relref "/doc/project/checklist.md#fpv_sec_cm_verified" >}} |
| 228 | [SIM_SEC_CM_VERIFIED]: {{<relref "/doc/project/checklist.md#sim_sec_cm_verified" >}} |
Weicai Yang | e5b4eda | 2022-03-08 15:51:00 -0800 | [diff] [blame] | 229 | [SIM_COVERAGE_REVIEWED]: {{<relref "/doc/project/checklist.md#sim_coverage_reviewed" >}} |
Srikrishna Iyer | 58c1f88 | 2022-02-08 21:17:20 -0800 | [diff] [blame] | 230 | [SEC_CM_DV_REVIEWED]: {{<relref "/doc/project/checklist.md#sec_cm_dv_reviewed" >}} |
Michael Schaffner | dd9544e | 2021-11-04 15:58:58 -0700 | [diff] [blame] | 231 | |
Michael Schaffner | 9da8322 | 2021-06-23 11:27:41 -0700 | [diff] [blame] | 232 | ### V3 |
| 233 | |
| 234 | Type | Item | Resolution | Note/Collaterals |
| 235 | --------------|-----------------------------------|-------------|------------------ |
| 236 | Documentation | [DESIGN_DELTAS_CAPTURED_V3][] | Not Started | |
| 237 | Tests | [X_PROP_ANALYSIS_COMPLETED][] | Not Started | |
| 238 | Tests | [FPV_ASSERTIONS_PROVEN_AT_V3][] | Not Started | |
| 239 | Regression | [SIM_NIGHTLY_REGRESSION_AT_V3][] | Not Started | |
| 240 | Coverage | [SIM_CODE_COVERAGE_AT_100][] | Not Started | |
| 241 | Coverage | [SIM_FUNCTIONAL_COVERAGE_AT_100][]| Not Started | |
| 242 | Coverage | [FPV_CODE_COVERAGE_AT_100][] | Not Started | |
| 243 | Coverage | [FPV_COI_COVERAGE_AT_100][] | Not Started | |
| 244 | Code Quality | [ALL_TODOS_RESOLVED][] | Not Started | |
| 245 | Code Quality | [NO_TOOL_WARNINGS_THROWN][] | Not Started | |
| 246 | Code Quality | [TB_LINT_COMPLETE][] | Not Started | |
| 247 | Integration | [PRE_VERIFIED_SUB_MODULES_V3][] | Not Started | |
| 248 | Issues | [NO_ISSUES_PENDING][] | Not Started | |
| 249 | Review | Reviewer(s) | Not Started | |
| 250 | Review | Signoff date | Not Started | |
| 251 | |
| 252 | [DESIGN_DELTAS_CAPTURED_V3]: {{<relref "/doc/project/checklist.md#design_deltas_captured_v3" >}} |
| 253 | [X_PROP_ANALYSIS_COMPLETED]: {{<relref "/doc/project/checklist.md#x_prop_analysis_completed" >}} |
| 254 | [FPV_ASSERTIONS_PROVEN_AT_V3]: {{<relref "/doc/project/checklist.md#fpv_assertions_proven_at_v3" >}} |
| 255 | [SIM_NIGHTLY_REGRESSION_AT_V3]: {{<relref "/doc/project/checklist.md#sim_nightly_regression_at_v3" >}} |
| 256 | [SIM_CODE_COVERAGE_AT_100]: {{<relref "/doc/project/checklist.md#sim_code_coverage_at_100" >}} |
| 257 | [SIM_FUNCTIONAL_COVERAGE_AT_100]:{{<relref "/doc/project/checklist.md#sim_functional_coverage_at_100" >}} |
| 258 | [FPV_CODE_COVERAGE_AT_100]: {{<relref "/doc/project/checklist.md#fpv_code_coverage_at_100" >}} |
| 259 | [FPV_COI_COVERAGE_AT_100]: {{<relref "/doc/project/checklist.md#fpv_coi_coverage_at_100" >}} |
| 260 | [ALL_TODOS_RESOLVED]: {{<relref "/doc/project/checklist.md#all_todos_resolved" >}} |
| 261 | [NO_TOOL_WARNINGS_THROWN]: {{<relref "/doc/project/checklist.md#no_tool_warnings_thrown" >}} |
| 262 | [TB_LINT_COMPLETE]: {{<relref "/doc/project/checklist.md#tb_lint_complete" >}} |
| 263 | [PRE_VERIFIED_SUB_MODULES_V3]: {{<relref "/doc/project/checklist.md#pre_verified_sub_modules_v3" >}} |
| 264 | [NO_ISSUES_PENDING]: {{<relref "/doc/project/checklist.md#no_issues_pending" >}} |