skip to main content
article
Free Access

Verification of the FTSC microprogram

Published:19 November 1978Publication History
Skip Abstract Section

Abstract

At ISI, we are halfway into a two year research program in microcode verification. We are focussing our attention on microcode that implements a target instruction set. The Fault-Tolerant Spaceborne Computer is a typical microcoded machine and we are using an early version of it as the prime example for the present work. example for the present work. The host machine decodes a 78 bit microinstruction into 37 separate fields. About 750 microinstructions are used to implement the target instruction set. The target machine is word oriented with 32 bit words. The CPU has eight general purpose registers and carries out the usual repertoire of integer, logical and floating point operations.

Index Terms

  1. Verification of the FTSC microprogram

                    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 9, Issue 4
                      Dec. 1978
                      160 pages
                      ISSN:1050-916X
                      DOI:10.1145/1014198
                      Issue’s Table of Contents

                      Copyright © 1978 Authors

                      Publisher

                      Association for Computing Machinery

                      New York, NY, United States

                      Publication History

                      • Published: 19 November 1978

                      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!