CORAL II: linking behavior and structure in an IC design system

Authors:
Robert L. Blackburn;Donald E. Thomas;Patti M. Koenig
Affiliations:
Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA;Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA;Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA
Venue:
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Year:
1988

Citing 6
Cited 9

The system architect's workbench

DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Linking the behavioral and structural dominis of representation in a synthesis system

DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Symbolic Debugging of Optimized Code

ACM Transactions on Programming Languages and Systems (TOPLAS)
Automated proofs of microprogram correctness

MICRO 9 Proceedings of the 9th annual workshop on Microprogramming
Symbolic simulation for correct machine design

DAC '79 Proceedings of the 16th Design Automation Conference
Interactive source-level debugging for optimized programs (compilation, high-level)

Interactive source-level debugging for optimized programs (compilation, high-level)

ACE: a hierarchical graphical interface for architectual synthesis

DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
An interactive tool for register-level structure optimization

DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Increasing user interaction during high-level synthesis

MICRO 24 Proceedings of the 24th annual international symposium on Microarchitecture
Tool integration and construction using generated graph-based design representations

DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
A source-level dynamic analysis methodology and tool for high-level synthesis

ISSS '97 Proceedings of the 10th international symposium on System synthesis
The system architect's workbench

DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
An efficient multi-view design model for real-time interactive synthesis

ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Clairvoyant: a synthesis system for production-based specification

Readings in hardware/software co-design
Clairvoyant: a synthesis system for production-based specification

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a technique for maintaining very fine grained links between a behavioral specification and an automatically generated VLSI structural implementation. CORAL II execedes 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 may be applied and the types of design choices that may be made. The complications introduced by these transformations and design decisions are discussed. Some possible applications of this work are outlined and an existing graphical interface for examining the synthesized design and its relationship to the behavioral specification is described.