| // Copyright lowRISC contributors. |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| // SPDX-License-Identifier: Apache-2.0 |
| // |
| // xbar_cov_excl.el generated by `tlgen.py` tool |
| |
| ANNOTATION: "[NON_RTL]" |
| MODULE: uvm_pkg |
| Assert \uvm_reg_map::do_write .unnamed$$_0.unnamed$$_1 "assertion" |
| Assert \uvm_reg_map::do_read .unnamed$$_0.unnamed$$_1 "assertion" |
| |
| ANNOTATION: "[UNSUPPORTED] scan mode isn't available in RTL sim" |
| MODULE: xbar_${xbar.name} |
| Block 1 "0" "assign unused_scanmode = scanmode_i;" |
| |
| % if len(xbar.hosts) > 1: |
| ANNOTATION: "[UNR]" |
| MODULE: prim_fifo_sync |
| Branch 2 "2323268504" "(!rst_ni)" (1) "(!rst_ni) 0,1,-,-" |
| Branch 3 "3736627057" "(!rst_ni)" (1) "(!rst_ni) 0,1,-,-" |
| |
| % endif |
| % for i in range(2, len(xbar.hosts) + 1): |
| ANNOTATION: "[UNR]" |
| MODULE: prim_arbiter_ppc ( parameter N=${i},DW=102,EnDataPort=1,EnReqStabA=0 ) |
| Condition 2 "175047464" "(valid_o && ((!ready_i))) 1 -1" (2 "10") |
| |
| %endfor |
