Entity: alert_handler_esc_timer_fpv

Diagram

clk_i rst_ni en_i clr_i accu_trig_i accu_fail_i timeout_en_i [EscCntDw-1:0] timeout_cyc_i [N_ESC_SEV-1:0] esc_en_i [N_ESC_SEV-1:0][PHASE_DW-1:0] esc_map_i [N_PHASES-1:0][EscCntDw-1:0] phase_cyc_i [PHASE_DW-1:0] crashdump_phase_i latch_crashdump_o esc_trig_o [EscCntDw-1:0] esc_cnt_o [N_ESC_SEV-1:0] esc_sig_req_o cstate_e esc_state_o

Description

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

Testbench module for alert_handler_esc_timer. Intended to be used with a formal tool.

Ports

Port name Direction Type Description
clk_i input
rst_ni input
en_i input
clr_i input
accu_trig_i input
accu_fail_i input
timeout_en_i input
timeout_cyc_i input [EscCntDw-1:0]
esc_en_i input [N_ESC_SEV-1:0]
esc_map_i input [N_ESC_SEV-1:0][PHASE_DW-1:0]
phase_cyc_i input [N_PHASES-1:0][EscCntDw-1:0]
crashdump_phase_i input [PHASE_DW-1:0]
latch_crashdump_o output
esc_trig_o output
esc_cnt_o output [EscCntDw-1:0]
esc_sig_req_o output [N_ESC_SEV-1:0]
esc_state_o output cstate_e

Instantiations