skip to main content
article
Free Access

The derivation of microcode by symbolic execution

Published:30 November 1980Publication History
Skip Abstract Section

Abstract

Given a description of a computer called the “target” and a micro processor called the “host” we would like to generate a micro program which when executed by the host will simulate the target. We accomplish this by first breaking the target down into a set of small segments. Then, logical conditions for an appropriate microcode are generated for each segment by a combination of symbolic execution and simplification. When completed, the segments are assembled into a working code by solving the set of logical conditions.

References

  1. 1 SYMBOLIC EXECUTION OF FORMAL MACHINE DESCRIPTIONS, John D. Oakley, Carnegie-Mellon University; April, 1979.Google ScholarGoogle Scholar
  2. 2 MICROCODE VERIFICATION PROJECT FINAL REPORT; Stephen D. Crocker, USC Information Sciences Institute, December, 1979.Google ScholarGoogle Scholar
  3. 3 A DISCIPLINE OF PROGRAMMING; E.W. Dijkstra, Prentice-Hall, 1976.Google ScholarGoogle Scholar
  4. 4 FORMALIZATION AND AUTOMATIC DERIVATION OF CODE GENERATORS; R. G. G. Cattell, Carnegie-Mellon University, April, 1978.Google ScholarGoogle Scholar
  5. 5 THE ISPS COMPUTER DESCRIPTION LANGUAGE, 1977; Mario R. Barbacci, Gary E. Barnes, Roderic G. Cattell, and Daniel P. Siewiorek, Carnegie-Mellon University, 1977.Google ScholarGoogle Scholar

Index Terms

  1. The derivation of microcode by symbolic execution

            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 11, Issue 3-4
              Dec. 1980
              177 pages
              ISSN:1050-916X
              DOI:10.1145/1014190
              Issue’s Table of Contents

              Copyright © 1980 Author

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 30 November 1980

              Check for updates

              Qualifiers

              • article

            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!