This utility enumerates all wells in a set of selected cells. Any well that contains p-diffusion and has not a proper contact is flagged to be in error.

Enumerates all vias and verifies that they are on flat topology. See the definition module for details.

This tool uses a novel approach to design rule checking better suited to the problem at hand. Rather than storing the geometry and and performing metric operations to verify the rules, ViaFlatness stores only topological information. This amounts to a set of boolean vectors stored in a corner stitched plane. Basically the program performs two passes on the data. In the first pass the topological data structure is constructed. In the second pass it is interpreted and conclusions are drawn on the violation of design rules.