Towards a family of languages for the design and implementation of machine architectures

Authors:
Subrata Dasgupta;Marius Olafsson
Affiliations:
Department of Computing Science, The University of Alberta, Edmonton, Alberta T6G 2H1 Canada;Department of Computing Science, The University of Alberta, Edmonton, Alberta T6G 2H1 Canada
Venue:
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
Year:
1982

Citing 9
Cited 2

The C programming language

The C programming language
The sciences of the artificial (3rd ed.)

The sciences of the artificial (3rd ed.)
Some Aspects of High-Level Microprogramming

ACM Computing Surveys (CSUR)
A technique for software module specification with examples

Communications of the ACM
The architecture of concurrent programs

The architecture of concurrent programs
Microprogrammable Computer Architectures

Microprogrammable Computer Architectures
Introduction to VLSI Systems

Introduction to VLSI Systems
S*(QM-1): An instantiation of the high level microprogramming language scheme S* for the nanodata QM-11

MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
Towards a microprogramming language schema

MICRO 11 Proceedings of the 11th annual workshop on Microprogramming

A microarchitecture description language for retargeting firmware tools

MICRO 19 Proceedings of the 19th annual workshop on Microprogramming
On the verification of computer architectures using an architecture description language

ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract

In recent years, increases in complexity of hardware/firmware systems, and the concern for systems reliability have resulted in growing interest in methodologies and tools for the design, description and verification of computer systems. A vital component of any such design methodology is the language used for representing the design. In the case of particularly complex systems the design process may involve a succession of stages each of which represents the system at a particular level of abstraction. In such situations several languages may be required, each suited to a particular level of abstraction. We present here, one such family of languages, consisting at present of two members, S*A, an architectural description language, and S*, a high level microprogramming language schema. These closely related (“kin”) languages may be used collaboratively for the systematic, top-down development of an architecture, down to the microcode level. The resulting descriptions of the architecture provide, in addition, a complete unified document of the multilevel design process.