mirror of
https://github.com/YosysHQ/yosys
synced 2025-10-28 18:29:25 +00:00
9043dc0ad6
* #4612 was written before read_ilang was deprecated but merged after so caused test failures. This switches read_ilang to read_rtlil
15 lines
258 B
Text
15 lines
258 B
Text
read_rtlil <<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
|