Proceedings. 14 th IEEE International Workshop on. Rapid Systems Prototyping RSP 2003

Size: px

Start display at page:

Download "Proceedings. 14 th IEEE International Workshop on. Rapid Systems Prototyping RSP 2003"

Patrick Woods
5 years ago
Views:

1 Proceedings 14 th IEEE International Workshop on Rapid Systems Prototyping RSP 2003

Proceedings 14 th IEEE International Workshop on Rapid Systems Prototyping San Diego, California, USA June 9 11, 2003 Sponsored by IEEE Computer Society

2 Proceedings 14 th IEEE International Workshop on Rapid Systems Prototyping San Diego, California, USA June 9 11, 2003 Sponsored by IEEE Computer Society Technical Committee on Design Automation IEEE Computer Society Technical Committee on Simulation Los Alamitos, California Washington Brussels Tokyo

Copyright 2003 by The Institute of Electrical and Electronics Engineers, Inc. All rights reserved Copyright and Reprint Permissions: Abstracting is permitted with credit to the source.

3 Copyright 2003 by The Institute of Electrical and Electronics Engineers, Inc. All rights reserved Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carry a code at the bottom of the first page, provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA Other copying, reprint, or republication requests should be addressed to: IEEE Copyrights Manager, IEEE Service Center, 445 Hoes Lane, P.O. Box 133, Piscataway, NJ The papers in this book comprise the proceedings of the meeting mentioned on the cover and title page. They reflect the authors opinions and, in the interests of timely dissemination, are published as presented and without change. Their inclusion in this publication does not necessarily constitute endorsement by the editors, the IEEE Computer Society, or the Institute of Electrical and Electronics Engineers, Inc. IEEE Computer Society Order Number PR01943 ISBN ISSN Number Additional copies may be ordered from: IEEE Computer Society IEEE Service Center IEEE Computer Society Customer Service Center 445 Hoes Lane Asia/Pacific Office Los Vaqueros Circle P.O. Box 1331 Watanabe Bldg., P.O. Box 3014 Piscataway, NJ Minami-Aoyama Los Alamitos, CA Tel: Minato-ku, Tokyo Tel: Fax: JAPAN Fax: Tel: cs.books@computer.org customer-service@ieee.org Fax: tokyo.ofc@computer.org Individual paper REPRINTS may be ordered at: reprints@computer.org Editorial production by Bob Werner Cover art production by Joe Daigle/Studio Productions Printed in the United States of America by The Printing House

4 Table of Contents 14 th IEEE International Workshop on Rapid Systems Prototyping RSP 2003 Message from the General Chairs...ix Introduction: An Editorial Note... x Acknowledgements...xi Conference Committees...xii Session 1: Design Environments I A Universal Low Cost Run-Time and Programming Environment for Reconfigurable Computing...2 A. Dollas, D. Efstathiou, and T. Kyriakides A Component-Based Methodology for Embedded System Prototyping...9 P. Tessier, S. Gérard, C. Mraidha, F. Terrier, and J. Geib i-cad: A Rapid Prototyping CAD Tool for Intranet Design...16 S. Habib and A. Parker Session 2: Embedded Systems A New Specification Methodology for Embedded Systems Based on the -Calculus Process Algebra...26 S. Förster, M. Fischer, A. Windisch, B. Balser, and D. Monjau Embedded Application Prototyping on a Communication-Restricted Reconfigurable Platform...33 A. Sasongko, A. Baghdadi, F. Rousseau, and A. Jerraya Efficient Analysis of Mixed-Signal ASICs for Smart Sensors...40 N. Kerö and T. Sauter Verification of Timing Properties in Rapid System Prototyping...47 D. Drusinky and M. Shing Session 3: Signal Processing and ASIC Design An Efficient Methodology and Semi-Automated Flow for Design and Validation of Complex Digital Signal Processing ASICS Macro-Cells...56 L. Tambour, N. Zergainoh, P. Urard, H. Michel, and A. Jerraya Simulation and Analysis of Embedded DSP Systems Using Petri Nets...64 A. Deb, J. Öberg, and A. Jantsch A New Approach of a Self-Timed Bit-Serial Synchronous Pipeline Architecture...71 A. Rettberg, M. Zanella, C. Bobda, and T. Lehmann Prototype-Based Tests for Hybrid Reactive Systems...78 G. Hahn, J. Philipps, A. Pretschner, and T. Stauner

5 Session 4: Applications Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol...86 V. Carchiolo, M. Malgeri, and G. Mangioni Marked Regulatory Graphs: A Formal Framework to Simulate Biological Regulatory Networks with Simple Automata...93 V. Bassano and G. Bernot Really Rapid Prototyping of Large-Scale Business Information Systems G. Milosavljevi and B. Periši Session 5: Run-time Environments and Middleware Evaluation of Middleware Architectures in Achieving System Interoperability P. Young, N. Chaki, V. Berzins, and Luqi A Versatile Framework for FPGA Field Updates: An Application of Partial Self-Reconfiguation R. Fong, S. Harper, and P. Athanas Contributions to Middleware Architectures to Prototype Distribution Infrastructures J. Hugues, L. Pautet, and F. Kordon Session 6: Communications I Design and Prototyping a Fast Hadamard Transformer for WCDMA S. Bahl Hardware Evaluation of Low Power Communication Mechanisms for Transport-Triggered Architectures T. Pionteck, A. García, L. Kabulepa, and M. Glesner Rapid Design and Analysis of Communication Systems Using the BEE Hardware Emulation Environment C. Chang, K. Kuusilinna, B. Richards, A. Chen, N. Chan, R. Brodersen, and B. Nikoli Session 7: Modeling for Design I An Instruction Throughput Model of Superscalar Processors T. Taha and S. Wills Cache Configuration Exploration on Prototyping Platforms C. Zhang and F. Vahid

6 Session 8: Communications II Emulation of Analog Components for the Rapid Prototyping of Wireless Baseband Systems R. Ludewig, A. Garcia, T. Murgan, J. Hidalgo, and M. Glesner Rapid Scheduling of Efficient VLSI Architectures for Next-Generation HSDPA Wireless System Using Precision C Synthesizer Y. Guo, G. Xu, D. McCain, and J. Cavallaro Rapid Prototyping of Real-Time Communication A Case Study: Interacting Robots S. Ihmor, N. Bastos Jr., R. Klein, M. Visarius, and W. Hardt Session 9: Design Environments II xdsl Systems Prototyping Using a Flexible Emulation Environment N. Papandreou, M. Varsamou, and T. Antonakopoulos Rapid Prototyping and Incremental Evolution Using SLAM Á. Herranz and J. Moreno-Navarro Session 10: Modeling for Design II Comparative Rapid Prototyping, A Case Study Luqi, M. Shing, J. Puett, V. Berzins, Z. Guan, Y. Qiao, L. Zhang, N. Chaki, X. Liang, W. Ray, M. Brown, and D. Floodeen Synthesizing Approach for Perspective-Based Architecture Design X. Liang, J. Puett, and Luqi Rapid Exploration of Pipelined Processors through Automatic Generation of Synthesizable RTL Models P. Mishra, A. Kejariwal, and N. Dutt Exploring the Probabilistic Design Space of Multimedia Systems S. Hua, G. Qu, and S. Bhattacharyya Author Index

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation Proceedings Second IEEE International Workshop on Source Code Analysis and Manipulation Proceedings Second IEEE International Workshop on Source Code Analysis and Manipulation 1 October 2002 Montreal,