This paper presents a solution to the problem of an inadequate microprogram testbed facility for the Prime 400 system, but more importantly, defines typical problems resulting from lack of good microprogram developement software in the university environment, and provides a model for their solution.

Interactive microprogram validation: A Prime 400 testbed facility

: Computer Structures utilizes a case study approach to cover 40 distinct computer types, and to provide a taxonomical framework for analyzing the 1000 different computers now extant. Of the 40 computers described, 10 are based on unpublished sources. Approximately one-third of the book is devoted to original machine descriptions and new 'framework' material. (Author)

Computer Structures: Readings and Examples,

The Architecture of Concurrent Programs

From the Publisher:
This heavily revised edition of the well-received text teaches the organization and design of complex digital systems. Unique in its effective exploitation of a hardware description language, this book's systematic approach involves the reader in the design process. Rather than just describe an end product, the authors employ a register-transfer and control-sequence design language--A Hardware Program Language (AHPL), through which the design of a wide variety of digital hardware systems is explored. Text contains much new material, as well as sections on peripherals, interfacing, microprocessors, hardware compiling processes, and virtual memory hardware. Includes extensive examples and problems sets.

Digital Systems: Hardware Organization and Design

The literature is surveyed beginning with the first paper published in 1951. At that time microprogrammmg was proposed primarily as a means for designing the control umt of an otherwme conventmnal digital computer, although the possible use of a read/write control memory was noted. The survey reveals the way in which interest has successively developed in the following aspects of the subject: stored logic, the apphcatmn of m]croprogrammmg to the design of a range of computers, emulatmn, m]croprogrammmg m support of software, and read/write control memories. The bibliography includes 55 papers.

Interactive microprogram validation: A Prime 400 testbed facility

References

Computer Structures: Readings and Examples,

The Architecture of Concurrent Programs

Digital Systems: Hardware Organization and Design

The Growth of Interest in Microprogramming: A Literature Survey

Computer organization and microprogramming

Related Papers (5)

Hardware and software tools for the development of a micro-programmed microprocessor

Microcode verification using SDVS-the method and a case study

The generation of simulator-based systems for microcode development

SDVS: A system for verifying microcode correctness

Mdss: a design automation system including a hardware language, a microcode generator and a functional simulator