Abstract
As we discussed in the previous chapter, some violations of STG and SG implementabihty conditions, such as output persistency and consistency, are considered to be essential for implement ability, and thus if violated they must be fixed by the designer. Complete State Coding (CSC) is also required for implement ability, however a specification that does not satisfy it can be transformed in such a way that its behavior remains externally equivalent to the original specification, yet the new SG satisfies CSC. One of the important conclusions of this chapter is that under reasonable assumptions about the class of specifications, the suggested methods to ensure CSC are effective and always converge.
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
© 2002 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A. (2002). State Encoding. In: Logic Synthesis for Asynchronous Controllers and Interfaces. Springer Series in Advanced Microelectronics, vol 8. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-55989-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-55989-1_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-62776-7
Online ISBN: 978-3-642-55989-1
eBook Packages: Springer Book Archive