Advances in Design and Specification Languages for Embedded Systems
Embedded systems are meanwhile in the focus of industry in quite different application domains such as automotive, avionics, telecom, and consumer products. The need for a shift in design methodologies towards system level design is widely recognised and
- PDF / 8,555,015 Bytes
- 352 Pages / 439.37 x 666.142 pts Page_size
- 99 Downloads / 253 Views
Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL’06
Edited by SORIN A. HUSS T.U. Darmstadt, Germany
A C.I.P. Catalogue record for this book is available from the Library of Congress.
ISBN 978-1-4020-6147-9 (HB) ISBN 978-1-4020-6149-3 (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 © 2007 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
Preface
ix
Part I Analog, Mixed-Signal, and Heterogeneous System Design Introduction Christoph Grimm
3
1 Compact Modeling of Emerging Technologies with VHDL-AMS Fabien Prégaldiny, Christophe Lallement, Birahim Diagne, Jean-Michel Sallese, and François Krummenacher 2 Baseband Modeling Using Multidimensional Networks in VHDL-AMS Joachim Haase 3 Verification-Oriented Behavioral Modeling of NonLinear Analog Parts of Mixed-Signal Circuits Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, and Ernst Kock 4 Improving Efficiency and Robustness of Analog Behavioral Models Daniel Platte, Shangjing Jing, Ralf Sommer, and Erich Barke 5 ModelLib: A Web-Based Platform for Collecting Behavioural Models and Supporting the Design of AMS Systems Torsten Mähne and Alain Vachoux
5
23
37
53
69
Part II C/C++-Based System Design Introduction Frank Oppenheimer
91
6 The Quiny SystemCTM Front End: Self-Synthesising Designs Thorsten Schubert and Wolfgang Nebel
93
v
vi
ADVANCES IN DESIGN AND SPECIFICATION OF EMBEDDED SYSTEMS
7 Mining Metadata from SystemC IP Library Deepak A. Mathaikutty and Sandeep K. Shukla 8 Nonintrusive High-level SystemC Debugging Frank Rogin, Erhard Fehlauer, Steffen Rülke, Sebastian Ohnewald, and Thomas Berndt 9 Transaction-Level Modeling in Communication Engine Design: A Case Study Vesa Lahtinen, Jouni Siirtola, and Tommi Mäkeläinen
111
131
145
10 Object-Oriented Transaction-Level Modelling Martin Radetzki
157
Part III Formalisms for Property-Driven Design Introduction Dominique Borrione
177
11 An Efficient Synthesis Method for Property-Based Design in Formal Verification: On Consistency and Completeness of Property-Sets Martin Schickel, Volker Nimbler, Martin Braun, and Hans Eveking 12 Online Monitoring of Properties Built on Regular Expressions Sequences Katell Morin-Allory, and Dominique Borrione 13 Observer-Based Verification Using Introspection: A System-level Verification Implementation M. Metzger, F. Bastien, F. Rousseau, J. Vachon, and E. M. Aboulhamid 14 Formalizing TLM with Communicating State Machines Bernhard Niemann, Christian Haubelt, Maite Uribe Oyanguren, and Jürgen Teich 15 Different Kinds of Sys
Data Loading...
