SystemVerilog算术左移遇负数移位量的仿真异常疑问

问题核心 #

• 使用i_a <<< i_b实现算术左移，i_a和i_b均为有符号补码数
• 当i_b为负数（如4位的1111即-1）时，仿真未报错，输出为0000，而非预期的报错或反向移位
• 已为所有输入输出声明signed属性，学校要求用if语句过滤负数移位量，但仿真中负数移位量未影响运行，疑惑该判断的必要性，同时不解0000结果是否合理

代码片段 #

测试平台代码 #

`timescale 1ns/1ps 
`include "ashift_example1.sv"

module testbench;
    parameter BITY = 4;
    parameter OPER = 2;
    logic [OPER-1:0] i_oper;
    logic [OPER-1:0] i_rsn;
    logic signed [BITY-1:0] i_argA,i_argB;
    logic signed [BITY-1:0] o_result; 
    logic [1:0] o_status;

    ashift_example1  #(.BITS(BITY))   Shift_left    (.i_a(i_argA), .i_b(i_argB), .o_arith_left(o_result));

    initial
        begin
            $dumpfile("signals.vcd");  
                                            
            $dumpvars(0,testbench); 

            i_argA = '0;
            i_argB = '0;
            #1
            i_argA[3] = 1;
            i_argA[1] = 1;
            i_argB[0] = 1;
            #1
            i_argB[0] = 0;
            i_argB[1] = 1;
            #1
            i_argB[1] = 0;
            i_argB[3] = 1;
            #1

            $finish;
        end
endmodule 

模块代码 #

module ashift_example1(i_a, i_b, o_arith_left);
    parameter BITS = 4;
    input  logic signed [BITS-1:0] i_a, i_b;
    output logic signed [BITS-1:0] o_arith_left;
    // Blok opisujacy logike 
    always_comb
    begin
        // arytmetyczne przesuniecie o i_b bitow
        //                 w lewo (w strone MSB)
        o_arith_left = (i_a <<< i_b);      
    end
endmodule

问题解答 #

1. 负数移位量导致输出0的原因 #

根据SystemVerilog标准，移位操作的移位量（i_b）会被当作无符号数处理，哪怕它被声明为signed。比如4位有符号数1111（对应十进制-1），仿真器会将其视为无符号的15。

对于4位的i_a，左移15位会把所有有效位完全移出结果寄存器，最终剩下的就是全0，所以你看到0000是符合标准规范的行为，标准并没有规定负数移位量要触发报错或自动转为反向移位。

2. 为什么学校要求添加负数移位量的判断 #

虽然仿真器不会报错，但负数移位量在硬件设计中属于无效操作——算术左移的定义就是向MSB方向移位，若需要右移，应该使用>>>运算符实现。

添加判断的核心原因是：

• 避免出现不符合设计意图的无效移位行为
• 保证模块行为的可预测性，防止后续维护时误用
• 符合硬件设计的严谨性要求，实际电路中不会处理这种无意义的移位量

3. 满足要求的代码修改示例 #

按照学校要求，可通过if语句过滤负数移位量，比如默认输出原数或标记错误状态，示例如下：

always_comb
begin
    if (i_b < 0) begin
        // 负数移位量时的处理，比如输出原数或置0
        o_arith_left = i_a;
        // 可选：添加状态位指示错误
        // o_status = 2'b01;
    end else begin
        o_arith_left = (i_a <<< i_b);      
    end
end

内容的提问来源于stack exchange，提问作者user331990