Microprogram Transformations

Authors:
E. P. Stabler
Affiliations:
-
Venue:
IEEE Transactions on Computers
Year:
1970

Citing 10
Cited 0

Random-Access Stored-Program Machines, an Approach to Programming Languages

Journal of the ACM (JACM)
Programming Language for Automata

Journal of the ACM (JACM)
Formalism in programming languages

Communications of the ACM
A language for describing the functions of synchronous systems

Communications of the ACM
An ALGOL-like computer design language

Communications of the ACM
A meta-compiler as a design automation tool

DAC '66 Proceedings of the SHARE design automation project
Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)

Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)
A programming language

A programming language
A logic design translator

AFIPS '62 (Fall) Proceedings of the December 4-6, 1962, fall joint computer conference
A formal description of SYSTEM/360

IBM Systems Journal

Quantified Score

Hi-index	14.98

Visualization

Abstract

A descriptive notation is proposed for microprogramming which uses conventional sequential machine notation for the microprogram, and a register transfer language to define microoperations. The combination allows the definition of useful formal transformations which preserve system behavior. The transformations correspond to paralleling and disassembling microoperations in time and altering the control unit appropriately to preserve the original behavior.