Microprogram Verification and Validation.
Abstract
Microprogramming has emerged as a central attribute of the small-to-medium-scale computers embedded within both military and industrial systems. Among the principal reasons contributing to the rapid growth of this technology and its wide application are that it is easy both to incorporate changes to a design and to emulate consistently another computer. Unfortunately, there exist many similarities between microprogramming technology as it exists today and the state of the art of software technology as it existed twenty years ago. Presently, microprograms are developed by highly personnel who are familiar with the inner workings of the target computer. Considerable interest in devloping improved methods for microprogram verification and validation has appeared because of the impact microprograms have on the reliability of total computer system. The purpose of this report is to document results of recent invesitgation conducted to determine what the state of the art of microprogram verification and validation is and how it might be improved. Current methods and promising new techniques are reported and an assessment of the technology is made.
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 01, 1976
- Accession Number
- ADA033792
Entities
People
- Donald J. Reifer
Organizations
- The Aerospace Corporation