Applications of Specification and Design Languages for SoCs (eBook)
XXII, 312 Seiten
Springer Netherland (Verlag)
978-1-4020-4998-9 (ISBN)
This book includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL'05). It provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design. All the chapters have been carefully revised and extended to offer up-to-date information. They also provide seeds for further researches and developments in the field of heterogeneous systems-on-chip design.
Applications of Specification and Design Languages for SoCs includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL'05). Since its inception in 1998, FDL has established itself as the premier European forum to exchange experiences and learn about new trends in the application of languages and models for the specification and modeling of electronic systems.This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture.All chapters in Applications of Specification and Design Languages for SoCs have been carefully revised and extended to offer up-to-date information. They also constitute excellent seeds for further researches and developments in the field of heterogeneous systems-on-chip design.
List of Figures. List of Tables. Foreword; Alain Vachoux. Part I Specification, Design and Verification Methods. Introduction; Alain Vachoux. 1. PSL-Based Online Monitoring of Digital Systems; Dominique Borrione, Miao Liu, Pierre Ostier, and Laurent Fesquet. 2. Refining Synchronous Communication onto NoC Best-Effort Services; Zhonghai Lu, Ingo Sander, and Axel Jantsch. Part II C/C++-Based System Design. Introduction; Frank Oppenheimer. 3. Behaviour Separation Methodology; Giovanni B. Vece, Massimo Conti, and Simone Orcioni. 4. Mixing Synchronous Reactive and Untimed MoCs in SystemC; Fernando Herrera and Eugenio Villar. 5. Interface-Centric Abstraction Level for Rapid HW/SW Integration; André C. Nácul, Marcello Lajolo, and Tony Givargis. 6. Efficient and Customizable Integration of Temporal Properties into SystemC; Roland J. Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel. 7. UMoC++: A C++ Based Multi-MoC Modeling Environment; Deepak A. Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, and Axel Jantsch. Part III Analog, Mixed-Signal and Heterogeneous System Design. Introduction; Christoph Grimm. 8. Creating Virtual Prototypes of Complex MEMS Transducers Using Reduced-Order Modelling Methods and VHDL-AMS; Torsten Mähne, Kersten Kehr, Axel Franke, Jörg Hauer, and Bertram Schmidt. 9. Modeling Uncertainty in Nonlinear Analog Systems with Affine Arithmetic; Wilhelm Heupke, Christoph Grimm, and Klaus Waldschmidt. 10. SystemC-WMS: Mixed Signal Simulation based on Wave exchanges; Simone Orcioni, Giorgio Biagetti, and Massimo Conti. 11. Automatic Generation of a Co-Verification Platform; Suad Kajtazovic, Christian Steger, Andreas Schuhai, and Markus Pistauer. 12. UML/XML-based approach to hierarchical AMS synthesis; Ian O’Connor, FaressTissafi-Drissi, Guillaume Révy, and Frédéric Gaffiot. Part IV UML-Based System Specification and Design. Introduction; Piet van der Putten. 13. Compiled and Synthesized UML; Cathy Berthouzoz, Francois Corthay, Medard Rieder, Rico Steiner, and Thomas Sterren. 14. Property-Preservation Synthesis for Unified Control- and Data-Oriented Models; Oana Florescu, Jeroen Voeten, and Henk Corporaal. 15. Traceability and Interoperability at Different Levels of Abstraction in Model Transformations; Lossan Bonde, Pierre Boulet, and Jean-Luc Dekeyser. 16. Power simulation of communication protocols with StateC; Luca Negri and Andrea Chiarini. 17. Integrating Model-Checking with UML-based SoC Development; Peter Green and Kinika Tasie-Amadi.
Erscheint lt. Verlag | 6.10.2006 |
---|---|
Zusatzinfo | XXII, 312 p. |
Verlagsort | Dordrecht |
Sprache | englisch |
Themenwelt | Mathematik / Informatik ► Informatik |
Technik ► Elektrotechnik / Energietechnik | |
Technik ► Maschinenbau | |
Schlagworte | Analog • Analog and Mixed-Signal • Communication • Design • Electronic System Design • Hardware • Hardwarebeschreibungssprache • microelectromechanical system (MEMS) • Modeling • Network on Chip (NoC) • Signal • Simulation • Software • Specification and Design Languages • SystemC • System design • System on chip (SoC) • UML • VHDL |
ISBN-10 | 1-4020-4998-6 / 1402049986 |
ISBN-13 | 978-1-4020-4998-9 / 9781402049989 |
Haben Sie eine Frage zum Produkt? |
Größe: 6,1 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich