Abstract
While two implementations with the same delay insensitive scheduling policy are guaranteed to be synchronously equivalent to each other, two implementations with different delay insensitive scheduling policies may still be synchronously equivalent to each other, depending on the behavior of the design. In this chapter, we introduce communication analysis, that can be used to conservatively check the equivalence between two different delay insensitive scheduling policies.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media New York
About this chapter
Cite this chapter
Hsieh, H., Balarin, F., Sangiovanni-Vincentelli, A. (2001). Communication Analysis. In: Synchronous Equivalence. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-1659-0_7
Download citation
DOI: https://doi.org/10.1007/978-1-4615-1659-0_7
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5664-6
Online ISBN: 978-1-4615-1659-0
eBook Packages: Springer Book Archive