Switch "const" and "rand" modifier order
The current Yosys only accepts the order: rand const The other way round results in: ERROR: syntax error, unexpected TOK_RAND And "rand const" is also the way they show it in their README: https://github.com/YosysHQ/yosys/blob/master/README.md#non-standard-or-systemverilog-features-for-formal-verification