Rosetta Hompage

SLDG | Cadstone | EDAptive | Ashenden Designs
[ Systems Level Design ] [ Participation ] [ Stories ]
[ Standard ] [ Overview ] [ Semantics ] [ Interactions ]
[ System-Level Design with Rosetta ] [ System-Level Design Semantics ]
[ Schmidt Trigger ] [ Alarm Clock ] [ Actuator and Spring ] [ Satellite Comm Link ]
[ Introduction ] [ Domain Semantics ] [ Specification Domains ] [ Mechanical Studies ]
[ Rhaskell ] [ ANTLR Java Parser ] [ Simulator ] [ Test Vector Generator ]
[ ITTC ] [ Cadstone ] [ NSF ] [ Rhaskell ] [ InterpreterLib ] [ Thread Pool Monad ]
[ Base Language ] [ Domain ] [ Reflection ] [ Tool Flow ]

Standards

The Rosetta language and semantics standardization is overseen by the Rosetta Language Standards Committee. Originally formed under the direction of of the Accellera EDA Standards organization, the Rosetta Committee now operates as an IEEE DASC Study Group. We are currently preparing a PAR for submission to the IEEE DASC for eventual submission to IEEE NesCOM. If the PAR is approved, a Working Group will be formed to complete the standard. Please contact the study group chair if you are interested in participating.

There are four major elements of the standardization effort. The Language Standard defines the base language for defining expressions, facets, domains, interactions and packages. The Domains Standard defines the base collection of semantic domains for Rosetta modeling. The Reflection Package Standard defines the packages used to represent and manipulate Rosetta abstract syntax when defining domains and interactions. Finally, the Tool Flow Standard will define how integration points for Rosetta tool implementation. The current standards effort involves the first three elements. The final element will be developed as toolification becomes more active.


Base Language

The Base Language Standard is the definition of the Rosetta language, its semantics, and a collection of domains that must be provided by any Rosetta implementation.

Sun Aug 6 17:29:25 CDT 2006


Domains

The Domains Standard is a collection of standard domains that may be supported by a Rosetta installation. It is anticipated that many tools will not implement the entire Rosetta domain collection, thus they are defined individually as a part of a domain lattice. Thus, implementers are free to implement an appropriate subset confident that all other implementations of that subset will be consistent.

Sun Aug 6 17:29:38 CDT 2006


    Reflection Packages

    The Reflection Packages are a special part of the base Rosetta language standard that define reflection capabilities. Reflection is a critical component of Rosetta's domain and interaction system. The Reflection Packages define a collection of functions and types that must be supported by a Rosetta tool environment providing reflective capabilities. It is anticipated that not every Rosetta tool will implement the entire reflection subsystem, thus the reflection package is defined separately.

    If you have downloaded both the Rosetta standard documents and support libraries above, there is no need to download the support libraries included below. You already have the reflection packages.

    Sun Aug 6 17:42:02 CDT 2006


    Tool Flow

    Tool Flow standard describes methods for implementing Rosetta methodology in practice. The

    Sun Aug 6 17:29:50 CDT 2006


      Study Group Minutes

      The Rosetta Study Group is tasked to prepare a PAR for submission to DASC. Meeting minutes are included below in reverse chronological order.


      Study Group Guidelines

      The Rosetta Study Group will operate in accordance with guidelines provided by the IEEE DASC and IEEE SA. Links to these documents are found below.

      Fri Nov 10 10:54:49 CST 2006


      DASC Report

      A draft of the report due to DASC with our draft PAR is available below. It follows requirements specified by the DASC Study Group guidelines and includes technical content from the PAR.

      Sat Dec 2 20:15:55 CST 2006


      Draft PAR

      The working draft of the Project Authorization Request (PAR) that will be submitted to DASC is available below. It has been update to reflect changes made to the DASC Report above. Please note that this is only a draft and has not been submitted to or approved by the DASC Steering Committee.

      Thu Dec 7 11:22:27 CST 2006

      About Us | Site Map | Privacy Policy | Contact Us | ©2005 Perry Alexander