System-Level Design with Rosetta

Chapter 17. Register-Transfer-Level Design

The register-transfer-level design case study examines defining requirements and an architecture for a simple alarm clock controller. This is an appropriate case study because it uses common abstractions from electronic systems design and extends those abstractions to include elements of system-level design. The first model is exclusively behavioral and uses a single behavioral specification to define systems requirements. The second model uses a collection of behavioral specifications to define an architecture for the controller. Finally, some correctness conditions are defined using Rosetta’s special-purpose component constructs.

Figure 17.1 graphically defines both the system-level view and the architecture ...