A functional model of clocked microarchitectures

Authors:
C. c. Charlton;D. Jackson;P. H. Leng
Affiliations:
The Department of Computer Science, University of Liverpool, P 0 Box 147, Liverpool L69 3BX, ENGLAND;The Department of Computer Science, University of Liverpool, P 0 Box 147, Liverpool L69 3BX, ENGLAND;The Department of Computer Science, University of Liverpool, P 0 Box 147, Liverpool L69 3BX, ENGLAND
Venue:
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
Year:
1989

Citing 8
Cited 0

Data-Driven and Demand-Driven Computer Architecture

ACM Computing Surveys (CSUR)
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
On fundamentals of computer-aided design of firmware

MICRO 13 Proceedings of the 13th 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
The generation of simulator-based systems for microcode development

MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
A model of clocked micro-architectures for firmware engineering and design automation applications

MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
A lazy evaluator

POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
SABLE: A tool for generating structured, multi-level simulations

DAC '79 Proceedings of the 16th Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.