Correctness and equivalence of straight line microprograms

Authors:
C. V. Ramamoorthy;K. S. Shankar
Affiliations:
-;-
Venue:
MICRO 6 Conference record of the 6th annual workshop on Microprogramming
Year:
1973

Citing 3
Cited 3

Contemporary Concepts of Microprogramming and Emulation

ACM Computing Surveys (CSUR)
Optimization Strategies for Microprograms

IEEE Transactions on Computers
An efficient algorithm for exploiting multiple arithmetic units

IBM Journal of Research and Development

The design of a system for the synthesis of correct microprograms

MICRO 8 Proceedings of the 8th annual workshop on Microprogramming
Microprogramming: an opportunity for SIGACT

ACM SIGACT News
Strum: Structured Microprogram Development System for Correct Firmware

IEEE Transactions on Computers

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper is concerned with developing automatic methods for the testing of correctness and equivalence of straight line segments of microcode. A model, which accounts for a composite of features common to a large variety of contemporary machines is first presented. Correctness and equivalence of straight line microprograms are then defined. The testing techniques are then developed.