Entity: prim_alert_rxtx_async_fpv
- File: prim_alert_rxtx_async_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
Testbench module for alert sender/receiver pair. Intended to use with a formal tool.
Ports
Port name | Direction | Type | Description |
---|---|---|---|
clk_i | input | ||
rst_ni | input | ||
ping_err_pi | input | for sigint error and skew injection only | |
ping_err_ni | input | ||
ping_skew_i | input | [1:0] | |
ack_err_pi | input | ||
ack_err_ni | input | ||
ack_skew_i | input | [1:0] | |
alert_err_pi | input | ||
alert_err_ni | input | ||
alert_skew_i | input | [1:0] | |
alert_test_i | input | normal I/Os | |
alert_req_i | input | ||
ping_req_i | input | ||
alert_ack_o | output | ||
alert_state_o | output | ||
ping_ok_o | output | ||
integ_fail_o | output | ||
alert_o | output |
Signals
Name | Type | Description |
---|---|---|
ping_pd | logic | |
ping_nd | logic | |
ack_pd | logic | |
ack_nd | logic | |
alert_pd | logic | |
alert_nd | logic | |
alert_rx_out | alert_rx_t | |
alert_rx_in | alert_rx_t | |
alert_tx_out | alert_tx_t | |
alert_tx_in | alert_tx_t | |
ping_pq | logic [1:0] | for the purposes of FPV, we currently emulate the asynchronous transition only in terms of the skew it may introduce (which is limited to +- 1 cycle) |
ping_nq | logic [1:0] | |
ack_pq | logic [1:0] | |
ack_nq | logic [1:0] | |
alert_pq | logic [1:0] | |
alert_nq | logic [1:0] |
Constants
Name | Type | Value | Description |
---|---|---|---|
AsyncOn | bit | 1'b1 | asynchronous case |
Processes
- p_skew_delay: ( @(posedge clk_i or negedge rst_ni) )
Type: always_ff
Instantiations
- i_prim_alert_sender: prim_alert_sender
- i_prim_alert_receiver: prim_alert_receiver