diff options
author | Eddie Hung <eddie@fpgeh.com> | 2020-01-27 09:54:04 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-27 09:54:04 -0800 |
commit | af8281d2f5e3945a8bb93dd7c7400aafb29af3b8 (patch) | |
tree | 36afb76914bb8c2e4e03b1002aa696fd9d16768b /tests | |
parent | 07a12ebd4ff12c8016809eacad4551246fa4b316 (diff) | |
parent | b1787615514f84c83c27d08011427e90c9bd0f4a (diff) | |
download | yosys-af8281d2f5e3945a8bb93dd7c7400aafb29af3b8.tar.gz yosys-af8281d2f5e3945a8bb93dd7c7400aafb29af3b8.tar.bz2 yosys-af8281d2f5e3945a8bb93dd7c7400aafb29af3b8.zip |
Merge pull request #1656 from YosysHQ/eddie/ice40_abc9_warnings
ice40: reduce ABC9 internal fanout warnings with a param for CI->I3
Diffstat (limited to 'tests')
-rw-r--r-- | tests/arch/ice40/ice40_opt.ys | 27 |
1 files changed, 4 insertions, 23 deletions
diff --git a/tests/arch/ice40/ice40_opt.ys b/tests/arch/ice40/ice40_opt.ys index 5186d4800..011d98fef 100644 --- a/tests/arch/ice40/ice40_opt.ys +++ b/tests/arch/ice40/ice40_opt.ys @@ -1,24 +1,4 @@ read_verilog -icells -formal <<EOT -module \$__ICE40_CARRY_WRAPPER (output CO, O, input A, B, CI, I0, I3); - parameter LUT = 0; - SB_CARRY carry ( - .I0(A), - .I1(B), - .CI(CI), - .CO(CO) - ); - \$lut #( - .WIDTH(4), - .LUT(LUT) - ) lut ( - .A({I0,A,B,I3}), - .Y(O) - ); -endmodule -EOT -design -stash unmap - -read_verilog -icells -formal <<EOT module top(input CI, I0, output [1:0] CO, output O); wire A = 1'b0, B = 1'b0; \$__ICE40_CARRY_WRAPPER #( @@ -26,13 +6,14 @@ module top(input CI, I0, output [1:0] CO, output O); // A[1]: 1100 1100 1100 1100 // A[2]: 1111 0000 1111 0000 // A[3]: 1111 1111 0000 0000 - .LUT(~16'b 0110_1001_1001_0110) + .LUT(~16'b 0110_1001_1001_0110), + .I3_IS_CI(1'b1) ) u0 ( .A(A), .B(B), .CI(CI), .I0(I0), - .I3(CI), + .I3(1'bx), .CO(CO[0]), .O(O) ); @@ -40,7 +21,7 @@ module top(input CI, I0, output [1:0] CO, output O); endmodule EOT -equiv_opt -assert -map %unmap -map +/ice40/cells_sim.v ice40_opt +equiv_opt -assert -map +/ice40/abc9_model.v -map +/ice40/cells_sim.v ice40_opt design -load postopt select -assert-count 1 t:* select -assert-count 1 t:$lut |