Chapter List

Part Overview

The case studies provide a collection of usage examples for Rosetta specifications. They are intended to demonstrate common specification techniques and structuring styles for different specification types.

After completing the chapters in Part V, you will have seen four specifications of system level properties in RTL design, power-award design and network access control.

Overview

The best way to understand system-level modeling is to model systems. Thus, several case studies are presented in Chapters 17 20 to help illustrate some of the concepts seen thus far and integrate smaller examples into larger systems. The first case study looks at traditional RTL design in Rosetta. It is more a primer than a true case study, showing how to structure designs and providing a jumping-off point from a traditional domain. The RTL case study looks at the design of a traditional digital system from both a structural and a behavioral level. It shows a methodology for packaging designs and for specifying correctness properties.

The second and third case studies examine power-aware modeling in digital systems design. In this classic example, models are developed for function, power consumption, and power constraints. They are then composed to define a constrained system-level model. Finally, the power consumption model is refined three ways to represent power consumption in CMOS, field programmable gate array (FPGA), and software implementations.

The final case study examines...