| // Copyright lowRISC contributors. | |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. | |
| // SPDX-License-Identifier: Apache-2.0 | |
| // Use most pessimistic X propagation. | |
| merge = xmerge; | |
| // Turn on xprop for dut only. | |
| instance { tb.dut } { xpropOn }; | |
| // Modules excluded from xprop instrumentation. | |
| module { prim_cdc_rand_delay } { xpropOff }; |