@User:

sky130.lib.spice

was created from some example file in the SkyWater sources. They did not provide any such "corner library" file like

sky130.lib.spice

or the equivalent, but only an example of how one should be written (apparenly without consideration of the ".lib" statement, since the suggestion was that you would write one such file for each corner sim you needed). It is not likely that the example was ever intended to be exhaustive. I started adding includes for missing devices, but ngspice started getting so bogged down with the startup, I stopped doing that. So there are cases where one is likely to need an additional

.include

statement for the ngspice netlist. This is aside from suspicious parameters. I agree that

mf

was probably supposed to be

nf

. the

mf

is nothing we did but goes back to the original SkyWater sources. As you noted, there is no other reference in the model file to

mf

, but since it is a BSIM4 model, the

nf

would be relevant.