A model of clocked micro-architectures for firmware engineering and design automation applications

An aspect common to many problems in firmware engineering is the use of a micromachine model that is, an abstract and selective view of the structure and behavior of the computer at the micro-architectural level. The success, utility and generality of a particular microprogramming language, compaction technique, or verification strategy may rest critically on the expressive power and generality of the underlying micromachine model. While a number of such models have been proposed in the past we believe that these are all, for one reason or another, in adequate. In this paper we present a new, generalized, multipurpose model of clocked micro-architectures intended to provide a uniform framework for use in both firmware engineering and design automation applications.

[1]  John L. Gieser,et al.  Experiments in Automatic Microcode Generation , 1983, IEEE Transactions on Computers.

[2]  Barbara Liskov,et al.  Modular Program Construction Using Abstractions , 1979, Abstract Software Specifications.

[3]  Donald E. Thomas,et al.  Automatic Data Path Synthesis , 1983, Computer.

[4]  D.E. Thomas.  The automatic synthesis of digital systems , 1981, Proceedings of the IEEE.

[5]  David A. Patterson.  Strum: Structured Microprogram Development System for Correct Firmware , 1976, IEEE Transactions on Computers.

[6]  Daniel P. Friedman,et al.  Coordinated computing: tools and techniques for distributed software , 1984 .

[7]  Robert A. Mueller,et al.  Formal Semantics for the Automated Derivation of Micro-Code , 1982, 19th Design Automation Conference.

[8]  Yakup Paker.  A Binary Floating-Point Resistor , 1971, IEEE Transactions on Computers.

[9]  Ted G. Lewis,et al.  Design of a Machine-Independent Optimizing System for Emulator Development , 1980, TOPL.

[10]  Daniel Brand,et al.  Microprogram verification considered necessary , 1978, AFIPS National Computer Conference.

[11]  Scott Davidson.  High level microprogramming: current usage, future prospects , 1983, SIGM.

[12]  H. T. Kung,et al.  Architecture of the PSC-a programmable systolic chip , 1983, ISCA '83.

[13]  Alice C. Parker,et al.  Synthesis of Hardware for the Control of Digital Systems , 1982, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[14]  Robert A. Mueller,et al.  Formal Semantics for the Automated Derivation of Micro-Code , 1982, DAC 1982.

[15]  Subrata Dasgupta,et al.  Computer Design and Description Languages , 1982, Adv. Comput..

[16]  Peter Wegner,et al.  Research directions in software technology , 1978, ICSE '78.

[17]  Bruce D. Shriver,et al.  Firmware Engineering: An Extensive Update , 1980 .

[18]  Subrata Dasgupta,et al.  Some Aspects of High-Level Microprogramming , 1980, CSUR.

[19]  Subrata Dasgupta,et al.  The design and description of computer architectures , 1984 .

[20]  Bruce D. Shriver,et al.  Local Microcode Compaction Techniques , 1980, CSUR.

[21]  David A. Patterson.  An experiment in high level language microprogramming and verification , 1981, CACM.

[22]  Michael J. Flynn,et al.  Microprogramming: An Introduction and a Viewpoint , 1971, IEEE Transactions on Computers.

[23]  Marleen Sint.  MIDL - a microinstruction description language , 1981, MICRO 14.

[24]  John L. Gieser.  On Horizontally Microprogrammed Microarchitecture Description Techniques , 1982, IEEE Transactions on Software Engineering.

[25]  Ben C. Moszkowski,et al.  A Temporal Logic for Multi-Level Reasoning About Hardware, , 1982 .

[26]  Robert A. Mueller,et al.  Flow graph machine models in microcode synthesis , 1983, SIGM.

[27]  Philip C. Treleaven,et al.  Future Computers: Logic, Data Flow, ..., Control Flow? , 1984, Computer.

[28]  Takanobu Baba,et al.  The MPG System: A Machine-Independent Efficient Microprogram Generator , 1981, IEEE Transactions on Computers.

[29]  Joseph A. Fisher,et al.  Trace Scheduling: A Technique for Global Microcode Compaction , 1981, IEEE Transactions on Computers.

[30]  Steven R. Vegdahl,et al.  Local code generation and compaction in optimizing microcode compilers , 1982 .