PSPICE compatible models should do (unfortunately not always for gate drivers which may need some editing). LTSPICE VDMOS models for power MOSFETs will do. You might have a look at Spice models and model parameters for ngspice circuit simulator or scan my examples at Simulation examples for KiCad/Eeschema/ngspice and Simulation examples for KiCad8/KiCad9/Eeschema/ngspice for models I have been using.