errors · bitdewfpga bit, yosys

design.sv:2: ERROR [yosys-crashed]: yosys' own reader crashed (Segmentation fault: 11) without a message, and this line holds a real number (1e1): a real value in a parameter (localparam MAX = 1e1) is a known cause. Fix: write the value as an integer (10, 50_000_000).

design.sv:2: ERROR [yosys-crashed]: yosys' own reader crashed (Segmentation fault: 11) without a message, and this line holds a real number (1e1): a real value in a parameter (localparam MAX = 1e1) is a known cause. Fix: write the value as an integer (10, 50_000_000). https://nosey-dewdrop.github.io/dewfpga/errors/yosys-crashed/
yosys-slang: ERROR: Feature unimplemented at slang_frontend.cc:776, see AST and code line dump above

Why does it happen?

yosys 0.69 segfaults on localparam int MAX = 1e1; (a real in a parameter expression); the shell sees only the signal. The CLI looks for a real literal in the sources to name the line; without one it prints the crash alone and asks for a report.

What is the fix?

localparam int MAX = 10;

Which command prints it?

Which probes in test/sv print this code?

Every probe, with what Vivado does and what each stage does here: the probes, stage by stage.