calibre hercules lvs
IBM kits only support Calibre (Mentor Graphics), Hercules (Synopsys) and Assura (Cadence) for physical verification. As per MOSIS website, 12SOI supports Calibre, Hercules and Quartz (never heard of it). The environment setup for Calibre and Assura are provided with the PDK. Calibre supports DRC, LVS and parasitic extraction (xRC), and can be easily integrated into Cadence Virtuoso using the scripts provided by IBM. Not sure about Hercules, I've never used it. Synopsys and Mentor should have a site analogous to Cadence Sourcelink to download their tools. You should contact your network admin or technology provider for acquiring these tools.