Hi Steve,

ivl-bugs seems not to be available right now. So I resend this mail to geda-dev.

Sign extension does not work well with $signed in 20030613 snapshot. An attached file 
is a testcase.

Thanks,
- Kato

module  main;

    reg     [11:0]  sum;
    wire    [10:0]  a = 11'b111_0000_0000;
    wire    [10:0]  b = 11'b000_0000_1111;
    
    initial begin
        #1 sum  = $signed(a) + $signed(b);
        
        if (sum == 12'b1111_0000_1111)
            $display("PASSED");
        else
            $display("failed: %b",sum);

        $finish;
    end
    
endmodule

Reply via email to