Abstract
The behavior of finite-state machines is not only determined by the input values but also by the internal states. Sequential circuits are technical realizations of finite-state machines. We introduce models which can be used to describe either the behavior or the structure of several realizations of both asynchronous and synchronous sequential circuits. The behavior of these two types of sequential circuits can be calculated using the same basic approach; however, there are peculiarities that must be considered. Therefore, we describe the analysis of asynchronous and synchronous sequential circuits in separate sections. The synthesis task must take these peculiarities also into account; hence, we explain synthesis methods separately for asynchronous and synchronous sequential circuits. The common synthesis task can be realized by the solution of the system equation with regards to the memory variables and the result variables. For the synthesis of synchronous sequential circuits, we explain a very efficient approach that avoids the explicit calculation of the memory functions but directly computes the controlling functions of the flip-flops. In all these cases non-deterministic finite-state machines are utilized which contribute to the synthesis of optimized sequential circuits. Several approaches for the hardware-software co-design of finite-state machines complete this chapter.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bondy, A., Murty, M.R.: Graph Theory. Springer, London (2008). ISBN: 978-1-84628-969-9
Caldwell, S.H.: Switching Circuits and Logical Design. Wiley, New York (1958). ISBN: 978-0-4711-2969-1
Huffman, D.A.: The synthesis of sequential switching circuits. J. Frankl. Inst. 257(3), 161–190 (1954). https://doi.org/10.1016/0016-0032(54)90574-8
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer International Publishing AG
About this chapter
Cite this chapter
Posthoff, C., Steinbach, B. (2019). Sequential Circuits. In: Logic Functions and Equations. Springer, Cham. https://doi.org/10.1007/978-3-030-02420-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-02420-8_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-02419-2
Online ISBN: 978-3-030-02420-8
eBook Packages: Computer ScienceComputer Science (R0)