Yosys assertion error on shift_reg

[olofk]

Yosys assertion error on shift_reg

[olofk]

I think I know the problem. yosys evaluates all verilog modules with their default parameter values first, and since the default value of LEN is 0, it fails.

In my opinion, the yosys behavior is a bit shifty since it's not uncommon to set default values to something that requires setting an explicit value (verilog requires a default value unlike VHDL).

In FuseSoC I have worked around this by setting

verilog_defaults -push
verilog_defaults -add -defer

before the read_verilog statements and then

verilog_defaults -pop

afterwards. I think that reads in the whole design top-down which sets the values correctly. Maybe @cliffordwolf can explain this better

[cliffordwolf]

-defer defers elaboration of the module until hierarchy is executed. The default behavior is to always elaborate a module with its default parameters right away.

[nturley]

That was it, I changed a default value parameter LEN = 2 and now it works fine.

[olofk]

Closing this.