Applying Algebraic Techniques to Microcode Compilation

Abstract

This memo assesses the effectiveness of using algebraic techniques in the compilation of microcode. Microcode for an example system, the SMITE secure processor, is considered.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1992
Accession Number
ADA249857

Entities

People

  • C. J. Cant

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Compilers
  • Computer Program Documentation
  • Computer Programming
  • Computer Programs
  • Computers
  • Copyrights
  • Foreign Languages
  • High Level Languages
  • Instruction Set Architecture
  • Instructions
  • Language
  • Lists (Data Structures)
  • Microcode
  • Object Code
  • Programming Languages

Fields of Study

  • Computer science