LCS-A Leaf Cell Synthesizer Employing Formal Deduction Techniques

@article{Subrahmanyam1987LCSALC,
  title={LCS-A Leaf Cell Synthesizer Employing Formal Deduction Techniques},
  author={P. A. Subrahmanyam},
  journal={24th ACM/IEEE Design Automation Conference},
  year={1987},
  pages={459-465}
}
This paper discusses the use of formal reasoning techniques to aid in the automated structural design of leaf cells, in the more global context of VLSI circuit design. The technique supports an encapsulation of the technology-dependent aspects of a design by using appropriate formal models, and guarantees the consistency of the designs produced with respect… CONTINUE READING