it’s exceedingly rare that programs dont work with linuxulator, i use vivado daily and you can play games through linux steam and proton that way.