Abstract
In this chapter we present several static algorithms for the synchronous equivalence analysis of CFSM networks. Only simple comparison on implementation parameters or simple search on the system graph is needed for these algorithms. Consequently, they have extremely low bounds on maximum computation time, at the cost that many inconclusive results are possible due to the false negatives. We will show through examples that they are still very useful for embedded system design based on CFSM networks.
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
© 2001 Springer Science+Business Media New York
About this chapter
Cite this chapter
Hsieh, H., Balarin, F., Sangiovanni-Vincentelli, A. (2001). Static Equivalence Analysis. In: Synchronous Equivalence. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-1659-0_6
Download citation
DOI: https://doi.org/10.1007/978-1-4615-1659-0_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5664-6
Online ISBN: 978-1-4615-1659-0
eBook Packages: Springer Book Archive