1、加法溢出导致的功能错误
如下图所示错误代码中,当byte_add+byte_save等于256的时候,我们期望的的信号more_than_64应该为1,而实际上在错误代码中(byte_add+byte_save)与8’d64比较,(byte_add+byte_save)可能会被理解为8’d0,即被理解成8bit信号,more_than_64等于0,功能错误。在芯片设计中,有可能因为EDA工具之间差异导致对(byte_add+byte_save)>8’d64的理解不一样,导致VCS等工具RTL级仿真正确,而DC综合后功能错误。例如:VCS将(byte_add+byte_save)理解为9bit的位宽,而综合理解为8bit位宽。一旦综合理解为8bit位宽,则会导致网表与我们预期功能不一致,而且网表仿真比较慢,一般很慢遍历所有RTL级仿真用例,因此此类问题不容易发现。
2、如何避免加法溢出导致的功能错误
如下图所示正确代码中,将赋值给9bit的add_byte_total,并且将add_byte_total与9’d64比较,而不是8’d64比较,这样就不会发生溢出截断比较的情况,
//----------------------Error code begin-------------------------//
wire more_than_64 ;
reg [7:0] byte_add ;
reg [7:0] byte_save ;
reg [7:0] byte_update;
assign more_than_64 = ( (byte_add+byte_save) > 8'd64);
always@(*)
if(more_than_64)
byte_update = (byte_add + byte_save ) - 8'd64 ;
else
byte_update = 8'd0;
//----------------------Error code end-------------------------//
//----------------------right and recommended code begin----------------------//
wire more_than_64 ;
reg [7:0] byte_add ;
reg [7:0] byte_save ;
reg [7:0] byte_update;
wire [8:0] add_byte_total ;
assign add_byte_total=(byte_add+byte_save);
assign more_than_64 = ( add_byte_total > 9'd64);
always@(*)
if(more_than_64)
byte_update = (byte_add + byte_save ) - 8'd64 ;
else
byte_update = 8'd0;
//----------------------right and recommended code end----------------------//