ContentsListofFiguresviiListofTablesix.pdf

ADVANCES IN SPECIFICATION AND DESIGN LANGUAGES FOR SOCS ADVANCES IN SPECIFICATION AND DESIGN LANGUAGES FOR SOCS Selected Contributions from FDL’05 Edited by ALAIN VACHOUX Ecole Polytechnique Fédérale de Lausanne Kluwer Academic Publishers Boston/Dordrecht/London Contents List of Figures vii List of Tables ix Foreword xi Acknowledgments xii Part I General topics Part II C/C++-Based System Design 1 Interface-Centric Abstraction Level for Rapid HW/SW Integration 5 André C. Nácul, Marcello Lajolo, and Tony Givargis 1. Introduction 5 2. Related Work 7 3. Terminology 8 4. System Level API 9 4.1 Interface Synthesis 12 4.2 RTOS Synthesis 15 4.3 Our HW/SW Codesign Environment 16 5. HW/SW Integration 17 6. Conclusions 19 References 20 Part III Design of Analogue and Mixed Signal Systems: Still black magic? Part IV UML-Based System Specification and Design List of Figures 1.1 Interface synthesis for HW-to-HW communication 12 1.2 I