Abstract
Previous chapters have discussed the actual process of synthesizing a structural design from a behavioral description. This chapter offers a method of preserving design information during that process. One of the problems encountered in many automated synthesis systems is that no information is provided describing the relationships between the various intermediate representations of the design that exist in the system. One feeds a design specification into the system and receives an implementation, but the system does not describe the relationship between the input and output design representations.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1990 Kluwer Academic Publishers
About this chapter
Cite this chapter
Thomas, D.E., Lagnese, E.D., Walker, R.A., Nestor, J.A., Rajan, J.V., Blackburn, R.L. (1990). Correlating the Multilevel Design Representation (CORAL). In: Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench. The Kluwer International Series in Engineering and Computer Science, vol 85. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-1519-3_9
Download citation
DOI: https://doi.org/10.1007/978-1-4613-1519-3_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-8815-2
Online ISBN: 978-1-4613-1519-3
eBook Packages: Springer Book Archive