错误消息“抱歉：当前不支持在always_*进程中选择常量（将包括所有位）。”在系统Verilog中

Question

我需要使用“案例”语句来实现4位优先级编码器，并且代码如下：

module case2(
    input [3 : 0] in,
    output logic [1 : 0] pos
);
    always_comb begin
        case(1)
            in[0]:pos=2'b00;
            in[1]:pos=2'b01;
            in[2]:pos=2'b10;
            in[3]:pos=2'b11;
            default:pos=2'b00;
        endcase
    end
endmodule

看来我不能将'1'用作efference_comb block中的案例。我在Google中搜索了，但没有任何帮助。我怎么能解决这个问题？不能将常数用作案件的典范？我认为这是不合理的。 感谢您的建议！

Answer 1

“当前不支持”表示该工具认为代码有效，但尚未实现。你没有说你用的是什么工具。

总有蛮力方法：

always_comb 
        case(in)
        4'b0001,4'b0011, ...     4'b1111 :pos=2'b00;
        4'b0010,4'b0110, 4'b1010,4'b1110 :pos=2'b01;
        4'b0100,4'b1100                  :pos=2'b10;
        4'b1000                          :pos=2'b11;
        default                          :pos=2'b00;
endcase

另一种编写方法是使用 priority if 语句

always_comb
  priority if (in[0]) pos=2'b00;
      else if (in[1]) pos=2'b01;
      else if (in[2]) pos=2'b10;
      else if (in[3]) pos=2'b11;
      else            pos=2'b00;