blob: d6fc8945e2587169afe11dffe5652262fe31b431 [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 DV coverplan documents additional alert agent covergroups.
// To enable these covergroups, please ensure the following variables are enabled:
// `cfg.en_ping_cov` and `cfg.en_lpg_cov`
// Note that if LPG is enabled, the alert ping request handshake won't be initiated, so we cannot
// collect that coverage in this agent.
{
covergroups: [
{
name: alert_trans_cg
desc: '''Cover if the transaction is a ping request or an actual alert request.'''
}
{
name: alert_lpg_cg
desc: '''Covers alert lpg status during an alert request.
Cover if its lower-power-group (lpg) is enabled or disabled during an alert request.
'''
}
]
}