Automatic Testing for the Correctness and Equivalence of Loopfree Microprograms
- 1 August 1974
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-23 (8) , 768-782
- https://doi.org/10.1109/t-c.1974.224033
Abstract
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 representation will account for a composite of features common to a large variety of contemporary machines. Such a general description seems to be absolutely necessary, when a comparison of two microprograms executing on different machines has to be made. After defining the model, correctness and equivalence of loopfree microprograms will be defined. The testing techniques are then developed. In the Appendix are shown two examples of straight line microprograms (for simplicity), to which the developed model is applied.Keywords
This publication has 11 references indexed in Scilit:
- Correctness and equivalence of straight line microprogramsPublished by Association for Computing Machinery (ACM) ,1973
- Proving Programs to be CorrectIEEE Transactions on Computers, 1971
- MicroprogrammingACM SIGMICRO Newsletter, 1971
- Optimization Strategies for MicroprogramsIEEE Transactions on Computers, 1971
- System Design of a Dynamic MicroprocessorIEEE Transactions on Computers, 1970
- A study of user-microprogrammable computersPublished by Association for Computing Machinery (ACM) ,1970
- Contemporary Concepts of Microprogramming and EmulationACM Computing Surveys, 1969
- The correctness of programsJournal of Computer and System Sciences, 1969
- An Efficient Algorithm for Exploiting Multiple Arithmetic UnitsIBM Journal of Research and Development, 1967
- Analysis of Programs for Parallel ProcessingIEEE Transactions on Electronic Computers, 1966