blob: 4fd752fc60cf20c37d2dd1ef5c888a6e5d22f961 [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 to check loosing calibration enables crtl regwen.
interface clkmgr_lost_calib_regwen_sva_if (
input logic clk,
input logic rst_n,
input prim_mubi_pkg::mubi4_t calib_rdy,
input logic meas_ctrl_regwen
);
localparam int MAX_CYCLES = 6;
`ASSERT(RegwenOff_A,
(calib_rdy == prim_mubi_pkg::MuBi4False) |=> ##[0:MAX_CYCLES] meas_ctrl_regwen, clk,
!rst_n)
endinterface