@User I succeeded to develop a DRC expander for magic. It expands the rules in the tech file to all layer combinations, and adds annotations for automatic DRC fixing. The expander, the resulting .tech file and a patch can be found here: http://pdk.libresilicon.com/expander/ One strange thing is that magic finds less DRC errors with the expanded tech file: