blob: 12bd7e3ac220a556dcbc295e784eb10713f135c1 [file] [log] [blame]
// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
//
// Register Top module auto-generated by `reggen`
`include "prim_assert.sv"
module csrng_reg_top (
input clk_i,
input rst_ni,
input tlul_pkg::tl_h2d_t tl_i,
output tlul_pkg::tl_d2h_t tl_o,
// To HW
output csrng_reg_pkg::csrng_reg2hw_t reg2hw, // Write
input csrng_reg_pkg::csrng_hw2reg_t hw2reg, // Read
// Integrity check errors
output logic intg_err_o,
// Config
input devmode_i // If 1, explicit error return for unmapped register access
);
import csrng_reg_pkg::* ;
localparam int AW = 7;
localparam int DW = 32;
localparam int DBW = DW/8; // Byte Width
// register signals
logic reg_we;
logic reg_re;
logic [AW-1:0] reg_addr;
logic [DW-1:0] reg_wdata;
logic [DBW-1:0] reg_be;
logic [DW-1:0] reg_rdata;
logic reg_error;
logic addrmiss, wr_err;
logic [DW-1:0] reg_rdata_next;
tlul_pkg::tl_h2d_t tl_reg_h2d;
tlul_pkg::tl_d2h_t tl_reg_d2h;
// incoming payload check
logic intg_err;
tlul_cmd_intg_chk u_chk (
.tl_i,
.err_o(intg_err)
);
logic intg_err_q;
always_ff @(posedge clk_i or negedge rst_ni) begin
if (!rst_ni) begin
intg_err_q <= '0;
end else if (intg_err) begin
intg_err_q <= 1'b1;
end
end
// integrity error output is permanent and should be used for alert generation
// register errors are transactional
assign intg_err_o = intg_err_q | intg_err;
// outgoing integrity generation
tlul_pkg::tl_d2h_t tl_o_pre;
tlul_rsp_intg_gen #(
.EnableRspIntgGen(1),
.EnableDataIntgGen(1)
) u_rsp_intg_gen (
.tl_i(tl_o_pre),
.tl_o
);
assign tl_reg_h2d = tl_i;
assign tl_o_pre = tl_reg_d2h;
tlul_adapter_reg #(
.RegAw(AW),
.RegDw(DW),
.EnableDataIntgGen(0)
) u_reg_if (
.clk_i,
.rst_ni,
.tl_i (tl_reg_h2d),
.tl_o (tl_reg_d2h),
.we_o (reg_we),
.re_o (reg_re),
.addr_o (reg_addr),
.wdata_o (reg_wdata),
.be_o (reg_be),
.rdata_i (reg_rdata),
.error_i (reg_error)
);
assign reg_rdata = reg_rdata_next ;
assign reg_error = (devmode_i & addrmiss) | wr_err | intg_err;
// Define SW related signals
// Format: <reg>_<field>_{wd|we|qs}
// or <reg>_{wd|we|qs} if field == 1 or 0
logic intr_state_cs_cmd_req_done_qs;
logic intr_state_cs_cmd_req_done_wd;
logic intr_state_cs_cmd_req_done_we;
logic intr_state_cs_entropy_req_qs;
logic intr_state_cs_entropy_req_wd;
logic intr_state_cs_entropy_req_we;
logic intr_state_cs_hw_inst_exc_qs;
logic intr_state_cs_hw_inst_exc_wd;
logic intr_state_cs_hw_inst_exc_we;
logic intr_state_cs_fatal_err_qs;
logic intr_state_cs_fatal_err_wd;
logic intr_state_cs_fatal_err_we;
logic intr_enable_cs_cmd_req_done_qs;
logic intr_enable_cs_cmd_req_done_wd;
logic intr_enable_cs_cmd_req_done_we;
logic intr_enable_cs_entropy_req_qs;
logic intr_enable_cs_entropy_req_wd;
logic intr_enable_cs_entropy_req_we;
logic intr_enable_cs_hw_inst_exc_qs;
logic intr_enable_cs_hw_inst_exc_wd;
logic intr_enable_cs_hw_inst_exc_we;
logic intr_enable_cs_fatal_err_qs;
logic intr_enable_cs_fatal_err_wd;
logic intr_enable_cs_fatal_err_we;
logic intr_test_cs_cmd_req_done_wd;
logic intr_test_cs_cmd_req_done_we;
logic intr_test_cs_entropy_req_wd;
logic intr_test_cs_entropy_req_we;
logic intr_test_cs_hw_inst_exc_wd;
logic intr_test_cs_hw_inst_exc_we;
logic intr_test_cs_fatal_err_wd;
logic intr_test_cs_fatal_err_we;
logic alert_test_wd;
logic alert_test_we;
logic regwen_qs;
logic regwen_re;
logic ctrl_enable_qs;
logic ctrl_enable_wd;
logic ctrl_enable_we;
logic ctrl_aes_cipher_disable_qs;
logic ctrl_aes_cipher_disable_wd;
logic ctrl_aes_cipher_disable_we;
logic [3:0] ctrl_fifo_depth_sts_sel_qs;
logic [3:0] ctrl_fifo_depth_sts_sel_wd;
logic ctrl_fifo_depth_sts_sel_we;
logic [23:0] sum_sts_qs;
logic [31:0] cmd_req_wd;
logic cmd_req_we;
logic sw_cmd_sts_cmd_rdy_qs;
logic sw_cmd_sts_cmd_sts_qs;
logic genbits_vld_genbits_vld_qs;
logic genbits_vld_genbits_vld_re;
logic genbits_vld_genbits_fips_qs;
logic genbits_vld_genbits_fips_re;
logic [31:0] genbits_qs;
logic genbits_re;
logic halt_main_sm_wd;
logic halt_main_sm_we;
logic main_sm_sts_qs;
logic [3:0] int_state_num_qs;
logic [3:0] int_state_num_wd;
logic int_state_num_we;
logic [31:0] int_state_val_qs;
logic int_state_val_re;
logic [14:0] hw_exc_sts_qs;
logic [14:0] hw_exc_sts_wd;
logic hw_exc_sts_we;
logic err_code_sfifo_cmd_err_qs;
logic err_code_sfifo_genbits_err_qs;
logic err_code_sfifo_cmdreq_err_qs;
logic err_code_sfifo_rcstage_err_qs;
logic err_code_sfifo_keyvrc_err_qs;
logic err_code_sfifo_updreq_err_qs;
logic err_code_sfifo_bencreq_err_qs;
logic err_code_sfifo_bencack_err_qs;
logic err_code_sfifo_pdata_err_qs;
logic err_code_sfifo_final_err_qs;
logic err_code_sfifo_gbencack_err_qs;
logic err_code_sfifo_grcstage_err_qs;
logic err_code_sfifo_ggenreq_err_qs;
logic err_code_sfifo_gadstage_err_qs;
logic err_code_sfifo_ggenbits_err_qs;
logic err_code_sfifo_blkenc_err_qs;
logic err_code_cmd_stage_sm_err_qs;
logic err_code_main_sm_err_qs;
logic err_code_drbg_gen_sm_err_qs;
logic err_code_drbg_updbe_sm_err_qs;
logic err_code_drbg_updob_sm_err_qs;
logic err_code_aes_cipher_sm_err_qs;
logic err_code_fifo_write_err_qs;
logic err_code_fifo_read_err_qs;
logic err_code_fifo_state_err_qs;
logic [4:0] err_code_test_qs;
logic [4:0] err_code_test_wd;
logic err_code_test_we;
logic [1:0] sel_tracking_sm_wd;
logic sel_tracking_sm_we;
logic [31:0] tracking_sm_obs_qs;
// Register instances
// R[intr_state]: V(False)
// F[cs_cmd_req_done]: 0:0
prim_subreg #(
.DW (1),
.SWACCESS("W1C"),
.RESVAL (1'h0)
) u_intr_state_cs_cmd_req_done (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
// from register interface
.we (intr_state_cs_cmd_req_done_we),
.wd (intr_state_cs_cmd_req_done_wd),
// from internal hardware
.de (hw2reg.intr_state.cs_cmd_req_done.de),
.d (hw2reg.intr_state.cs_cmd_req_done.d ),
// to internal hardware
.qe (),
.q (reg2hw.intr_state.cs_cmd_req_done.q ),
// to register interface (read)
.qs (intr_state_cs_cmd_req_done_qs)
);
// F[cs_entropy_req]: 1:1
prim_subreg #(
.DW (1),
.SWACCESS("W1C"),
.RESVAL (1'h0)
) u_intr_state_cs_entropy_req (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
// from register interface
.we (intr_state_cs_entropy_req_we),
.wd (intr_state_cs_entropy_req_wd),
// from internal hardware
.de (hw2reg.intr_state.cs_entropy_req.de),
.d (hw2reg.intr_state.cs_entropy_req.d ),
// to internal hardware
.qe (),
.q (reg2hw.intr_state.cs_entropy_req.q ),
// to register interface (read)
.qs (intr_state_cs_entropy_req_qs)
);
// F[cs_hw_inst_exc]: 2:2
prim_subreg #(
.DW (1),
.SWACCESS("W1C"),
.RESVAL (1'h0)
) u_intr_state_cs_hw_inst_exc (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
// from register interface
.we (intr_state_cs_hw_inst_exc_we),
.wd (intr_state_cs_hw_inst_exc_wd),
// from internal hardware
.de (hw2reg.intr_state.cs_hw_inst_exc.de),
.d (hw2reg.intr_state.cs_hw_inst_exc.d ),
// to internal hardware
.qe (),
.q (reg2hw.intr_state.cs_hw_inst_exc.q ),
// to register interface (read)
.qs (intr_state_cs_hw_inst_exc_qs)
);
// F[cs_fatal_err]: 3:3
prim_subreg #(
.DW (1),
.SWACCESS("W1C"),
.RESVAL (1'h0)
) u_intr_state_cs_fatal_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
// from register interface
.we (intr_state_cs_fatal_err_we),
.wd (intr_state_cs_fatal_err_wd),
// from internal hardware
.de (hw2reg.intr_state.cs_fatal_err.de),
.d (hw2reg.intr_state.cs_fatal_err.d ),
// to internal hardware
.qe (),
.q (reg2hw.intr_state.cs_fatal_err.q ),
// to register interface (read)
.qs (intr_state_cs_fatal_err_qs)
);
// R[intr_enable]: V(False)
// F[cs_cmd_req_done]: 0:0
prim_subreg #(
.DW (1),
.SWACCESS("RW"),
.RESVAL (1'h0)
) u_intr_enable_cs_cmd_req_done (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
// from register interface
.we (intr_enable_cs_cmd_req_done_we),
.wd (intr_enable_cs_cmd_req_done_wd),
// from internal hardware
.de (1'b0),
.d ('0 ),
// to internal hardware
.qe (),
.q (reg2hw.intr_enable.cs_cmd_req_done.q ),
// to register interface (read)
.qs (intr_enable_cs_cmd_req_done_qs)
);
// F[cs_entropy_req]: 1:1
prim_subreg #(
.DW (1),
.SWACCESS("RW"),
.RESVAL (1'h0)
) u_intr_enable_cs_entropy_req (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
// from register interface
.we (intr_enable_cs_entropy_req_we),
.wd (intr_enable_cs_entropy_req_wd),
// from internal hardware
.de (1'b0),
.d ('0 ),
// to internal hardware
.qe (),
.q (reg2hw.intr_enable.cs_entropy_req.q ),
// to register interface (read)
.qs (intr_enable_cs_entropy_req_qs)
);
// F[cs_hw_inst_exc]: 2:2
prim_subreg #(
.DW (1),
.SWACCESS("RW"),
.RESVAL (1'h0)
) u_intr_enable_cs_hw_inst_exc (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
// from register interface
.we (intr_enable_cs_hw_inst_exc_we),
.wd (intr_enable_cs_hw_inst_exc_wd),
// from internal hardware
.de (1'b0),
.d ('0 ),
// to internal hardware
.qe (),
.q (reg2hw.intr_enable.cs_hw_inst_exc.q ),
// to register interface (read)
.qs (intr_enable_cs_hw_inst_exc_qs)
);
// F[cs_fatal_err]: 3:3
prim_subreg #(
.DW (1),
.SWACCESS("RW"),
.RESVAL (1'h0)
) u_intr_enable_cs_fatal_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
// from register interface
.we (intr_enable_cs_fatal_err_we),
.wd (intr_enable_cs_fatal_err_wd),
// from internal hardware
.de (1'b0),
.d ('0 ),
// to internal hardware
.qe (),
.q (reg2hw.intr_enable.cs_fatal_err.q ),
// to register interface (read)
.qs (intr_enable_cs_fatal_err_qs)
);
// R[intr_test]: V(True)
// F[cs_cmd_req_done]: 0:0
prim_subreg_ext #(
.DW (1)
) u_intr_test_cs_cmd_req_done (
.re (1'b0),
.we (intr_test_cs_cmd_req_done_we),
.wd (intr_test_cs_cmd_req_done_wd),
.d ('0),
.qre (),
.qe (reg2hw.intr_test.cs_cmd_req_done.qe),
.q (reg2hw.intr_test.cs_cmd_req_done.q ),
.qs ()
);
// F[cs_entropy_req]: 1:1
prim_subreg_ext #(
.DW (1)
) u_intr_test_cs_entropy_req (
.re (1'b0),
.we (intr_test_cs_entropy_req_we),
.wd (intr_test_cs_entropy_req_wd),
.d ('0),
.qre (),
.qe (reg2hw.intr_test.cs_entropy_req.qe),
.q (reg2hw.intr_test.cs_entropy_req.q ),
.qs ()
);
// F[cs_hw_inst_exc]: 2:2
prim_subreg_ext #(
.DW (1)
) u_intr_test_cs_hw_inst_exc (
.re (1'b0),
.we (intr_test_cs_hw_inst_exc_we),
.wd (intr_test_cs_hw_inst_exc_wd),
.d ('0),
.qre (),
.qe (reg2hw.intr_test.cs_hw_inst_exc.qe),
.q (reg2hw.intr_test.cs_hw_inst_exc.q ),
.qs ()
);
// F[cs_fatal_err]: 3:3
prim_subreg_ext #(
.DW (1)
) u_intr_test_cs_fatal_err (
.re (1'b0),
.we (intr_test_cs_fatal_err_we),
.wd (intr_test_cs_fatal_err_wd),
.d ('0),
.qre (),
.qe (reg2hw.intr_test.cs_fatal_err.qe),
.q (reg2hw.intr_test.cs_fatal_err.q ),
.qs ()
);
// R[alert_test]: V(True)
prim_subreg_ext #(
.DW (1)
) u_alert_test (
.re (1'b0),
.we (alert_test_we),
.wd (alert_test_wd),
.d ('0),
.qre (),
.qe (reg2hw.alert_test.qe),
.q (reg2hw.alert_test.q ),
.qs ()
);
// R[regwen]: V(True)
prim_subreg_ext #(
.DW (1)
) u_regwen (
.re (regwen_re),
.we (1'b0),
.wd ('0),
.d (hw2reg.regwen.d),
.qre (),
.qe (),
.q (),
.qs (regwen_qs)
);
// R[ctrl]: V(False)
// F[enable]: 0:0
prim_subreg #(
.DW (1),
.SWACCESS("RW"),
.RESVAL (1'h0)
) u_ctrl_enable (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
// from register interface
.we (ctrl_enable_we),
.wd (ctrl_enable_wd),
// from internal hardware
.de (1'b0),
.d ('0 ),
// to internal hardware
.qe (),
.q (reg2hw.ctrl.enable.q ),
// to register interface (read)
.qs (ctrl_enable_qs)
);
// F[aes_cipher_disable]: 1:1
prim_subreg #(
.DW (1),
.SWACCESS("RW"),
.RESVAL (1'h0)
) u_ctrl_aes_cipher_disable (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
// from register interface
.we (ctrl_aes_cipher_disable_we),
.wd (ctrl_aes_cipher_disable_wd),
// from internal hardware
.de (1'b0),
.d ('0 ),
// to internal hardware
.qe (),
.q (reg2hw.ctrl.aes_cipher_disable.q ),
// to register interface (read)
.qs (ctrl_aes_cipher_disable_qs)
);
// F[fifo_depth_sts_sel]: 19:16
prim_subreg #(
.DW (4),
.SWACCESS("RW"),
.RESVAL (4'h0)
) u_ctrl_fifo_depth_sts_sel (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
// from register interface
.we (ctrl_fifo_depth_sts_sel_we),
.wd (ctrl_fifo_depth_sts_sel_wd),
// from internal hardware
.de (1'b0),
.d ('0 ),
// to internal hardware
.qe (),
.q (reg2hw.ctrl.fifo_depth_sts_sel.q ),
// to register interface (read)
.qs (ctrl_fifo_depth_sts_sel_qs)
);
// R[sum_sts]: V(False)
prim_subreg #(
.DW (24),
.SWACCESS("RO"),
.RESVAL (24'h0)
) u_sum_sts (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.sum_sts.de),
.d (hw2reg.sum_sts.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (sum_sts_qs)
);
// R[cmd_req]: V(False)
prim_subreg #(
.DW (32),
.SWACCESS("WO"),
.RESVAL (32'h0)
) u_cmd_req (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
// from register interface
.we (cmd_req_we),
.wd (cmd_req_wd),
// from internal hardware
.de (1'b0),
.d ('0 ),
// to internal hardware
.qe (reg2hw.cmd_req.qe),
.q (reg2hw.cmd_req.q ),
.qs ()
);
// R[sw_cmd_sts]: V(False)
// F[cmd_rdy]: 0:0
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h1)
) u_sw_cmd_sts_cmd_rdy (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.sw_cmd_sts.cmd_rdy.de),
.d (hw2reg.sw_cmd_sts.cmd_rdy.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (sw_cmd_sts_cmd_rdy_qs)
);
// F[cmd_sts]: 1:1
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_sw_cmd_sts_cmd_sts (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.sw_cmd_sts.cmd_sts.de),
.d (hw2reg.sw_cmd_sts.cmd_sts.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (sw_cmd_sts_cmd_sts_qs)
);
// R[genbits_vld]: V(True)
// F[genbits_vld]: 0:0
prim_subreg_ext #(
.DW (1)
) u_genbits_vld_genbits_vld (
.re (genbits_vld_genbits_vld_re),
.we (1'b0),
.wd ('0),
.d (hw2reg.genbits_vld.genbits_vld.d),
.qre (),
.qe (),
.q (),
.qs (genbits_vld_genbits_vld_qs)
);
// F[genbits_fips]: 1:1
prim_subreg_ext #(
.DW (1)
) u_genbits_vld_genbits_fips (
.re (genbits_vld_genbits_fips_re),
.we (1'b0),
.wd ('0),
.d (hw2reg.genbits_vld.genbits_fips.d),
.qre (),
.qe (),
.q (),
.qs (genbits_vld_genbits_fips_qs)
);
// R[genbits]: V(True)
prim_subreg_ext #(
.DW (32)
) u_genbits (
.re (genbits_re),
.we (1'b0),
.wd ('0),
.d (hw2reg.genbits.d),
.qre (reg2hw.genbits.re),
.qe (),
.q (reg2hw.genbits.q ),
.qs (genbits_qs)
);
// R[halt_main_sm]: V(False)
prim_subreg #(
.DW (1),
.SWACCESS("WO"),
.RESVAL (1'h0)
) u_halt_main_sm (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
// from register interface
.we (halt_main_sm_we),
.wd (halt_main_sm_wd),
// from internal hardware
.de (1'b0),
.d ('0 ),
// to internal hardware
.qe (),
.q (reg2hw.halt_main_sm.q ),
.qs ()
);
// R[main_sm_sts]: V(False)
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_main_sm_sts (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.main_sm_sts.de),
.d (hw2reg.main_sm_sts.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (main_sm_sts_qs)
);
// R[int_state_num]: V(False)
prim_subreg #(
.DW (4),
.SWACCESS("RW"),
.RESVAL (4'h0)
) u_int_state_num (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
// from register interface
.we (int_state_num_we),
.wd (int_state_num_wd),
// from internal hardware
.de (1'b0),
.d ('0 ),
// to internal hardware
.qe (reg2hw.int_state_num.qe),
.q (reg2hw.int_state_num.q ),
// to register interface (read)
.qs (int_state_num_qs)
);
// R[int_state_val]: V(True)
prim_subreg_ext #(
.DW (32)
) u_int_state_val (
.re (int_state_val_re),
.we (1'b0),
.wd ('0),
.d (hw2reg.int_state_val.d),
.qre (reg2hw.int_state_val.re),
.qe (),
.q (reg2hw.int_state_val.q ),
.qs (int_state_val_qs)
);
// R[hw_exc_sts]: V(False)
prim_subreg #(
.DW (15),
.SWACCESS("RW"),
.RESVAL (15'h0)
) u_hw_exc_sts (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
// from register interface
.we (hw_exc_sts_we),
.wd (hw_exc_sts_wd),
// from internal hardware
.de (hw2reg.hw_exc_sts.de),
.d (hw2reg.hw_exc_sts.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (hw_exc_sts_qs)
);
// R[err_code]: V(False)
// F[sfifo_cmd_err]: 0:0
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_sfifo_cmd_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.sfifo_cmd_err.de),
.d (hw2reg.err_code.sfifo_cmd_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_sfifo_cmd_err_qs)
);
// F[sfifo_genbits_err]: 1:1
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_sfifo_genbits_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.sfifo_genbits_err.de),
.d (hw2reg.err_code.sfifo_genbits_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_sfifo_genbits_err_qs)
);
// F[sfifo_cmdreq_err]: 2:2
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_sfifo_cmdreq_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.sfifo_cmdreq_err.de),
.d (hw2reg.err_code.sfifo_cmdreq_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_sfifo_cmdreq_err_qs)
);
// F[sfifo_rcstage_err]: 3:3
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_sfifo_rcstage_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.sfifo_rcstage_err.de),
.d (hw2reg.err_code.sfifo_rcstage_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_sfifo_rcstage_err_qs)
);
// F[sfifo_keyvrc_err]: 4:4
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_sfifo_keyvrc_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.sfifo_keyvrc_err.de),
.d (hw2reg.err_code.sfifo_keyvrc_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_sfifo_keyvrc_err_qs)
);
// F[sfifo_updreq_err]: 5:5
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_sfifo_updreq_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.sfifo_updreq_err.de),
.d (hw2reg.err_code.sfifo_updreq_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_sfifo_updreq_err_qs)
);
// F[sfifo_bencreq_err]: 6:6
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_sfifo_bencreq_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.sfifo_bencreq_err.de),
.d (hw2reg.err_code.sfifo_bencreq_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_sfifo_bencreq_err_qs)
);
// F[sfifo_bencack_err]: 7:7
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_sfifo_bencack_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.sfifo_bencack_err.de),
.d (hw2reg.err_code.sfifo_bencack_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_sfifo_bencack_err_qs)
);
// F[sfifo_pdata_err]: 8:8
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_sfifo_pdata_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.sfifo_pdata_err.de),
.d (hw2reg.err_code.sfifo_pdata_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_sfifo_pdata_err_qs)
);
// F[sfifo_final_err]: 9:9
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_sfifo_final_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.sfifo_final_err.de),
.d (hw2reg.err_code.sfifo_final_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_sfifo_final_err_qs)
);
// F[sfifo_gbencack_err]: 10:10
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_sfifo_gbencack_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.sfifo_gbencack_err.de),
.d (hw2reg.err_code.sfifo_gbencack_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_sfifo_gbencack_err_qs)
);
// F[sfifo_grcstage_err]: 11:11
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_sfifo_grcstage_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.sfifo_grcstage_err.de),
.d (hw2reg.err_code.sfifo_grcstage_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_sfifo_grcstage_err_qs)
);
// F[sfifo_ggenreq_err]: 12:12
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_sfifo_ggenreq_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.sfifo_ggenreq_err.de),
.d (hw2reg.err_code.sfifo_ggenreq_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_sfifo_ggenreq_err_qs)
);
// F[sfifo_gadstage_err]: 13:13
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_sfifo_gadstage_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.sfifo_gadstage_err.de),
.d (hw2reg.err_code.sfifo_gadstage_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_sfifo_gadstage_err_qs)
);
// F[sfifo_ggenbits_err]: 14:14
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_sfifo_ggenbits_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.sfifo_ggenbits_err.de),
.d (hw2reg.err_code.sfifo_ggenbits_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_sfifo_ggenbits_err_qs)
);
// F[sfifo_blkenc_err]: 15:15
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_sfifo_blkenc_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.sfifo_blkenc_err.de),
.d (hw2reg.err_code.sfifo_blkenc_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_sfifo_blkenc_err_qs)
);
// F[cmd_stage_sm_err]: 20:20
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_cmd_stage_sm_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.cmd_stage_sm_err.de),
.d (hw2reg.err_code.cmd_stage_sm_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_cmd_stage_sm_err_qs)
);
// F[main_sm_err]: 21:21
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_main_sm_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.main_sm_err.de),
.d (hw2reg.err_code.main_sm_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_main_sm_err_qs)
);
// F[drbg_gen_sm_err]: 22:22
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_drbg_gen_sm_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.drbg_gen_sm_err.de),
.d (hw2reg.err_code.drbg_gen_sm_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_drbg_gen_sm_err_qs)
);
// F[drbg_updbe_sm_err]: 23:23
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_drbg_updbe_sm_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.drbg_updbe_sm_err.de),
.d (hw2reg.err_code.drbg_updbe_sm_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_drbg_updbe_sm_err_qs)
);
// F[drbg_updob_sm_err]: 24:24
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_drbg_updob_sm_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.drbg_updob_sm_err.de),
.d (hw2reg.err_code.drbg_updob_sm_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_drbg_updob_sm_err_qs)
);
// F[aes_cipher_sm_err]: 25:25
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_aes_cipher_sm_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.aes_cipher_sm_err.de),
.d (hw2reg.err_code.aes_cipher_sm_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_aes_cipher_sm_err_qs)
);
// F[fifo_write_err]: 28:28
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_fifo_write_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.fifo_write_err.de),
.d (hw2reg.err_code.fifo_write_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_fifo_write_err_qs)
);
// F[fifo_read_err]: 29:29
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_fifo_read_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.fifo_read_err.de),
.d (hw2reg.err_code.fifo_read_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_fifo_read_err_qs)
);
// F[fifo_state_err]: 30:30
prim_subreg #(
.DW (1),
.SWACCESS("RO"),
.RESVAL (1'h0)
) u_err_code_fifo_state_err (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.err_code.fifo_state_err.de),
.d (hw2reg.err_code.fifo_state_err.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (err_code_fifo_state_err_qs)
);
// R[err_code_test]: V(False)
prim_subreg #(
.DW (5),
.SWACCESS("RW"),
.RESVAL (5'h0)
) u_err_code_test (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
// from register interface (qualified with register enable)
.we (err_code_test_we & regwen_qs),
.wd (err_code_test_wd),
// from internal hardware
.de (1'b0),
.d ('0 ),
// to internal hardware
.qe (reg2hw.err_code_test.qe),
.q (reg2hw.err_code_test.q ),
// to register interface (read)
.qs (err_code_test_qs)
);
// R[sel_tracking_sm]: V(False)
prim_subreg #(
.DW (2),
.SWACCESS("WO"),
.RESVAL (2'h0)
) u_sel_tracking_sm (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
// from register interface
.we (sel_tracking_sm_we),
.wd (sel_tracking_sm_wd),
// from internal hardware
.de (1'b0),
.d ('0 ),
// to internal hardware
.qe (),
.q (reg2hw.sel_tracking_sm.q ),
.qs ()
);
// R[tracking_sm_obs]: V(False)
prim_subreg #(
.DW (32),
.SWACCESS("RO"),
.RESVAL (32'h0)
) u_tracking_sm_obs (
.clk_i (clk_i ),
.rst_ni (rst_ni ),
.we (1'b0),
.wd ('0 ),
// from internal hardware
.de (hw2reg.tracking_sm_obs.de),
.d (hw2reg.tracking_sm_obs.d ),
// to internal hardware
.qe (),
.q (),
// to register interface (read)
.qs (tracking_sm_obs_qs)
);
logic [19:0] addr_hit;
always_comb begin
addr_hit = '0;
addr_hit[ 0] = (reg_addr == CSRNG_INTR_STATE_OFFSET);
addr_hit[ 1] = (reg_addr == CSRNG_INTR_ENABLE_OFFSET);
addr_hit[ 2] = (reg_addr == CSRNG_INTR_TEST_OFFSET);
addr_hit[ 3] = (reg_addr == CSRNG_ALERT_TEST_OFFSET);
addr_hit[ 4] = (reg_addr == CSRNG_REGWEN_OFFSET);
addr_hit[ 5] = (reg_addr == CSRNG_CTRL_OFFSET);
addr_hit[ 6] = (reg_addr == CSRNG_SUM_STS_OFFSET);
addr_hit[ 7] = (reg_addr == CSRNG_CMD_REQ_OFFSET);
addr_hit[ 8] = (reg_addr == CSRNG_SW_CMD_STS_OFFSET);
addr_hit[ 9] = (reg_addr == CSRNG_GENBITS_VLD_OFFSET);
addr_hit[10] = (reg_addr == CSRNG_GENBITS_OFFSET);
addr_hit[11] = (reg_addr == CSRNG_HALT_MAIN_SM_OFFSET);
addr_hit[12] = (reg_addr == CSRNG_MAIN_SM_STS_OFFSET);
addr_hit[13] = (reg_addr == CSRNG_INT_STATE_NUM_OFFSET);
addr_hit[14] = (reg_addr == CSRNG_INT_STATE_VAL_OFFSET);
addr_hit[15] = (reg_addr == CSRNG_HW_EXC_STS_OFFSET);
addr_hit[16] = (reg_addr == CSRNG_ERR_CODE_OFFSET);
addr_hit[17] = (reg_addr == CSRNG_ERR_CODE_TEST_OFFSET);
addr_hit[18] = (reg_addr == CSRNG_SEL_TRACKING_SM_OFFSET);
addr_hit[19] = (reg_addr == CSRNG_TRACKING_SM_OBS_OFFSET);
end
assign addrmiss = (reg_re || reg_we) ? ~|addr_hit : 1'b0 ;
// Check sub-word write is permitted
always_comb begin
wr_err = (reg_we &
((addr_hit[ 0] & (|(CSRNG_PERMIT[ 0] & ~reg_be))) |
(addr_hit[ 1] & (|(CSRNG_PERMIT[ 1] & ~reg_be))) |
(addr_hit[ 2] & (|(CSRNG_PERMIT[ 2] & ~reg_be))) |
(addr_hit[ 3] & (|(CSRNG_PERMIT[ 3] & ~reg_be))) |
(addr_hit[ 4] & (|(CSRNG_PERMIT[ 4] & ~reg_be))) |
(addr_hit[ 5] & (|(CSRNG_PERMIT[ 5] & ~reg_be))) |
(addr_hit[ 6] & (|(CSRNG_PERMIT[ 6] & ~reg_be))) |
(addr_hit[ 7] & (|(CSRNG_PERMIT[ 7] & ~reg_be))) |
(addr_hit[ 8] & (|(CSRNG_PERMIT[ 8] & ~reg_be))) |
(addr_hit[ 9] & (|(CSRNG_PERMIT[ 9] & ~reg_be))) |
(addr_hit[10] & (|(CSRNG_PERMIT[10] & ~reg_be))) |
(addr_hit[11] & (|(CSRNG_PERMIT[11] & ~reg_be))) |
(addr_hit[12] & (|(CSRNG_PERMIT[12] & ~reg_be))) |
(addr_hit[13] & (|(CSRNG_PERMIT[13] & ~reg_be))) |
(addr_hit[14] & (|(CSRNG_PERMIT[14] & ~reg_be))) |
(addr_hit[15] & (|(CSRNG_PERMIT[15] & ~reg_be))) |
(addr_hit[16] & (|(CSRNG_PERMIT[16] & ~reg_be))) |
(addr_hit[17] & (|(CSRNG_PERMIT[17] & ~reg_be))) |
(addr_hit[18] & (|(CSRNG_PERMIT[18] & ~reg_be))) |
(addr_hit[19] & (|(CSRNG_PERMIT[19] & ~reg_be)))));
end
assign intr_state_cs_cmd_req_done_we = addr_hit[0] & reg_we & !reg_error;
assign intr_state_cs_cmd_req_done_wd = reg_wdata[0];
assign intr_state_cs_entropy_req_we = addr_hit[0] & reg_we & !reg_error;
assign intr_state_cs_entropy_req_wd = reg_wdata[1];
assign intr_state_cs_hw_inst_exc_we = addr_hit[0] & reg_we & !reg_error;
assign intr_state_cs_hw_inst_exc_wd = reg_wdata[2];
assign intr_state_cs_fatal_err_we = addr_hit[0] & reg_we & !reg_error;
assign intr_state_cs_fatal_err_wd = reg_wdata[3];
assign intr_enable_cs_cmd_req_done_we = addr_hit[1] & reg_we & !reg_error;
assign intr_enable_cs_cmd_req_done_wd = reg_wdata[0];
assign intr_enable_cs_entropy_req_we = addr_hit[1] & reg_we & !reg_error;
assign intr_enable_cs_entropy_req_wd = reg_wdata[1];
assign intr_enable_cs_hw_inst_exc_we = addr_hit[1] & reg_we & !reg_error;
assign intr_enable_cs_hw_inst_exc_wd = reg_wdata[2];
assign intr_enable_cs_fatal_err_we = addr_hit[1] & reg_we & !reg_error;
assign intr_enable_cs_fatal_err_wd = reg_wdata[3];
assign intr_test_cs_cmd_req_done_we = addr_hit[2] & reg_we & !reg_error;
assign intr_test_cs_cmd_req_done_wd = reg_wdata[0];
assign intr_test_cs_entropy_req_we = addr_hit[2] & reg_we & !reg_error;
assign intr_test_cs_entropy_req_wd = reg_wdata[1];
assign intr_test_cs_hw_inst_exc_we = addr_hit[2] & reg_we & !reg_error;
assign intr_test_cs_hw_inst_exc_wd = reg_wdata[2];
assign intr_test_cs_fatal_err_we = addr_hit[2] & reg_we & !reg_error;
assign intr_test_cs_fatal_err_wd = reg_wdata[3];
assign alert_test_we = addr_hit[3] & reg_we & !reg_error;
assign alert_test_wd = reg_wdata[0];
assign regwen_re = addr_hit[4] & reg_re & !reg_error;
assign ctrl_enable_we = addr_hit[5] & reg_we & !reg_error;
assign ctrl_enable_wd = reg_wdata[0];
assign ctrl_aes_cipher_disable_we = addr_hit[5] & reg_we & !reg_error;
assign ctrl_aes_cipher_disable_wd = reg_wdata[1];
assign ctrl_fifo_depth_sts_sel_we = addr_hit[5] & reg_we & !reg_error;
assign ctrl_fifo_depth_sts_sel_wd = reg_wdata[19:16];
assign cmd_req_we = addr_hit[7] & reg_we & !reg_error;
assign cmd_req_wd = reg_wdata[31:0];
assign genbits_vld_genbits_vld_re = addr_hit[9] & reg_re & !reg_error;
assign genbits_vld_genbits_fips_re = addr_hit[9] & reg_re & !reg_error;
assign genbits_re = addr_hit[10] & reg_re & !reg_error;
assign halt_main_sm_we = addr_hit[11] & reg_we & !reg_error;
assign halt_main_sm_wd = reg_wdata[0];
assign int_state_num_we = addr_hit[13] & reg_we & !reg_error;
assign int_state_num_wd = reg_wdata[3:0];
assign int_state_val_re = addr_hit[14] & reg_re & !reg_error;
assign hw_exc_sts_we = addr_hit[15] & reg_we & !reg_error;
assign hw_exc_sts_wd = reg_wdata[14:0];
assign err_code_test_we = addr_hit[17] & reg_we & !reg_error;
assign err_code_test_wd = reg_wdata[4:0];
assign sel_tracking_sm_we = addr_hit[18] & reg_we & !reg_error;
assign sel_tracking_sm_wd = reg_wdata[1:0];
// Read data return
always_comb begin
reg_rdata_next = '0;
unique case (1'b1)
addr_hit[0]: begin
reg_rdata_next[0] = intr_state_cs_cmd_req_done_qs;
reg_rdata_next[1] = intr_state_cs_entropy_req_qs;
reg_rdata_next[2] = intr_state_cs_hw_inst_exc_qs;
reg_rdata_next[3] = intr_state_cs_fatal_err_qs;
end
addr_hit[1]: begin
reg_rdata_next[0] = intr_enable_cs_cmd_req_done_qs;
reg_rdata_next[1] = intr_enable_cs_entropy_req_qs;
reg_rdata_next[2] = intr_enable_cs_hw_inst_exc_qs;
reg_rdata_next[3] = intr_enable_cs_fatal_err_qs;
end
addr_hit[2]: begin
reg_rdata_next[0] = '0;
reg_rdata_next[1] = '0;
reg_rdata_next[2] = '0;
reg_rdata_next[3] = '0;
end
addr_hit[3]: begin
reg_rdata_next[0] = '0;
end
addr_hit[4]: begin
reg_rdata_next[0] = regwen_qs;
end
addr_hit[5]: begin
reg_rdata_next[0] = ctrl_enable_qs;
reg_rdata_next[1] = ctrl_aes_cipher_disable_qs;
reg_rdata_next[19:16] = ctrl_fifo_depth_sts_sel_qs;
end
addr_hit[6]: begin
reg_rdata_next[23:0] = sum_sts_qs;
end
addr_hit[7]: begin
reg_rdata_next[31:0] = '0;
end
addr_hit[8]: begin
reg_rdata_next[0] = sw_cmd_sts_cmd_rdy_qs;
reg_rdata_next[1] = sw_cmd_sts_cmd_sts_qs;
end
addr_hit[9]: begin
reg_rdata_next[0] = genbits_vld_genbits_vld_qs;
reg_rdata_next[1] = genbits_vld_genbits_fips_qs;
end
addr_hit[10]: begin
reg_rdata_next[31:0] = genbits_qs;
end
addr_hit[11]: begin
reg_rdata_next[0] = '0;
end
addr_hit[12]: begin
reg_rdata_next[0] = main_sm_sts_qs;
end
addr_hit[13]: begin
reg_rdata_next[3:0] = int_state_num_qs;
end
addr_hit[14]: begin
reg_rdata_next[31:0] = int_state_val_qs;
end
addr_hit[15]: begin
reg_rdata_next[14:0] = hw_exc_sts_qs;
end
addr_hit[16]: begin
reg_rdata_next[0] = err_code_sfifo_cmd_err_qs;
reg_rdata_next[1] = err_code_sfifo_genbits_err_qs;
reg_rdata_next[2] = err_code_sfifo_cmdreq_err_qs;
reg_rdata_next[3] = err_code_sfifo_rcstage_err_qs;
reg_rdata_next[4] = err_code_sfifo_keyvrc_err_qs;
reg_rdata_next[5] = err_code_sfifo_updreq_err_qs;
reg_rdata_next[6] = err_code_sfifo_bencreq_err_qs;
reg_rdata_next[7] = err_code_sfifo_bencack_err_qs;
reg_rdata_next[8] = err_code_sfifo_pdata_err_qs;
reg_rdata_next[9] = err_code_sfifo_final_err_qs;
reg_rdata_next[10] = err_code_sfifo_gbencack_err_qs;
reg_rdata_next[11] = err_code_sfifo_grcstage_err_qs;
reg_rdata_next[12] = err_code_sfifo_ggenreq_err_qs;
reg_rdata_next[13] = err_code_sfifo_gadstage_err_qs;
reg_rdata_next[14] = err_code_sfifo_ggenbits_err_qs;
reg_rdata_next[15] = err_code_sfifo_blkenc_err_qs;
reg_rdata_next[20] = err_code_cmd_stage_sm_err_qs;
reg_rdata_next[21] = err_code_main_sm_err_qs;
reg_rdata_next[22] = err_code_drbg_gen_sm_err_qs;
reg_rdata_next[23] = err_code_drbg_updbe_sm_err_qs;
reg_rdata_next[24] = err_code_drbg_updob_sm_err_qs;
reg_rdata_next[25] = err_code_aes_cipher_sm_err_qs;
reg_rdata_next[28] = err_code_fifo_write_err_qs;
reg_rdata_next[29] = err_code_fifo_read_err_qs;
reg_rdata_next[30] = err_code_fifo_state_err_qs;
end
addr_hit[17]: begin
reg_rdata_next[4:0] = err_code_test_qs;
end
addr_hit[18]: begin
reg_rdata_next[1:0] = '0;
end
addr_hit[19]: begin
reg_rdata_next[31:0] = tracking_sm_obs_qs;
end
default: begin
reg_rdata_next = '1;
end
endcase
end
// Unused signal tieoff
// wdata / byte enable are not always fully used
// add a blanket unused statement to handle lint waivers
logic unused_wdata;
logic unused_be;
assign unused_wdata = ^reg_wdata;
assign unused_be = ^reg_be;
// Assertions for Register Interface
`ASSERT_PULSE(wePulse, reg_we)
`ASSERT_PULSE(rePulse, reg_re)
`ASSERT(reAfterRv, $rose(reg_re || reg_we) |=> tl_o.d_valid)
`ASSERT(en2addrHit, (reg_we || reg_re) |-> $onehot0(addr_hit))
// this is formulated as an assumption such that the FPV testbenches do disprove this
// property by mistake
//`ASSUME(reqParity, tl_reg_h2d.a_valid |-> tl_reg_h2d.a_user.chk_en == tlul_pkg::CheckDis)
endmodule