Thanks @User. Are they somehow using these numbers for the indexing of which model bin to select based on size? Anyway, I could now run my simple simulation. Finally progress! Since I'm mostly interested in power circuitry, I was looking into 20V MOSFETs. They don't seem to be included in the

sky130.lib.spice

library. Instead, they are in the

correl[1-4].spice

and

custom.spice

. Do you have any insight in what these are, or the structure of the library in general? It's very confusing and I can't seem to find any docs.