A Case Study in Specifying and Testing Architectural Features
Degree GrantorUniversity of Canterbury
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.