NC-verilog logical bug
I found a logical bug of simulation RTL code using NC-verilog.
Here is the test RTL code of mux implementation,
the input data of mux options are all zeroes (1'b0)
the select signal is unknown (2'bxx)
The output result of do0 = 1'bx, do1 = 1'bx, do2 = 1'b0,
varies depending on the coding style, ...