mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-23 00:55:32 +00:00
Code Activity

cmp2lut: new techmap pass.

Browse source
This commit is contained in:
whitequark 2019-01-02 07:53:31 +00:00
parent 4b9f619349
commit a91892bba4
5 changed files with 139 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
tests/lut/check_map.ys
View file

@ -1,4 +1,6 @@
simplemap
equiv_opt -assert techmap -map +/gate2lut.v -D LUT_WIDTH=4
equiv_opt -assert techmap -D LUT_WIDTH=4 -map +/cmp2lut.v
design -load postopt
select -assert-count 1 t:$lut
equiv_opt -assert techmap -D LUT_WIDTH=4 -map +/gate2lut.v
design -load postopt
select -assert-count 0 t:* t:$lut %d

29
tests/lut/map_cmp.v Normal file
View file

@ -0,0 +1,29 @@
module top(...);
input [3:0] a;
output o1_1 = 4'b1010 <= a;
output o1_2 = 4'b1010 < a;
output o1_3 = 4'b1010 >= a;
output o1_4 = 4'b1010 > a;
output o1_5 = 4'b1010 == a;
output o1_6 = 4'b1010 != a;
output o2_1 = a <= 4'b1010;
output o2_2 = a < 4'b1010;
output o2_3 = a >= 4'b1010;
output o2_4 = a > 4'b1010;
output o2_5 = a == 4'b1010;
output o2_6 = a != 4'b1010;
output o3_1 = 4'sb0101 <= $signed(a);
output o3_2 = 4'sb0101 < $signed(a);
output o3_3 = 4'sb0101 >= $signed(a);
output o3_4 = 4'sb0101 > $signed(a);
output o3_5 = 4'sb0101 == $signed(a);
output o3_6 = 4'sb0101 != $signed(a);
output o4_1 = $signed(a) <= 4'sb0000;
output o4_2 = $signed(a) < 4'sb0000;
output o4_3 = $signed(a) >= 4'sb0000;
output o4_4 = $signed(a) > 4'sb0000;
endmodule

0
tests/lut/run-test.sh Normal file → Executable file
View file