@User: You can run mismatch simulations by specifying one of the mismatch corners in the

.lib sky130.lib.spice _corner_

statement. Mismatch corners are, e.g.,

tt_mm

,

ss_mm

, etc. For process variation, there is a single corner called

mc

. Usually mismatch and process analyses are done separately, so I didn't add a section to

sky130.lib.spice

that does both at the same time, but you can create your own file to pass to

.lib

and mix and match the corners that you need. The contents of

sky130.lib.spice

should be pretty clear (just a bunch of include statements and a couple of definitions that are 1-or-0 switches that turn the mismatch and process variation on or off).