- File: keymgr_input_checks.sv
Diagram
Description
Copyright lowRISC contributors. Licensed under the Apache License, Version 2.0, see LICENSE for details. SPDX-License-Identifier: Apache-2.0
Key manager input checks Checks input data for errors We should also check for input validity
Generics
| Generic name |
Type |
Value |
Description |
| KmacEnMasking |
bit |
1'b1 |
|
Ports
| Port name |
Direction |
Type |
Description |
| rom_digest_i |
input |
|
|
| max_key_versions_i |
input |
[2**StageWidth-1:0][31:0] |
|
| stage_sel_i |
input |
keymgr_stage_e |
|
| key_i |
input |
hw_key_req_t |
|
| key_version_i |
input |
[31:0] |
|
| creator_seed_i |
input |
[KeyWidth-1:0] |
|
| owner_seed_i |
input |
[KeyWidth-1:0] |
|
| devid_i |
input |
[DevIdWidth-1:0] |
|
| health_state_i |
input |
[HealthStateWidth-1:0] |
|
| creator_seed_vld_o |
output |
|
|
| owner_seed_vld_o |
output |
|
|
| devid_vld_o |
output |
|
|
| health_state_vld_o |
output |
|
|
| key_version_vld_o |
output |
|
|
| key_vld_o |
output |
|
|
| rom_digest_vld_o |
output |
|
|
Signals
| Name |
Type |
Description |
| cur_max_key_version |
logic [31:0] |
|
| creator_seed_padded |
logic [MaxWidth-1:0] |
general data check |
| owner_seed_padded |
logic [MaxWidth-1:0] |
general data check |
| devid_padded |
logic [MaxWidth-1:0] |
general data check |
| health_state_padded |
logic [MaxWidth-1:0] |
general data check |
| unused_key_vld |
logic |
key check |
| key_padded |
logic [KeyShares-1:0][MaxWidth-1:0] |
|
| key_chk |
logic [KeyShares-1:0] |
|
Constants
| Name |
Type |
Value |
Description |
| KeyShares |
int |
KmacEnMasking ? Shares : 1 |
|
Functions
- valid_chk (logic [MaxWidth-1:0]) return (logic)
Description
checks for all 0's or all 1's of value
Instantiations
- u_creator_seed: prim_msb_extend
- u_owner_seed: prim_msb_extend
- u_health_state: prim_msb_extend