@User have you tried surelog? I belive that is integrated already (maybe only in antmicro’s yosys repo?)