Cosimulation with verilator?

Yeah, we use Vivado extensively with MyHDL, and pretty much exclusively with the free version. Ovenbird is the tool we’ve created for verification. Also relevant might be Kea which is useful tools that fit nicely into the Xilinx ecosystem, including a nice register subsystem.