Abstract
In this chapter we will introduce models that are used for the specification, synthesis and verification of asynchronous circuits: Petri Nets and Transition Systems. We will also discuss relationships between the two, and transformations that can be done with each of them. These relationships and transformations are interesting within the context of asynchronous circuit synthesis for several reasons. Firstly, some of the synthesis steps, in particular state encoding as discussed in Chap. 5, can be made more efficient by using concepts, such as regions, that were first define to transform Transition Systems into Petri Nets. Secondly, that same transformation can be used to show in a readable form the result of various synthesis steps to the designer (back-annotation). Thirdly, the “new signal insertion” transformation, that is the basis of most synthesis phases, is defined so that it preserves some theoretically important properties of Transition Systems that are discussed in this Chapter.
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
© 2002 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A. (2002). Background. 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_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-55989-1_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-62776-7
Online ISBN: 978-3-642-55989-1
eBook Packages: Springer Book Archive