This is kind of a common routine in the yosys scripts. https://yosyshq.net/yosys/cmd_setundef.html Basically any time you have an undefined value in your HDL it gets mapped to a constant.