Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005 by A. VachouxApplications of Specification and Design Languages for SoCs: Selected papers from FDL 2005 by A. Vachoux

Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005

EditorA. Vachoux

Paperback | October 19, 2010

Pricing and Purchase Info

$294.04 online 
$336.95 list price save 12%
Earn 1,470 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


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.
Title:Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005Format:PaperbackDimensions:334 pages, 9.45 × 6.3 × 0.01 inPublished:October 19, 2010Publisher:Springer NetherlandsLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:9048172497

ISBN - 13:9789048172498

Look for similar items by category:


Table of Contents

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, Faress Tissafi-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.