Article

Free access

Correctness and equivalence of straight line microprograms

Authors:

C. V. Ramamoorthy,

K. S. ShankarAuthors Info & Claims

MICRO 6: Conference record of the 6th annual workshop on Microprogramming

Pages 1 - 12

https://doi.org/10.1145/800203.806228

Published: 24 September 1973 Publication History

PDF eReader

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.

References

[1]

Cook, R. W. and Flynn, M. J. - System design of a dynamic microprocessor, IEEE Comput. Trans., vol. C-19, no. 3, March 70.

Google Scholar

[2]

Ramamoorthy, C. V. and Tsuchiya, M. - A study of user microprogrammable computers, AFIPS, SJCC, 1970, pp. 165-181.

Google Scholar

[3]

Kleir, R. L. and Ramamoorthy, C. V. - Optimization strategies for microprograms, IEEE Comput. Trans. vol. C-20, no. 7, July 71.

Digital Library

Google Scholar

[4]

Manna, Z. - The correctness of computer programs, Jour. of Computer and System Sciences, 3, May 69, pp. 119-127.

Google Scholar

[5]

Aho, A. V. and Ullman, J. D. - Optimization of straight line programs, SIAM Jour. Comput., vol. 1, no. 1, March 72.

Google Scholar

[6]

Bernstein, A. J. - Analysis of programs for parallel processing, IEEE Comput. Trans., Oct. 66, pp. 757-763.

Google Scholar

[7]

Tamasulo, R. M. - An efficient algorithm for exploiting multiple arithmetic units, IBM J., Jan. 67, pp. 25-33.

Digital Library

Google Scholar

[8]

Rosin, R. F. - Contemporary Concepts of Microprogramming and Emulation, Comp. Surveys, Vol. 1, No. 4, Dec. 1969.

Digital Library

Google Scholar

Cited By

View all

Patterson D(1976)StrumIEEE Transactions on Computers10.1109/TC.1976.167453825:10(974-985)Online publication date: 1-Oct-1976
https://dl.acm.org/doi/10.1109/TC.1976.1674538
Patterson DLidinsky WTsuchiya MArvind (1975)The design of a system for the synthesis of correct microprogramsProceedings of the 8th annual workshop on Microprogramming10.1145/800148.804856(13-17)Online publication date: 21-Sep-1975
https://dl.acm.org/doi/10.1145/800148.804856
Agrawala ARauscher T(1974)MicroprogrammingIEEE Transactions on Computers10.1109/T-C.1974.22403823:8(817-837)Online publication date: 1-Aug-1974
https://dl.acm.org/doi/10.1109/T-C.1974.224038
Show More Cited By

Index Terms

Correctness and equivalence of straight line microprograms

Recommendations

Digital Straight Line Segments

It is shown that a digital arc S is the digitization of a straight line segment if and only if it has the "chord property:" the line segment joining any two points of S lies everywhere within distance 1 of S. This result is used to derive several ...
A simple proof of Rosenfeld's characterization of digital straight line segments

A digital straight line segment is defined as the grid-intersect quantization of a straight line segment in the plane. Let S be a set of pixels on a square grid. Rosenfeld [8] showed that S is a digital straight line segment if and only if it is a ...
Automatic Testing for the Correctness and Equivalence of Loopfree Microprograms

Current architecture for microprogrammable machines vary widely. In order to avoid the applicability of the testing technique to a particular machine example, hardware, microware and microprograms are represented in a general fashion. This ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

MICRO 6: Conference record of the 6th annual workshop on Microprogramming

September 1973

183 pages

ISBN:9781450377836

DOI:10.1145/800203

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 September 1973

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 484 of 2,242 submissions, 22%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
197
Total Downloads

Downloads (Last 12 months)46
Downloads (Last 6 weeks)5

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Patterson D(1976)StrumIEEE Transactions on Computers10.1109/TC.1976.167453825:10(974-985)Online publication date: 1-Oct-1976
https://dl.acm.org/doi/10.1109/TC.1976.1674538
Patterson DLidinsky WTsuchiya MArvind (1975)The design of a system for the synthesis of correct microprogramsProceedings of the 8th annual workshop on Microprogramming10.1145/800148.804856(13-17)Online publication date: 21-Sep-1975
https://dl.acm.org/doi/10.1145/800148.804856
Agrawala ARauscher T(1974)MicroprogrammingIEEE Transactions on Computers10.1109/T-C.1974.22403823:8(817-837)Online publication date: 1-Aug-1974
https://dl.acm.org/doi/10.1109/T-C.1974.224038
Ramamoorthy CShankar K(1974)Automatic Testing for the Correctness and Equivalence of Loopfree MicroprogramsIEEE Transactions on Computers10.1109/T-C.1974.22403323:8(768-782)Online publication date: 1-Aug-1974
https://dl.acm.org/doi/10.1109/T-C.1974.224033
Jones L(1973)MicroprogrammingACM SIGACT News10.1145/1008299.10083005:4(9-11)Online publication date: 1-Oct-1973
https://dl.acm.org/doi/10.1145/1008299.1008300

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Digital Straight Line Segments

A simple proof of Rosenfeld's characterization of digital straight line segments

Automatic Testing for the Correctness and Equivalence of Loopfree Microprograms