System-Level Design with Rosetta

Chapter 16. Case Studies

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. ...