System-Level Design with Rosetta

Chapter 11. Packages, Libraries, and Components

Rosetta provides a collection of capabilities for grouping declarations into composite structures. A package is a parameterized Rosetta construct used to group definitions together into reusable collections. Packages represent containers for various related declarations. A library defines a location for packages by associating a universal resource indicator (URI) with a local name. A component is a collection of definitions that allow inclusion of usage assumptions and verification conditions along with a specification in a single construct. Components allow information, including design rationale, correctness connections, and assumptions for correct usage, to be encapsulated with a facet in a standard ...