ALIGN: A System for Automating Analog Layout

This article describes a correct by construction approach to synthesize electrically and designs compliant design. By taking advantage of layout hierarchies they are able to apply this to an interesting class of circuits.