A functional model of clocked microarchitectures

Models for the simulation of computer systems at the microarchitectural level are widely used to assist in design analysis and verification, and the development of microcode. The general model we describe here represents the behaviour of a clocked microarchitecture through the application of functions to component states and signal values. The operational semantics of the model are based partly on data flow and partly on graph reduction, allowing use to be made of the concept of 'lazy' evaluation to aid efficient simulation.

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

[2]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[3]  J. H. Tracey,et al.  A Hardware Description Language for Processor Based Digital Systems , 1982, DAC 1982.

[4]  Neal R. Firth.  The role of software tools in the development of the ECLIPSE® MV/8000 microcode , 1980, SIGM.

[5]  Richard P. Hopkins,et al.  Data-Driven and Demand-Driven Computer Architecture , 1982, CSUR.

[6]  Stephen A. Szygenda,et al.  Digital Logic Simulation in a Time-Based, Table-Driven Environment , 1975, Computer.

[7]  Paolo Prinetto,et al.  A strategy for simulating bit-slice based microprogrammable systems , 1981 .

[8]  Subrata Dasgupta.  A model of clocked micro-architectures for firmware engineering and design automation applications , 1984, MICRO 17.

[9]  Ben C. Moszkowski,et al.  A Temporal Logic for Multilevel Reasoning about Hardware , 1985, Computer.

[10]  Stephen A. Szygenda,et al.  Digital Logic Simulation in a Time-Based, Table-Driven Environment , 1975, Computer.

[11]  Robert Piloty.  The Conlan Project: Concepts, Implementations, and Applications , 1985, Computer.

[12]  Werner Damm,et al.  A Microprogramming Logic , 1988, IEEE Trans. Software Eng..

[13]  Peter Henderson,et al.  A lazy evaluator , 1976, POPL.

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

[15]  Fumihiro Maruyama.  Hardware Verification , 1985, Computer.

[16]  Paul H. Leng,et al.  The generation of simulator-based systems for microcode development , 1984, MICRO 17.

[17]  Igor Hansen,et al.  On fundamentals of computer-aided design of firmware , 1980, SIGM.