Applications of Specification and Design Languages for SoCs Selected
Applications of Specification and Design Languages for SoCs includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL'05). Since its inception in 1998, FDL has established itself as the premier Eur
- PDF / 7,133,601 Bytes
- 319 Pages / 452.879 x 683.362 pts Page_size
- 91 Downloads / 268 Views
A. Vachoux
The ChDL series
APPLICATIONS OF SPECIFICATION AND DESIGN LANGUAGES FOR SOCS
Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005
Edited by
A. VACHOUX Ecole Polytechnique Fédérale de Lausanne, Lausanne, Switzerland
A C.I.P. Catalogue record for this book is available from the Library of Congress.
ISBN-10 ISBN-13 ISBN-10 ISBN-13
1-4020-4997-8 (HB) 978-1-4020-4997-2 (HB) 1-4020-4998-6 ( e-book) 978-1-4020-4998-9 (e-book)
Published by Springer, P.O. Box 17, 3300 AA Dordrecht, The Netherlands. www.springer.com
Printed on acid-free paper
All Rights Reserved © 2006 Springer No part of this work may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work.
Contents
List of Figures List of Tables List of Listings Preface
xiii xvii xix xxi
Part I Specification, Design, and Verification Methods Introduction Alain Vachoux
3
1 PSL-Based Online Monitoring of Digital Systems Dominique Borrione, Miao Liu, Pierre Ostier, and Laurent Fesquet 1. Introduction 1.1 State of the Art 1.2 PSL as a Design Language 2. Monitor Construction: Principles 2.1 Property Satisfaction 2.2 Library of Primitive Components 2.3 Structure of a Primitive Monitor 2.4 Construction of Complex Monitors 3. Validation 3.1 Functional Comparison 3.2 Area Comparison 4. Implementation of Monitors 4.1 Design Flow with Assertion Monitors 4.2 Example: A Bus Snoop System for Software Verification 5. Conclusion
5 6 7 9 9 10 12 13 15 15 16 17 17 19 20
Acknowledgments References
21 21
2 Refining Synchronous Communication onto Network-on-Chip Best-Effort Services Zhonghai Lu, Ingo Sander, and Axel Jantsch 1. Introduction 2. Related Work
v
5
23
23 25
vi
Contents 3. Refinement Overview 3.1 The Perfectly Synchronous Model 3.2 Nostrum Communication Services 3.3 The Refinement Procedure 4. Channel Refinement 5. Process Refinement 5.1 Interfacing with the Service Channels 5.2 Process Synchronization Property 5.3 Achieving Synchronization Consistency 5.4 Feedback Loops 6. Communication Mapping 6.1 Channel Mapping 6.2 Communication Process Mapping 7. Conclusions and Future Work References
Part II C/C++-Based System Design Introduction Frank Oppenheimer 3 Behaviour Separation: A High-Level Methodology Applicable in the SystemC Environment Giovanni B. Vece, Massimo Conti, and Simone Orcioni 1. Introduction 2. Principles of the Behaviour Separation Methodology 3. Application for Communication Protocols 4. Realization in SystemC 5. Application Example Based on an AMBA AHB Master Device 6. I/O Adaptation; Limitations and Application Fields 7. Modelling of Complete AMBA AHB Master Devices and Results 8. Extension to Generic Protocols 9. Conclusions References 4 Mixing Synchronous Reactiv
Data Loading...
