Rosetta Hompage

System-Level Design with Rosetta

System-Level Design with Rosetta, Elsevier Scientific Publishers, 2006.

System-Level Design with Rosetta is intended to be a general introduction to the Rosetta language and the design methodology it supports. The text is divided into five parts that introduce the methodology, introduce the expression language, introduct the facet language, describe specification interaction, and provide case studies. It is not intended to be a language standard or to fully describe the Rosetta semantics.

Review from Electronic Design

Updated: Wed Jan 3 16:40:38 CST 2007

System-Level Design with Rosetta - Errata

Chapter 4

• p. 52 tan(0.0) == bottom should be tan(0.0) == 0.0
• p. 55 max applied to posreal and negreal should result in a posreal
• p. 55 max applied to negreal and negreal should result in a negreal
• p. 57 Exponentiation applied to negint should result in a real, not posint
• p. 63 0 does not belong to every number subtype as it is not an element of either posint, posreal, negint or negreal
• p. 63 -2 should be assumed to be negint not integer
• p. 65 element is the common supertype for bit and character as well as boolean and real

Thanks to everyone who has sent along errors discovered in the text!

Updated: Wed Jan 3 16:40:17 CST 2007

System-Level Design Semantics

System-Level Design Semantics is currently being developed. Check back for sample chapters and other information here.

Updated: Thu Nov 9 10:37:12 CST 2006