@User: The sky130 device names in the PDK, or at least the naming convention, was decided by Tim Ansell. They only refer to devices that have a fixed layout, and there are some for the RF MOSFET layouts, but I don't think that is a complete list of the characterized device sizes.