The design and description of computer architectures
The design and description of computer architectures
Monitors: an operating system structuring concept
Communications of the ACM
Advances in Computer Architecture
Advances in Computer Architecture
Design of Well-Structured and Correct Programs
Design of Well-Structured and Correct Programs
Towards a family of languages for the design and implementation of machine architectures
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
A microarchitecture description language for retargeting firmware tools
MICRO 19 Proceedings of the 19th annual workshop on Microprogramming
A plausibility-driven approach to computer architecture design
Communications of the ACM
Representation in CAD: Models and semantics
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
| Hi-index | 0.02 |
In a previous paper [8], we had presented the notion of a family of languages for the multilevel design and description of computer architectures. Details of a particular language family, currently under development, was also described. One of the constituent members of this family is S@@@@, intended for the specifications of the outer (or exo-) and inner (or endo-) architectures of general purpose von Neumann style computers. In this paper we describe the formalization and application of S@@@@ to the formal proofs of correctness of architecture designs.