Skip to main content

Part of the book series: Macmillan New Electronics Series

  • 36 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

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.

    Article  Google Scholar 

  • Clare, C. R. (1973). Designing Logic Systems using State Machines, McGraw-Hill.

    Google Scholar 

  • Hartmanis, J. and Stearns, R. E. (1966). Algebraic Structure Theory of Sequential Machines, Prentice-Hall International Series in Applied Mathematics.

    Google Scholar 

  • Karnaugh, M. (1953). ‘The map method for synthesis of combinatorial logic circuits’, Transactions of the AIEE, 72 (1), pp. 593–599.

    Google Scholar 

  • McFarland, M. C, Parker, A. C. and Camposano, R. (1988). ‘Tutorial on high-level synthesis’, 25th Design Automation Conference, pp. 330–336.

    Google Scholar 

  • Roth, P. (1980). Computer Logic, Testing, and Verification, Pitman, London.

    Google Scholar 

  • 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

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)

Publish with us

Policies and ethics