| Weicai Yang | 9d7e00c | 2020-10-26 18:23:23 -0700 | [diff] [blame] | 1 | // Copyright lowRISC contributors. |
| 2 | // Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| 3 | // SPDX-License-Identifier: Apache-2.0 |
| 4 | // |
| 5 | // xbar_cov_excl.el generated by `tlgen.py` tool |
| Weicai Yang | 9d7e00c | 2020-10-26 18:23:23 -0700 | [diff] [blame] | 6 | |
| Weicai Yang | 9d7e00c | 2020-10-26 18:23:23 -0700 | [diff] [blame] | 7 | ANNOTATION: "[NON_RTL]" |
| 8 | MODULE: uvm_pkg |
| 9 | Assert \uvm_reg_map::do_write .unnamed$$_0.unnamed$$_1 "assertion" |
| 10 | Assert \uvm_reg_map::do_read .unnamed$$_0.unnamed$$_1 "assertion" |
| 11 | |
| Weicai Yang | 547c1f0 | 2020-11-05 22:02:33 -0800 | [diff] [blame] | 12 | ANNOTATION: "[UNSUPPORTED] scan mode isn't available in RTL sim" |
| 13 | MODULE: xbar_${xbar.name} |
| Weicai Yang | 9d7e00c | 2020-10-26 18:23:23 -0700 | [diff] [blame] | 14 | Block 1 "0" "assign unused_scanmode = scanmode_i;" |
| 15 | |
| Weicai Yang | 547c1f0 | 2020-11-05 22:02:33 -0800 | [diff] [blame] | 16 | % if len(xbar.hosts) > 1: |
| 17 | ANNOTATION: "[UNR]" |
| 18 | MODULE: prim_fifo_sync |
| 19 | Branch 2 "2323268504" "(!rst_ni)" (1) "(!rst_ni) 0,1,-,-" |
| 20 | Branch 3 "3736627057" "(!rst_ni)" (1) "(!rst_ni) 0,1,-,-" |
| Weicai Yang | 9d7e00c | 2020-10-26 18:23:23 -0700 | [diff] [blame] | 21 | |
| Weicai Yang | 547c1f0 | 2020-11-05 22:02:33 -0800 | [diff] [blame] | 22 | % endif |
| 23 | % for i in range(2, len(xbar.hosts) + 1): |
| 24 | ANNOTATION: "[UNR]" |
| 25 | MODULE: prim_arbiter_ppc ( parameter N=${i},DW=102,EnDataPort=1,EnReqStabA=0 ) |
| 26 | Condition 2 "175047464" "(valid_o && ((!ready_i))) 1 -1" (2 "10") |
| Weicai Yang | 9d7e00c | 2020-10-26 18:23:23 -0700 | [diff] [blame] | 27 | |
| Weicai Yang | 547c1f0 | 2020-11-05 22:02:33 -0800 | [diff] [blame] | 28 | %endfor |
