Hi…There are a few SPICE models for gas discharge phenomena.It’s not very useful given the complexity of plasma physics, and the extreme variation in practice (breakdown voltage depends on electrode shape, rate of voltage rise, ambient temperature and humidity, UV light or other sources of ionization, surface contamination (adsorbed substances, and dust), and past history, especially where substrate breakdown occurs (carbon tracking).