skip to main content
article
Free Access

Design verification of a VLSI VAX microcomputer

Published:01 December 1984Publication History
Skip Abstract Section

Abstract

Design verification as part of development provides an opportunity to correct design errors, improve performance characteristics, and optimize hardware. This paper presents the strategy and an overview of the verification performed in the development of a VLSI VAX microcomputer. Using a hierarchical methodology for simulation and verification, the logic design and circuit design have been verified.

References

  1. 1 W.N. Johnson, "A VLSI VAX Microcomputer." Digest of Papers, COMPCON 84. pp. 242-246. Feb. 1984.Google ScholarGoogle Scholar
  2. 2 Robert Gries, and J. A. Woodward, "Software Tools Used in the Development of a VLSI VAX Microcomputer," accompanying paper in MICRO-17 proceedings. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3 W. Sherwood, "A Prototype Engineering Tester for Microcode/Hardware Debug," accompanying paper in MICRO-17 proceedings. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Design verification of a VLSI VAX microcomputer

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        • Published in

          cover image ACM SIGMICRO Newsletter
          ACM SIGMICRO Newsletter  Volume 15, Issue 4
          MICRO 17: Proceedings of the Seventeenth Annual Microprogramming Workshop
          Dec. 1984
          302 pages
          ISSN:1050-916X
          DOI:10.1145/384281
          Issue’s Table of Contents
          • cover image ACM Conferences
            MICRO 17: Proceedings of the 17th annual workshop on Microprogramming
            December 1984
            325 pages

          Copyright © 1984 Authors

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 1 December 1984

          Check for updates

          Qualifiers

          • article
        • Article Metrics

          • Downloads (Last 12 months)9
          • Downloads (Last 6 weeks)1

          Other Metrics

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!