BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CSL-TR-95-677
       ENTRY:: September 11, 1995
ORGANIZATION:: Stanford University, Computer Systems Laboratory
       TITLE:: SPARC-V9 Architecture Specification with Rapide
        TYPE:: Technical Report
      AUTHOR:: Santoro, Alexandre
      AUTHOR:: Park, Woosang
      AUTHOR:: Luckham, David
        DATE:: September 1995
       PAGES:: 71
    ABSTRACT:: This report presents an approach to creating an executable
               standard for the SPARC-V9 instruction set architecture using
               Rapide-1.0, a language for modeling and prototyping
               distributed systems. It describes the desired characteristics
               of a formal specification of the architecture and shows how
               Rapide can be used to build a model with these
               characteristics. This is followed by the description of a
               simple prototype of the proposed model, and a discussion of
               the issues involved in building and testing the complete
               specification (with emphasis on some Rapide-specific features
               such as constraints, causality and mapping). The report
               concludes with a brief evaluation of the proposed model and
               suggestions on future areas of research.
       NOTES:: [Adminitrivia V1/Prg/19950911]
         END:: STAN//CSL-TR-95-677