A Case Study in Specifying and Testing Architectural Features

Type of content
Theses / Dissertations
Publisher's DOI/URI
Thesis discipline
Degree name
Other
Publisher
University of Canterbury
Journal Title
Journal ISSN
Volume Title
Language
English
Date
1993
Authors
Krishnan, Padmanabhan
Abstract

This paper studies the speci cation and testing of two main architectural features. We consider restricted forms of instruction pipelining and parallel memory models present in the SPARC speci cation. The feasibility of using an automatic tool, the concurrency work bench, has been demonstrated.

Description
Citation
Keywords
Ngā upoko tukutuku/Māori subject headings
ANZSRC fields of research
Rights
All Right Reserved