Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2016-12-03T19:49:56Z

Indeed had never handled inside casez, thanks for the test. Fixed in git towards 3.891.

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2017-01-15T17:18:43Z

In 3.900.

Original Redmine Comment
Author Name: Enzo Chi
Original Date: 2017-05-16T02:53:51Z

Tried with modified code on 3.902, it still failed. Please check the modified test code.

module unique_case (
     input bit       clk,
     input bit       rst,
     input bit [1:0] sel,
     input bit       a,
     input bit       b,
     input bit       c,
     output bit      dout
     );

     localparam logic DC  = 1'b?;

     always_ff @(posedge clk) begin
         if (rst) begin
             dout <= '0;
         end else begin
             unique casez(sel)
                 2'b00 : dout <= a;
                 2'b01 : dout <= b;
                 {1'b0, DC} : dout <= c;
             endcase // unique casez (sel)
         end
     end // always_ff @ (posedge clk)

endmodule // unique_case

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2017-05-17T01:42:33Z

The example you showed for me gives an assertion failure since it does overlap.

Can you please modify test_regress/t/t_assert_casez.v and/or a similar file to show the problem and describe what result you expect? Also please open a new bug, since this one already hit a release. Thanks.