Applications of Specification and Design Languages for Socs: Selected Papers from Fdl 2005

ISBN-13: 9781402049972 / Angielski / Twarda / 2006 / 312 str.

A. Vachoux

Opis

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.

Spis treści

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.