Design Automation Conference (1988)
Anaheim, CA, USA
June 12, 1988 to June 15, 1988
Blackburn , Dept. of Electr. & Comput. Eng., Carnegie-Mellon Univ., Pittsburgh, PA, USA
Thomas , Dept. of Electr. & Comput. Eng., Carnegie-Mellon Univ., Pittsburgh, PA, USA
Koenig , Dept. of Electr. & Comput. Eng., Carnegie-Mellon Univ., Pittsburgh, PA, USA
A technique is described for maintaining very-fine-grained links between a behavioral specification and an automatically generated VLSI structural implementation. CORAL II exceed previous systems in the scope of design representations involved and the complexity of the relationships handled. The design representations used are described, as are the behavioral transformations that can be applied and the types of design choices that can be made. The complications introduced by these transformations and design decisions are discussed. Some possible applications of CORAL II are outlined and an existing graphical interface for examining the synthesized design and its relationship to the behavioral specification is described.
CAD, computer aided design, CORAL II, IC design system, behavioral specification, automatically generated VLSI structural implementation
Thomas, Koenig and Blackburn, "CORAL II: linking behavior and structure in an IC design system," Design Automation Conference(DAC), Anaheim, CA, USA, 1988, pp. 529-535.