Abstract: 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 ...