This article describes a correct by construction approach to synthesize electrically and designs compliant design. By taking advantage of layout hierarchies the researchers are able to apply this to an interesting class of circuits. The philosophy of ALIGN is to compositionally synthesize the layout by first identifying layout hierarchies in the netlist, then generating correct-by-construction layouts at the lowest level of the hierarchy, and finally assembling blocks at each level of hierarchy during placement and routing. A key step in ALIGN is to identify these hierarchies to recognize the building blocks of the design. In doing so, ALIGN mimics the human designer, who identifies known blocks, lays them out, and then builds the overall layout hierarchically.
Bibliographical noteFunding Information:
This work was supported in part by the DARPA IDEA program under SPAWAR Contract N660011824048.