Skip to main content
SpringerLink
Log in

System design and design automation

  • Chapter
Design of Logic Systems

  • 165 Accesses

Abstract

In this chapter we shall draw together many of the design techniques previously discussed and place then in the context of large-scale system design. The fundamental concepts underlying digital system design (partitioning circuits into data paths and controllers, constructing large circuits from replicated subcircuits, viewing a system at different levels of detail, etc.) were introduced in Chapter 1 and have been applied to many examples since. We shall now examine their role more formally and introduce the concepts of design automation and logic synthesis,in which many of the techniques for combinational and sequential circuit design are implemented as computer programs so that the application of CAD tools is extended to include the automation of the design process itself, and that (within constraints) a circuit may be implemented directly from a high-level description.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References and Bibliography

  1. Harrison, D.S. et al. (1990) Electronic CAD frameworks. Proc. IEEE, 78 (2), 393–418.

    Article  Google Scholar 

  2. Eastman, C.E. (1981) Database facilities for engineering design. Proc. IEEE, 69 (10), 1249–55.

    Article  Google Scholar 

  3. Ludlam, D. (1983) The design database. Computer Systems, July, 55–7.

    Google Scholar 

  4. Ayres, R.F. (1983) Silicon Compilation and the Art of Automatic Microchip Design, Prentice-Hall.

    Google Scholar 

  5. Crastes de Paulet, M. and Saucier, G. (1987) Silicon compilers, in Proc. Electronic Design Automation Conf., pp. 3–13.

    Google Scholar 

  6. Schuck, J. et al. (1988) ALGIC — a silicon compiler system for digital signal processing. Computer Aided Engineering J., Oct., 191–9.

    Google Scholar 

  7. Curtis, W. (1980) Measurement and experimentation in software engineering. Proc. IEEE, 68 (9), 1144–57.

    Article  MathSciNet  Google Scholar 

  8. Fenton, N.E. and Kaposi, A.A. (1987) Metrics and software structure. Information and Software Technology, 29 (6), 301–20.

    Article  Google Scholar 

  9. Beishon, J. and Peters, G. (1972) Systems Behaviour, Open University Press.

    Google Scholar 

  10. Simon, A. (1981) The Sciences of the Artificial, MIT Press.

    Google Scholar 

  11. Bowen, B.A. and Brown, W.R. (1985) Systems Design, Vol. 2 of VLSI Systems Design for Digital Signal Processing, Prentice-Hall.

    Google Scholar 

  12. Begg, V. (1984) Developing Expert CAD Systems, Kogan Page.

    Google Scholar 

  13. O’Cathain, C.S. (1982) Why is design logically impossible? Design Studies, 3 (3), 123–5.

    Article  Google Scholar 

  14. Bending, M.J. (1984) HiTest–A knowledge-based test generation system. IEEE Design and Test of Computers, May, 83–92.

    Google Scholar 

  15. Joobbani, R. et al. (1985) Application of knowledge based expert systems to detailed routing of VLSI chips, in Proc. 1985 IEEE Int Conf on Computer Des., pp. 199–202.

    Google Scholar 

  16. Saucier, G. et al. (1987) ASYL: A rule-based system for controller synthesis. IEEE Trans CAD, 6 (6), 1088–96.

    Article  Google Scholar 

  17. Southard, J.R. (1983) MacPitts: An approach to silicon compilation. IEEE Computer, Dec., 74–82.

    Google Scholar 

  18. Trickey, H. (1987) Flamel: A high-level hardware compiler. IEEE Trans CAD, 6 (2), 259–68.

    Article  Google Scholar 

  19. Rubin, S.M. (1987) Computer Aids for VLSI Design, Addison-Wesley.

    Google Scholar 

  20. Marathe, S.S. and Joshi, R.R. (1982) A placement algorithm for logic schematics, in Proc CAD 82, Butterworths.

    Google Scholar 

  21. May, M. et al. (1983) Placement and routing for logic schematics. Computer Aided Design, 15 (3), 115–21.

    Article  Google Scholar 

  22. Foulk, P.W. (1985) CAD of Concurrent Computers, Research Studies Press.

    Google Scholar 

  23. Heath, F.G. et al. (1984) Analysis and restructuring of concurrent systems using Prolog. IEE Proc., 131, part E, no. 5, Sept., 169–76.

    Google Scholar 

  24. Paulin, P.G. and Knight, J.P. (1989) Algorithms for high-level synthesis. IEEE Design and Test of Computers, Dec., 18–31.

    Google Scholar 

  25. McFarland, M.C. et al. (1990) The high-level synthesis of digital systems. Proc. IEEE, 78 (2), 301–18.

    Article  Google Scholar 

  26. Bhasker, J. and Lee, H. (1990) An optimiser for high-level synthesis. IEEE Design and Test of Computers, Oct., 20–6.

    Google Scholar 

  27. Tseng, C. and Siewiorek, D.P. (1986) Automated synthesis of data paths in digital systems. IEEE Trans CAD, 5 (3), 379–95.

    Article  Google Scholar 

  28. Devadas, S. and Newton, A.R. (1989) Algorithms for hardware allocation in data path synthesis. IEEE Trans CAD, 8 (7), 768–81.

    Article  Google Scholar 

  29. Nagle, A.W. et al. (1982) Synthesis of hardware for the control of digital systems. IEEE Trans CAD, 1 (4), 201–12.

    Article  Google Scholar 

  30. Camposano, R. and Rosenstiel, W. (1989) Synthesising circuits from behavioural descriptions. IEEE Trans CAD, 8 (2), 171–9.

    Article  Google Scholar 

  31. Thomas, D.E. et al. (1983) Automatic data path synthesis. IEEE Computer, Dec., 59–69.

    Google Scholar 

  32. Clawson, H. (1987) Understand EDIF conventions to transfer circuit data. Electronic Design, Oct., 49–56.

    Google Scholar 

  33. Chu, Y. (1965) An ALGOL-like computer design language. Comm. ACM, No. 8, 607–15.

    Article  MATH  Google Scholar 

  34. Duley, J.R. and Deitmeyer, D.L. (1969) Translation of a DDL digital system specification to Boolean equations. IEEE Trans Comp., 18, 305–13.

    Article  Google Scholar 

  35. Barbacci, M.R. and Uehara T. (1985) Computer hardware description languages: the bridge between hardware and software. IEEE Computer, Feb., 6–8.

    Google Scholar 

  36. Dasgupta, S. (1989) Computer Architecture: A Modern Synthesis, Vol. 2, Wiley.

    Google Scholar 

  37. Cohen, B. et al. (1986) The Specification of Complex Systems, Addison-Wesley.

    Google Scholar 

  38. Camurati, P. and Prinetto, P. (1988) Formal verification of hardware correctness. IEEE Computer, July, 8–19.

    Google Scholar 

  39. Jesshope, C.R. (1985) Pascal circuit compiler for UK5000. IEE Proc. Pt. E, 132 (2), 116–20.

    Google Scholar 

  40. Mano, T. et al. (1985) Occam to CMOS, in Computer Hardware Description Languages and Their Application, C.J. Koomen and T. Motooka (eds ), North-Holland.

    Google Scholar 

  41. Dowsing, R.D. (1985) Simulating hardware structures in occam. Software and Microsystems, 4 (4), 77–84.

    Article  Google Scholar 

  42. Ghosh, S. (1988) Using Ada as an HDL. IEEE Design and Test of Computers, Feb., 30–8.

    Google Scholar 

  43. Girczyk, E.F. et al. (1985) Applicability of a subset of Ada as an algorithmic hardware description language for graph-based hardware compilation. IEEE Trans CAD, 4 (2), 134–42.

    Article  Google Scholar 

  44. Aylor, J.H. et al. (1986) VHDL — feature description and analysis. IEEE Design and Test of Computers, Apr., 17–27 (special issue on VHDL).

    Google Scholar 

  45. Dettmer, R. (1986) Ella — a language for VLSI. IEE Electronics and Power, July, 517–22.

    Google Scholar 

  46. Norris, M.T. et al. (1986) Towards better system specifications. Br. Telecom Technol. J., 4 (3), 102–9.

    Google Scholar 

  47. Waxman, R. et al. (1989) VHDL links design, test and maintenance. IEEE Spectrum, May, 40–5.

    Google Scholar 

  48. Lipsett, R. et al. (1989) VHDL: Hardware Description and Design,Kluwer.

    Google Scholar 

  49. Coelho, D.R. (1989) The VHDL Handbook,Kluwer.

    Google Scholar 

  50. Carlson, S. (1990) Introduction to HDL-based Design using VHDL,Synopsys Inc.

    Google Scholar 

  51. Armstrong, J.R. (1980) Tuning VHDL for multivalue logic modeling. IEEE Design and Test of Computers, June, 8–12 (special issue on VHDL logic modeling).

    Google Scholar 

  52. Nash, J.D. and Saunders, L.F. (1986) VHDL critique. IEEE Design and Test of Computers, Apr., 54–65.

    Google Scholar 

  53. Huber, J.P. and Rosneck, M.W. (1991) Successful ASIC Design the First Time Through, Van Nostrand Reinhold.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Sheffield, UK

    D. Lewin (Formerly Professor of Computer Science and Information Engineering)

  2. South Bank University, London, UK

    D. Protheroe (Lecturer in Electronic Engineering)

Authors
  1. D. Lewin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. D. Protheroe
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1992 D. Lewin and D. Protheroe

About this chapter

Cite this chapter

Lewin, D., Protheroe, D. (1992). System design and design automation. In: Design of Logic Systems. Springer, Boston, MA. https://doi.org/10.1007/978-1-4899-6856-2_11

Download citation

  • DOI: https://doi.org/10.1007/978-1-4899-6856-2_11

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-0-412-42890-6

  • Online ISBN: 978-1-4899-6856-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation