System-level design with Rosetta - Alexander, Perry (Elsevier, 2007)
The steady and unabated increase in the capacity of silicon has brought the semiconductor industry to a watershed challenge. Now a single chip can integrate a radio transceiver, a network interface, multimedia functions, all the "glue" needed to hold it together as well as a design that allows the hardware and software to be reconfigured for future applications. Such complex heterogeneous systems demand a different design methodology. A consortium of industrial and government labs have created a new language and a new design methodology to support this effort. Rosetta permits designers to specify requirements and constraints independent of their low level implementation and to integrate the designs of domains as distinct as digital and analog electronics, and the mechanical, optical, fluidic and thermal subsystems with which they interact. In this book, Perry Alexander, one of the developers of Rosetta, provides a tutorial introduction to the language and the system-level design methodology it was designed to support. * The first commercially published book on this system-level design language * Teaches you all you need to know on how to specify, define, and generate models in Rosetta * A presentation of complete case studies analyzing design trade-offs for power consumption, security requirements in a networking environment, and constraints for hardware/software co-design
Chapter 1: Introduction -- Chapter 2: Items, Values, Types and Declarations -- Chapter 3: Expressions -- Chapter 4: Elemental Types -- Chapter 5: Composite Types -- Chapter 6: Functions -- Chapter 7: Higher-Order Functions -- Chapter 8: User Defined Types -- Chapter 9: Facet Basics -- Chapter 10: Defining Facets -- Chapter 11: Packages, Libraries and Components -- Chapter 12: Domains -- Chapter 13: Reflection -- Chapter 14: The Facet Algebra -- Chapter 15: Domain Interactions -- Chapter 16: Case Studies -- Chapter 17: RTL Design -- Chapter 18: Power Aware Design -- Chapter 19: Power Aware Modeling Revisited -- Chapter 20: System-Level Networking
Includes bibliographical references (p. 339-341) and index