Applications of Specification and Design Languages for SoCs

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.