Applications of Specification and Design Languages for SoCs
142,99 €
versandkostenfrei*

inkl. MwSt.
Versandfertig in 2-4 Wochen
71 °P sammeln
  • Broschiertes Buch

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

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

  • Produktdetails
  • Verlag: Springer / Springer Netherlands
  • Artikelnr. des Verlages: 978-90-481-7249-8
  • Softcover reprint of hardcover 1st ed. 2006
  • Seitenzahl: 336
  • Erscheinungstermin: 19. Oktober 2010
  • Englisch
  • Abmessung: 240mm x 160mm x 18mm
  • Gewicht: 538g
  • ISBN-13: 9789048172498
  • ISBN-10: 9048172497
  • Artikelnr.: 32109236
Inhaltsangabe
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.