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

// Enable scoring of continuous assignments, branch and statements.
set_assign_scoring
set_branch_scoring
set_statement_scoring

// Only collect toggle coverage on the DUT ports.
deselect_coverage -toggle -instance tb.dut.*...
set_toggle_portsonly

// Enable toggle scoring of MDAs and structs.
set_toggle_scoring -sv_mda -sv_mda_of_struct

// Filter glitches.
set_toggle_strobe 0ps

//  Filter unreachable/statically constant blocks
set_com -log