blob: 1b05e078e91e6260c92aca7daeecbdcf61b158d5 [file] [log] [blame]
// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
// This contains SVA assertions for clock gating output to alert_handler for
// AON clocks: they are never gated off.
interface clkmgr_aon_cg_en_sva_if (
input logic clk,
input logic rst_n,
input logic cg_en
);
bit disable_sva;
`ASSERT_INIT_NET(CgEn_A, !cg_en)
endinterface