I'm not sure what there is that can do this particular mixture. Using ngspice with Verilog-AMS is a pain because the models have to be compiled into ngspice. Xyce can compile a single shared object library for a device model and use it as a plug-in, which is much more convenient. For either one, though, I don't know whether they will compile Verilog-A, which is
I think fully a subset of Verilog-AMS but I'm not entirely sure if it's 100% compatible. Then, the SystemVerilog has its own issues. To my knowledge, there are no open source tools that fully understand SystemVerilog syntax, although all the tools understand some subset of it. The best approach I've found is to first synthesize all of the verilog and generate a simple verilog gate-level netlist. Then, convert that netlist to xspice format. There is, in
https://github.com/RTimothyEdwards/qflow , a script
spi2xspice.py
that will convert a verilog netlist to a SPICE netlist in xspice format.