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 ]

Presentations

This page contains links to various Rosetta presentations made over the years. The Rosetta Overview is the most appropriate introduction to what Rosetta is, what it does, and what it looks like. Other presentations overview various aspects of Rosetta and present proposed descriptions.

Rosetta Overview

This presentation provides a general overview of the goals of the Systems Level Design Language project and the Rosetta Language. The current revision reflects updates that include more information on the domain lattice.

June 8, 2006


Rosetta Domain Semantics

These papers and presentations outline initial thoughts on the Rosetta domain semi-lattice hierarchy. The papers represent a period where we are moving from an algebra-based semantics to a co-algebra-based semantics for domains. The FSCBS presentation slides are the most current.

August 31, 2003


Rosetta Specification Domains

Presented at HDLCon 2000, this presentation provides a general introduction to the specification domains provided by the Rosetta language.

February, 2000


Mechanical Case Study

The main presentation outlines the Rosetta project and discusses the application of Rosetta to mechanical domains. The Actuator slides present the specific results of a Rosetta based actuator analysis. Finally, the Spring Model paper presents the dual spring example as presented at FDL'00.

July 13, 2000

  • : Download Rosetta Overview (Rosetta-081100.ppt)
  • : Download Rosetta Overview (Rosetta-081100.pdf)
  • : Download Mechanical Actuator Study (Actuator-071330.ppt)
  • : Download Mechanical Actuator Study (Actuator-071330.pdf)
  • : Download Spring Model Study (fdl-2000-spring-model.PDF)
About Us | Site Map | Privacy Policy | Contact Us | ©2005 Perry Alexander