11:36 <markus2> Regarding determinism of Yosys, I have found that removing code that should not matter for synthesis ($display contained in always block) results in rather large differences in the generated JSON netlist. Which in turn cause my design to fail to meet timing constraints.

11:37 <markus2> I assume that the iteration order of internal data structures change and that in turn cause passes to behave differently. Is this a known issue (I looked around a bit in github without finding any direct bug report)?

11:39 <markus2> I mean it would be desirable to be generate stable output wrt such changes.

11:40 <markus2> perhaps I should say that the always block is also removed (it only contained the $display statements) but still I would prefer if it did not change the output.