| // Copyright lowRISC contributors. | |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. | |
| // SPDX-License-Identifier: Apache-2.0 | |
| // Non-RTL assertion only blocks. | |
| -moduletree rv_dm_regs_csr_assert_fpv | |
| begin assert | |
| +moduletree rv_dm_regs_csr_assert_fpv | |
| end |