Normally Yosys needs a verific frontend but it looks like the surelog UHDM output can be turned into a Yosys AST via a custom frontend.