A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is
System-on-Chip Methodologies & Design Languages
This paper describes a design case-study undertaken as part of the language design validation for the Rosetta System Level Description Language. The system under consideration is a dual-spring mechanical system. A physical model is constructed, describing the static characteristics of springs and the requirements and constraints applying to the system. It is demonstrated that the declarative modelling style used in Rosetta is a powerful modelling tool. Furthermore, the formal semantic basis ofdoi:10.1007/978-1-4757-3281-8_14 fatcat:7nhb276w2zdkxbetbpnxocbfqq