| // Copyright lowRISC contributors. |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| // SPDX-License-Identifier: Apache-2.0 |
| |
| // Include our common coverage CCF. |
| include_ccf ${dv_root}/tools/xcelium/common.ccf |
| |
| // Black-box pre-verified IPs from coverage collection. |
| deselect_coverage -betfs -module pins_if |
| deselect_coverage -betfs -module clk_rst_if |
| deselect_coverage -betfs -module prim_alert_sender... |
| deselect_coverage -betfs -module prim_alert_receiver... |
| deselect_coverage -betfs -module prim_esc_sender... |
| deselect_coverage -betfs -module prim_esc_receiver... |
| deselect_coverage -betfs -module prim_prince... |
| deselect_coverage -betfs -module prim_lfsr... |
| |
| // Only collect toggle coverage on the DUT and the black-boxed IP (above) ports. |
| deselect_coverage -toggle -module ${DUT_TOP}... |
| select_coverage -toggle -module ${DUT_TOP} |
| select_coverage -toggle -module prim_alert_sender |
| select_coverage -toggle -module prim_alert_receiver |
| select_coverage -toggle -module prim_esc_sender |
| select_coverage -toggle -module prim_esc_receiver |
| select_coverage -toggle -module prim_prince |
| select_coverage -toggle -module prim_lfsr |
