SPICE model libraries for via transitions