This page contains links to various example Rosetta
specifications. Most examples were developed as a part of ongoing
research projects. However, there are tutorial examples defined
as well.
Schmidt Trigger
The Schmidt trigger example is the simplest Rosetta example
available. It is a single facet modeling the functional
behavior of a simple trigger in the continuous time domain.
The alarm clock example is a Rosetta model for the classic
Synopsys synthesis example. It demonstrates the use of Rosetta
to model multicomponent and systems level examples
The actuator and spring models represent mechanical design
problems performed as proof-of-concept examples for the US Air
Force. The spring models represent single and nested
springs. The actuator example provides models from a
generalized, actual aircraft re-design problem.
The satellite communications example is a model of a
TDMA-based information processing system. The model includes
components for carrier detection, clock synchronization,
unique ID recognition and data recovery. This example is taken
from an actual design problem from TRW.