Entity: alert_handler_esc_timer_assert_fpv
- File: alert_handler_esc_timer_assert_fpv.sv
Diagram
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
- p_regs: ( @(posedge clk_i or negedge rst_ni) )
Type: always_ff
Description
//////////////////// Helper Processes // //////////////////// set registers