riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
yosys/tests/opt/opt_share_cat.ys

14 lines
341 B
Plaintext
Raw Permalink Normal View History

Implement opt_share This pass identifies arithmetic operators that share an operand and whose results are used in mutually exclusive cases controlled by a multiplexer, and merges them together by multiplexing the other operands
2019-07-26 04:36:48 -05:00
read_verilog opt_share_cat.v
Reimplement opt_share to work on $alu and $pmux
2019-07-28 09:03:54 -05:00
proc;;
copy opt_share_test merged
Implement opt_share This pass identifies arithmetic operators that share an operand and whose results are used in mutually exclusive cases controlled by a multiplexer, and merges them together by multiplexing the other operands
2019-07-26 04:36:48 -05:00
Reimplement opt_share to work on $alu and $pmux
2019-07-28 09:03:54 -05:00
alumacc merged
opt merged
opt_share merged
opt_clean merged
miter -equiv -flatten -ignore_gold_x -make_outputs -make_outcmp opt_share_test merged miter
sat -set-def-inputs -verify -prove trigger 0 -show-inputs -show-outputs miter
select -assert-count 2 -module merged t:$alu