Abstract
In this chapter, we present timing constraint abstraction and analysis techniques. The primary objective of constraint analysis is to examine the mutual consistency of timing constraints and to answer the question about the existence of a system implementation that would satisfy the timing constraints. This analysis assumes that any constraints on availability of hardware resources have already been resolved as additional control dependencies in the flow graph model. Therefore, the available concurrency in the flow graph model can indeed be supported by the available hardware.
This is a preview of subscription content, log in via an institution to check access.
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
© 1995 Springer Science+Business Media New York
About this chapter
Cite this chapter
Gupta, R.K. (1995). Constraint Analysis. In: Co-Synthesis of Hardware and Software for Digital Embedded Systems. The Springer International Series in Engineering and Computer Science, vol 329. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-2287-4_4
Download citation
DOI: https://doi.org/10.1007/978-1-4615-2287-4_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5965-4
Online ISBN: 978-1-4615-2287-4
eBook Packages: Springer Book Archive