@Tim Edwards I've been looking into design rules for the mimcaps in sky130 and ran into several posts from you that explain about how it is good design practice to always connect to these from the upper layer. As I understand there is no hard requirement for this from the fab so we don't have a DRC or antenna check rule to put a hard requirement on this. For our own layouts though I would like to add a check to enforce this in our own designs. How would you recommend modeling this in magic? I'm new to the entire technology description part so any hints are appreciated! Is this something the DRC checker can do or should would I need to add a check to the antenna rules?

Magic does not have a good understanding of connectivity when running DRC checks, which is why it is not easy to implement in magic. I assume that it would best be done as an antenna rule, by treating the mimcap layer like a device gate and specifying a small antenna ratio that would effectively force an error for anything that was connected downward from the capacitor bottom plate.