github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-05-03 23:00:15 +00:00
Code Issues Releases Wiki Activity

Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp

Browse Source
This commit is contained in:
Eddie Hung
2019-09-11 00:07:33 -07:00
parent feb3fa65a3 97e1520b13
commit 6b23c7c227
2 changed files with 9 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
tests/various/peepopt.ys
View File

@@ -5,7 +5,7 @@ endmodule
EOT
prep -nokeepdc
equiv_opt peepopt
equiv_opt -assert peepopt
design -load postopt
clean
select -assert-count 1 t:$shiftx
@@ -16,16 +16,16 @@ select -assert-count 0 t:$shiftx t:* %D
design -reset
read_verilog <<EOT
module peepopt_shiftmul_1 (output [7:0] y, input [2:0] w);
assign y = 1'b1 >> (w * (3'b110));
assign y = 1'b1 >> (w * (8'b110));
endmodule
EOT
prep -nokeepdc
equiv_opt peepopt
equiv_opt -assert peepopt
design -load postopt
clean
select -assert-count 1 t:$shr
select -assert-count 1 t:$mul
select -assert-count 0 t:$mul
select -assert-count 0 t:$shr t:$mul %% t:* %D
####################
@@ -40,7 +40,7 @@ endmodule
EOT
prep -nokeepdc
equiv_opt peepopt
equiv_opt -assert peepopt
design -load postopt
clean
select -assert-count 0 t:*
@@ -55,7 +55,7 @@ endmodule
EOT
prep -nokeepdc
equiv_opt peepopt
equiv_opt -assert peepopt
design -load postopt
clean
select -assert-count 1 t:$dff r:WIDTH=2 %i