Reliable Microprogramming.

Abstract

This report presents the results of the Reliable Microprogramming Contract. Current technology for microprogram verification is surveyed, and a set of microprogramming tools is proposed. These tools are evaluated, and a recommended set is identified. A Functional Description and a System Specification are provided for each recommended tool. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1979
Accession Number
ADA073454

Entities

People

  • Gordon Hamachi
  • Jane Radatz
  • Jeffrey Laub

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Computer Program Documentation
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Debugging
  • Firmware
  • Information Science
  • Microcode
  • Microprogramming
  • Object Code
  • Operating Systems
  • Plastic Explosives
  • Software Development
  • Software Development Tools
  • Software Testing
  • Test And Evaluation

Fields of Study

  • Computer science

Readers

  • Computational Modeling and Simulation
  • Computer Engineering
  • Life Cycle Cost Analysis