Accession Number:

ADA073454

Title:

Reliable Microprogramming.

Descriptive Note:

Final technical rept. 7 Feb 78-6 Feb 79,

Corporate Author:

LOGICON INC SAN PEDRO CALIF

Report Date:

1979-07-01

Pagination or Media Count:

347.0

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

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE