Skip to main content

An Integrated Approach to Design, Implementation, and Testing of Digital Systems

  • Chapter
Computer-Based Automation
  • 89 Accesses

Abstract

Recent advancements in the micro-electronic technology have made it possible to manufacture digital systems of considerable complexity at a very low per-system cost. Full potential of this manufacturing capability, however, can be utilized only if the associated digital hardware design automation systems can be upgraded to reduce the cost associated with the design process. This is especially true of special purpose low-volume digital systems.

From initial requirement specification, the design of a digital system progresses through several levels of refinements until it reaches the final fabrication phase. A modern digital hardware design automation system must be able to support all phases of design activities, including testing, from a single description of the digital system which is to be designed. Since the complexity of digital systems is ever-increasing it is necessary that the design automation system provides an abstraction mechanism for clear, concise and unambiguous description of the digital system. Such abstraction is provided by the computer hardware description languages (CHDLs).

This paper discusses the design and implementation of a CHDL based automation system that provides an integrated environment to support all phases of design activities from initial specification to final fabrication and testing of digital system. Current industrial applications of the automation system and future research plans will also be discussed.

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

Access this chapter

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

  1. M. R. Barbacci, “Instruction set processor specifications (ISPS): the notation and its application,” IEEE Trans. on Computers, vol. C-30, pp. 24–40, Jan. 1981.

    Google Scholar 

  2. J. E. Belt, “An heuristic approach to test sequence generation for AHPL described sequential circuits,” Ph.D. dissertation, University of Arizona, 1973.

    Google Scholar 

  3. M. A. Breuer, “A random and algorithmic technique in fault detection test generation for sequential circuits,” IEEE Trans. on Electronic Computers, Vol. C-20, pp. 1364–1370, Nov. 1971.

    MathSciNet  Google Scholar 

  4. E. A. Carter, “Fault test generation for sequential circuits described in AHPL,” Ph.D. dissertation, University of Arizona, 1973.

    Google Scholar 

  5. C. H. Chiang, F. Hill, A. Mohseni, and D. Chen, “Fault detection test generation at the register transfer level,” in Proc. IEEE First Annual Phoenix Conf. on Computers and Communications, pp. 58–63, May 1982.

    Google Scholar 

  6. Y. Chu, “An Algol-like computer design language,” Communications ACM, pp. 607–615, October 1965.

    Google Scholar 

  7. J. R. Duley and D. Dietmeyer, “A digital system design language (DDL),” IEEE Trans. on Computers, Vol. C-17, pp. 850–861, Sept. 1969.

    Article  Google Scholar 

  8. D. E. Farmer, “Algorithms for designing fault detection experiments for sequential machines,” IEEE Trans. on Computers, Vol. C-22, pp. 159–167, Feb. 1973.

    Article  Google Scholar 

  9. F. J. Hill, “Updating AHPL,” in Proc. 1975 Int. Symp. on Hardware Description Languages and Their Applications,“ pp. 22–29, Sept. 1975.

    Google Scholar 

  10. F. J. Hill and G. R. Peterson, Digital Systems: Hardware Organization and Design, 2nd ed., John Wiley & Sons, New York, 1978.

    Google Scholar 

  11. B. M. Huey, “Search directing heuristics for sequential circuit test system ( SCIRTSS),” Ph.D. dissertation, University of Arizona, 1973.

    Google Scholar 

  12. K. Iverson, A Programming Language, John Wiley & Sons, New York, 1962.

    MATH  Google Scholar 

  13. C. R. Kine, “An organization for checking experiments on sequential circuits,” IEEE Trans. on Elect. Computers, Vol. EC-15, pp. 113–115, Feb. 1966.

    Google Scholar 

  14. Z. Kohavi, Switching and Finite Automata Theory, 2nd ed., McGraw-Hill, New York, 1978.

    MATH  Google Scholar 

  15. M. Masud, “A modular implementation of a digital hardware design automation system,” Ph.D. dissertation, University of Arizona, 1981.

    Google Scholar 

  16. C. Mead and L. Conway, Introduction to VLSI System, Addison Wesley, Massachusetts, 1981.

    Google Scholar 

  17. Z. Navabi, M. Masud, W. Knapp, and F. Hill, “Impact of VLSI technology on the hardware description language AHPL,” in Proc. 1980 Conf. on Circuits and Computers, 1980.

    Google Scholar 

  18. S. S. Patil and T. Welch, “A programmable logic approach for VLSI,” IEEE Trans. on Computers, Vol. C-28, pp. 594–601, Sept. 1979.

    Article  Google Scholar 

  19. R. Piloty, “Segmentation constructs for RTS III,” in Proc. 1975 Int. Symp. on Hardware Description Languages and Their Applications,“ pp. 115–124, Sept. 1975.

    Google Scholar 

  20. K. Wacks, F. Hill, M. Masud, and P. deBruyn Kops, “An integrated system for LSI device modeling,” in Proc. Automatic Testing 80, Paris, France, Sept. 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Plenum Press, New York

About this chapter

Cite this chapter

Masud, M. (1985). An Integrated Approach to Design, Implementation, and Testing of Digital Systems. In: Tou, J.T. (eds) Computer-Based Automation. Springer, Boston, MA. https://doi.org/10.1007/978-1-4684-7559-3_25

Download citation

  • DOI: https://doi.org/10.1007/978-1-4684-7559-3_25

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4684-7561-6

  • Online ISBN: 978-1-4684-7559-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics