LCS - A Leaf Cell Synthesizer Employing Formal Deduction Techniques

P. A. Subrahmanyam. LCS - A Leaf Cell Synthesizer Employing Formal Deduction Techniques. In DAC. pages 459-465, 1987. [doi]

Abstract

Abstract is missing.