3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-06 01:24:10 +00:00

opt_demorgan: add test for zero width cell

This commit is contained in:
George Rennie 2024-09-25 16:10:16 +01:00
parent 58af70624f
commit e105cae4a9

15
tests/opt/bug4610.ys Normal file
View file

@ -0,0 +1,15 @@
read_ilang <<EOT
autoidx 1
module \top
wire output 1 \Y
cell $reduce_or $reduce_or$rtl.v:29$20
parameter \A_SIGNED 0
parameter \A_WIDTH 0
parameter \Y_WIDTH 1
connect \A { }
connect \Y \Y
end
end
EOT
equiv_opt -assert opt_demorgan