mirror of
https://github.com/YosysHQ/yosys
synced 2026-02-09 02:25:43 +00:00
Merge pull request #5559 from nataliakokoromyti/upstream-lut2bmux
add lut2bmux
This commit is contained in:
commit
cc25ccfcd7
3 changed files with 83 additions and 0 deletions
24
tests/techmap/lut2bmux.ys
Normal file
24
tests/techmap/lut2bmux.ys
Normal file
|
|
@ -0,0 +1,24 @@
|
|||
read_rtlil << EOT
|
||||
module \top
|
||||
wire width 4 input 0 \A
|
||||
wire output 1 \Y
|
||||
|
||||
cell $lut $0
|
||||
parameter \WIDTH 4
|
||||
parameter \LUT 16'0110100110010110
|
||||
connect \A \A
|
||||
connect \Y \Y
|
||||
end
|
||||
end
|
||||
EOT
|
||||
|
||||
hierarchy -auto-top
|
||||
|
||||
|
||||
equiv_opt -assert lut2bmux
|
||||
|
||||
|
||||
lut2bmux
|
||||
|
||||
select -assert-count 0 t:$lut
|
||||
select -assert-count 1 t:$bmux r:WIDTH=1 r:S_WIDTH=4 %i
|
||||
Loading…
Add table
Add a link
Reference in a new issue