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

module prim_alert_rxtx_fatal_bind_fpv;

  // this reuses the synchronous VIP.
  bind prim_alert_rxtx_tb
        prim_alert_rxtx_assert_fpv prim_alert_rxtx_assert_fpv (
    .clk_i,
    .rst_ni,
    .ping_err_pi,
    .ping_err_ni,
    .ack_err_pi,
    .ack_err_ni,
    .alert_err_pi,
    .alert_err_ni,
    .alert_test_i,
    .alert_req_i,
    .alert_ack_o,
    .alert_state_o,
    .init_trig_i,
    .ping_req_i,
    .ping_ok_o,
    .integ_fail_o,
    .alert_o
  );

endmodule : prim_alert_rxtx_fatal_bind_fpv
