Entity: prim_secded_39_32_assert_fpv

Diagram

clk_i rst_ni [31:0] data_i [31:0] data_o [6:0] syndrome_o [1:0] err_o [38:0] error_inject_i

Description

Copyright lowRISC contributors. Licensed under the Apache License, Version 2.0, see LICENSE for details. SPDX-License-Identifier: Apache-2.0

SECDED FPV assertion file generated by util/design/secded_gen.py

Ports

Port name Direction Type Description
clk_i input
rst_ni input
data_i input [31:0]
data_o input [31:0]
syndrome_o input [6:0]
err_o input [1:0]
error_inject_i input [38:0]