VCS cannot handle a range in case inside constructs when X propagation is enabled. No semantically equivalent alternative is available (see PR #150), so this commit annotates processes containing the mentioned constructs with xprop_off to disable X propagation instrumentation of those processes.
I ran simulations including this change in VCS, Xcelium, and Verilator, and I synthesized the code with Vivado without noticing problems.
VCS cannot handle a range in
case insideconstructs when X propagation is enabled. No semantically equivalent alternative is available (see PR #150), so this commit annotates processes containing the mentioned constructs withxprop_offto disable X propagation instrumentation of those processes.I ran simulations including this change in VCS, Xcelium, and Verilator, and I synthesized the code with Vivado without noticing problems.