diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-08-15 21:00:06 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-08-15 21:00:06 +0200 |
commit | a860efa8ac37dfe20cd74324dd02136082aa2c1c (patch) | |
tree | 699a9c13f5d9df33ae6de845134ed2f94dc8d8e4 /techlibs | |
parent | 78658199e662979c8f9223be53b04c9d87a1d6f7 (diff) |
Implemented same div-by-zero behavior as found in other synthesis tools
Diffstat (limited to 'techlibs')
-rw-r--r-- | techlibs/stdcells.v | 33 |
1 files changed, 31 insertions, 2 deletions
diff --git a/techlibs/stdcells.v b/techlibs/stdcells.v index c411ba35..d861d796 100644 --- a/techlibs/stdcells.v +++ b/techlibs/stdcells.v @@ -1077,6 +1077,9 @@ input [A_WIDTH-1:0] A; input [B_WIDTH-1:0] B; output [Y_WIDTH-1:0] Y; +wire [Y_WIDTH-1:0] Y_buf; +wire [Y_WIDTH-1:0] Y_div_zero; + \$div_mod #( .A_SIGNED(A_SIGNED), .B_SIGNED(B_SIGNED), @@ -1086,9 +1089,20 @@ output [Y_WIDTH-1:0] Y; ) div_mod ( .A(A), .B(B), - .Y(Y) + .Y(Y_buf) ); +// explicitly force the division-by-zero behavior found in other synthesis tools +generate begin + if (A_SIGNED && B_SIGNED) begin:make_div_zero + assign Y_div_zero = A[A_WIDTH-1] ? {Y_WIDTH{1'b0}} | 1'b1 : {Y_WIDTH{1'b1}}; + end else begin:make_div_zero + assign Y_div_zero = {A_WIDTH{1'b1}}; + end +end endgenerate + +assign Y = B ? Y_buf : Y_div_zero; + endmodule // -------------------------------------------------------- @@ -1105,6 +1119,9 @@ input [A_WIDTH-1:0] A; input [B_WIDTH-1:0] B; output [Y_WIDTH-1:0] Y; +wire [Y_WIDTH-1:0] Y_buf; +wire [Y_WIDTH-1:0] Y_div_zero; + \$div_mod #( .A_SIGNED(A_SIGNED), .B_SIGNED(B_SIGNED), @@ -1114,9 +1131,21 @@ output [Y_WIDTH-1:0] Y; ) div_mod ( .A(A), .B(B), - .R(Y) + .R(Y_buf) ); +// explicitly force the division-by-zero behavior found in other synthesis tools +localparam div_zero_copy_a_bits = A_WIDTH < B_WIDTH ? A_WIDTH : B_WIDTH; +generate begin + if (A_SIGNED && B_SIGNED) begin:make_div_zero + assign Y_div_zero = $signed(A[div_zero_copy_a_bits-1:0]); + end else begin:make_div_zero + assign Y_div_zero = $unsigned(A[div_zero_copy_a_bits-1:0]); + end +end endgenerate + +assign Y = B ? Y_buf : Y_div_zero; + endmodule /**** |