Title :
CORAL II: linking behavior and structure in an IC design system
Author :
Blackburn, R.L. ; Thomas, Donald E. ; Koenig, Patti M.
Author_Institution :
Dept. of Electr. & Comput. Eng., Carnegie-Mellon Univ., Pittsburgh, PA, USA
Abstract :
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.<>
Keywords :
VLSI; circuit CAD; integrated circuit technology; CAD; CORAL II; IC design system; automatically generated VLSI structural implementation; behavioral specification; computer aided design; Adaptive control; Control system synthesis; Digital signal processors; Feedback loop; Force feedback; Information analysis; Joining processes; Microprocessors; Process design; Very large scale integration;
Conference_Titel :
Design Automation Conference, 1988. Proceedings., 25th ACM/IEEE
Conference_Location :
Anaheim, CA, USA
Print_ISBN :
0-8186-0864-1
DOI :
10.1109/DAC.1988.14811
