@User I wanted to ask: the output from yosys is not cross-platform in terms of the netlist right ?