Abstract
As outlined in the preceding chapter, we are mainly concerned with an analysis of current computer-aided logic synthesis and logic optimisation techniques. In particular, the synthesis and optimisation of combinatorial logic and finite state machines. Descriptions of digital systems at the logic level are, normally, derived from the higher register transfer level — see figure 1.4. In order to gain an insight into how logic level descriptions are derived, an outline of the design process at the register transfer level is presented in section 2.1.
Preview
Unable to display preview. Download preview PDF.
2.4 References
Barbacci, M. R. (1975). ‘A comparison of register transfer languages for describing computers and digital systems’, IEEE Transactions on Computers, C-24 (2), pp. 137–150.
Clare, C. R. (1973). Designing Logic Systems using State Machines, McGraw-Hill.
Hartmanis, J. and Stearns, R. E. (1966). Algebraic Structure Theory of Sequential Machines, Prentice-Hall International Series in Applied Mathematics.
Karnaugh, M. (1953). ‘The map method for synthesis of combinatorial logic circuits’, Transactions of the AIEE, 72 (1), pp. 593–599.
McFarland, M. C, Parker, A. C. and Camposano, R. (1988). ‘Tutorial on high-level synthesis’, 25th Design Automation Conference, pp. 330–336.
Roth, P. (1980). Computer Logic, Testing, and Verification, Pitman, London.
Singh, A. K. and Tracey, J. H. (1981). ‘Development of comparison features for computer hardware description languages’, CHDL 81, Breuer, M. and Hartenstein, R. (Eds), North-Holland, pp. 247–263.
Author information
Authors and Affiliations
Copyright information
© 1992 M. D. Edwards
About this chapter
Cite this chapter
Edwards, M.D. (1992). Review of the Logic Design Process. In: Automatic Logic Synthesis Techniques for Digital Systems. Macmillan New Electronics Series. Palgrave, London. https://doi.org/10.1007/978-1-349-22267-4_2
Download citation
DOI: https://doi.org/10.1007/978-1-349-22267-4_2
Publisher Name: Palgrave, London
Print ISBN: 978-0-333-55569-9
Online ISBN: 978-1-349-22267-4
eBook Packages: EngineeringEngineering (R0)