Entity: alert_handler_esc_timer_assert_fpv

Diagram

logic [alert_handler_esc_timer.StateWidth-1:0] state_encodings 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

Assertions for alert_handler_esc_timer. Intended to be used with a formal tool.

Generics

Generic name Type Value Description
state_encodings logic [alert_handler_esc_timer.StateWidth-1:0] check escalation cnt and state out

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 input
esc_trig_o input
esc_cnt_o input [EscCntDw-1:0]
esc_sig_req_o input [N_ESC_SEV-1:0]
esc_state_o input cstate_e

Signals

Name Type Description
esc_sel logic [1:0] symbolic vars for phase map check
phase_sel logic [1:0]
esc_has_triggered_q logic set regs
timeout_en_i timeout_cyc_i
esc_has_triggered_q timeout_cyc_i
clk_i timeout_cyc_i
accu_fail_i timeout_cyc_i
inside

Constants

Name Type Value Description
MAX_TIMEOUT_CYCLES int unsigned 10 ///////////////////////////// Declarations & Parameters // ///////////////////////////// constrain the state-spaces
MAX_PHASE_CYCLES int unsigned 10
phases cstate_e undefined

Processes

Type: always_ff

Description
//////////////////// Helper Processes // //////////////////// set registers