OTBN Checklist

This checklist is for Hardware Stage transitions for the OTBN peripheral. All checklist items refer to the content in the Checklist.

Design Checklist

D1

Type Item Resolution Note/Collaterals
Documentation SPEC_COMPLETE Done OTBN Design Spec. The specification is feature-complete, we were able to successfully run larger chunks of crypto code with the described feature set. At the same time, the specification has (known and unknown) issues, such as incomplete or buggy descriptions of individual instructions. These issues are being worked on as they are discovered while the design is in the D1 stage.
Documentation CSR_DEFINED Done
RTL CLKRST_CONNECTED Done
RTL IP_TOP Done
RTL IP_INSTANTIABLE Done
RTL PHYSICAL_MACROS_DEFINED_80 Done The instruction and data memories make up the majority of the memories and are instantiated. The register files are planned to be implemented in registers.
RTL FUNC_IMPLEMENTED Done
RTL ASSERT_KNOWN_ADDED Done
Code Quality LINT_SETUP Done

D2

Type Item Resolution Note/Collaterals
Documentation NEW_FEATURES Not Started
Documentation BLOCK_DIAGRAM Not Started
Documentation DOC_INTERFACE Not Started
Documentation MISSING_FUNC Not Started
Documentation FEATURE_FROZEN Not Started
RTL FEATURE_COMPLETE Not Started
RTL AREA_SANITY_CHECK Not Started
RTL PORT_FROZEN Not Started
RTL ARCHITECTURE_FROZEN Not Started
RTL REVIEW_TODO Not Started
RTL STYLE_X Not Started
Code Quality LINT_PASS Not Started
Code Quality CDC_SETUP Not Started
Code Quality FPGA_TIMING Not Started
Code Quality CDC_SYNCMACRO Not Started
Security SEC_CM_IMPLEMENTED Not Started
Security SEC_NON_RESET_FLOPS Not Started
Security SEC_SHADOW_REGS Not Started

D3

Type Item Resolution Note/Collaterals
Documentation NEW_FEATURES_D3 Not Started
RTL TODO_COMPLETE Not Started
Code Quality LINT_COMPLETE Not Started
Code Quality CDC_COMPLETE Not Started
Review REVIEW_RTL Not Started
Review REVIEW_DELETED_FF Not Started
Review REVIEW_SW_CSR Not Started
Review REVIEW_SW_FATAL_ERR Not Started
Review REVIEW_SW_CHANGE Not Started
Review REVIEW_SW_ERRATA Not Started
Review Reviewer(s) Not Started
Review Signoff date Not Started

Verification Checklist

V1

Type Item Resolution Note/Collaterals
Documentation DV_PLAN_DRAFT_COMPLETED Not Started
Documentation TESTPLAN_COMPLETED Not Started
Testbench TB_TOP_CREATED Not Started
Testbench PRELIMINARY_ASSERTION_CHECKS_ADDED Not Started
Testbench SIM_TB_ENV_CREATED Not Started
Testbench SIM_RAL_MODEL_GEN_AUTOMATED Not Started
Testbench CSR_CHECK_GEN_AUTOMATED Not Started
Testbench TB_GEN_AUTOMATED Not Started
Tests SIM_SANITY_TEST_PASSING Not Started
Tests SIM_CSR_MEM_TEST_SUITE_PASSING Not Started
Tests FPV_MAIN_ASSERTIONS_PROVEN Not Started
Tool Setup SIM_ALT_TOOL_SETUP Not Started
Regression SIM_SANITY_REGRESSION_SETUP Not Started
Regression SIM_NIGHTLY_REGRESSION_SETUP Not Started
Regression FPV_REGRESSION_SETUP Not Started
Coverage SIM_COVERAGE_MODEL_ADDED Not Started
Integration PRE_VERIFIED_SUB_MODULES_V1 Not Started
Review DESIGN_SPEC_REVIEWED Not Started
Review DV_PLAN_TESTPLAN_REVIEWED Not Started
Review STD_TEST_CATEGORIES_PLANNED Not Started Exception (?)
Review V2_CHECKLIST_SCOPED Not Started

V2

Type Item Resolution Note/Collaterals
Documentation DESIGN_DELTAS_CAPTURED_V2 Not Started
Documentation DV_PLAN_COMPLETED Not Started
Testbench ALL_INTERFACES_EXERCISED Not Started
Testbench ALL_ASSERTION_CHECKS_ADDED Not Started
Testbench SIM_TB_ENV_COMPLETED Not Started
Tests SIM_ALL_TESTS_PASSING Not Started
Tests FPV_ALL_ASSERTIONS_WRITTEN Not Started
Tests FPV_ALL_ASSUMPTIONS_REVIEWED Not Started
Tests SIM_FW_SIMULATED Not Started
Regression SIM_NIGHTLY_REGRESSION_V2 Not Started
Coverage SIM_CODE_COVERAGE_V2 Not Started
Coverage SIM_FUNCTIONAL_COVERAGE_V2 Not Started
Coverage FPV_CODE_COVERAGE_V2 Not Started
Coverage FPV_COI_COVERAGE_V2 Not Started
Issues NO_HIGH_PRIORITY_ISSUES_PENDING Not Started
Issues ALL_LOW_PRIORITY_ISSUES_ROOT_CAUSED Not Started
Integration PRE_VERIFIED_SUB_MODULES_V2 Not Started
Review V3_CHECKLIST_SCOPED Not Started

V3

Type Item Resolution Note/Collaterals
Documentation DESIGN_DELTAS_CAPTURED_V3 Not Started
Testbench ALL_TODOS_RESOLVED 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
Issues NO_ISSUES_PENDING Not Started
Code Quality NO_TOOL_WARNINGS_THROWN Not Started
Integration PRE_VERIFIED_SUB_MODULES_V3 Not Started
Review Reviewer(s) Not Started
Review Signoff date Not Started