Digital Design and Verification Platform
Contested nets resolve to X. RTL wants one driver — mux, enable, or a single procedural block.