System-Level Design with Rosetta

Chapter 3. Expressions

The Rosetta expression language is used to define properties involving Rosetta items. The simplest Rosetta expression is an atomic expression consisting of a literal or an item name and forms the leaves of the expression tree. Function and operator applications define operations over other expressions by instantiating function values with actual parameters. The if and case expressions define selection operations using boolean conditions and set membership, respectively. The let expression defines local variables over expressions. Because all expression types other than atomic expressions are defined recursively over expressions, compound expressions are formed by nesting expressions of all types.

All Rosetta expressions from ...