The Vienna Definition Language
ACM Computing Surveys (CSUR)
Communications of the ACM
Dynamic microprogramming: processor organization and programming
Communications of the ACM
Approaches to design of high level languages for microprogramming
MICRO 7 Conference record of the 7th annual workshop on Microprogramming
The development of user microprogramming: A survey and status report
MICRO 7 Conference record of the 7th annual workshop on Microprogramming
Automated proofs of microprogram correctness
MICRO 9 Proceedings of the 9th annual workshop on Microprogramming
An experiment in high level language microprogramming and verification
Communications of the ACM
Naming and Binding in a Vertical Migration Environment
IEEE Transactions on Software Engineering
Toward user sharing of the microprogramming level under UNIX on the Perkin-Elmer 3220
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
The role of software tools in the development of the ECLIPSE® MV/8000 microcode
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
Hi-index | 0.02 |
In this paper, we present the system design and implementation of a very flexible dynamic microprogramming support system in a time sharing environment. The system has been implemented under the UNIX time sharing operating system on the user microprogrammable computer CAL DATA 135. The system allows the user to write, assemble, test and debug a microprogram very easily in a multiuser environment. Since the user has access to the internals of the computer, reliability and integrity of the computer system become the primary concern. So when a microprogram is written either it is simulated or it goes through a certification procedure with the help of the user and the system. To ensure the reliability and integrity of the system, the certification procedure becomes a necessity. Once a microprogram is certified, a copy of the program is kept in the system so that it can be used by anyone (if the user wants to share). Thus anyone can take advantage of any of the existing microprograms in the system.