mirror of
https://github.com/YosysHQ/yosys
synced 2026-01-21 01:24:44 +00:00
tests/techmap: fix lut2bmux test
This commit is contained in:
parent
c3e5d98351
commit
e8781d0631
1 changed files with 24 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