| // Copyright lowRISC contributors. | |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. | |
| // SPDX-License-Identifier: Apache-2.0 | |
| // The modules below are preverified in FPV testbench. | |
| // There are many conditional coverage and hard to them all. | |
| -moduletree prim_secded_inv_72_64_dec | |
| -moduletree prim_secded_inv_72_64_enc | |
| begin tgl | |
| +module prim_secded_inv_72_64_dec | |
| +module prim_secded_inv_72_64_enc | |
| end |