The Community for Technology Leaders
Rapid System Prototyping, IEEE International Workshop on (1997)
Chapel Hill, NC
June 24, 1997 to June 26, 1997
ISSN: 1074-6005
ISBN: 0-8186-8064-4
TABLE OF CONTENTS

Introduction (PDF)

pp. vii

Acknowledgments (PDF)

pp. viii
Session 1: Virtual Prototyping and Emulation

Virtual Reality Prototyping - A Framework for the Development of Electronics and Telecommunication Products (Abstract)

Marko Heikkinen , VTT Electronics & Infotech Research Centre at the University of Oulu
Mikko Kerttula , VTT Electronics & Infotech Research Centre at the University of Oulu
Marko Salmela , VTT Electronics & Infotech Research Centre at the University of Oulu
pp. 2

Performance Analysis for a Java-based Virtual Prototype (Abstract)

Christoph Weiler , Forschungszentrum Informatik (FZI)
Arno Kunzmann , Forschungszentrum Informatik (FZI)
Wolfgang Rosenstiel , Forschungszentrum Informatik (FZI)
pp. 12

Fast Board-Level Prototyping of a Speech Recognition System using Virtual Emulation (Abstract)

M. Felici , DEIS - University of Bologna
M. Borgatti , DEIS - University of Bologna
E. Cevenini , DEIS - University of Bologna
A. Ferrari , DEIS - University of Bologna
R. Rambaldi , DEIS - University of Bologna
R. Guerrieri , DEIS - University of Bologna
pp. 20
Session 2: Hardware/Software Codesign I

An Algorithm for Direct Synthesis of Formal Specifications (Abstract)

Vincenza Carchiolo , Ist. Informatica e Telecomunicazioni Facolta' di Ingegneria Universita' di Catania
Michele Malgeri , Ist. Informatica e Telecomunicazioni Facolta' di Ingegneria Universita' di Catania
Giuseppe Mangioni , Ist. Informatica e Telecomunicazioni Facolta' di Ingegneria Universita' di Catania
pp. 28

Overview of the Ecos Project (Abstract)

F. Rousseau , ESIM Technopole de Chateau-Gombert
pp. 39
Session 3: Hardware/Software Codesign II

Selective Focus as a Means of Improving Geographically Distributed Embedded System Co-simulation (Abstract)

Ken Hines , Department of Computer Science and Engineering University of Washington
Gaetano Borriello , Department of Computer Science and Engineering University of Washington
pp. 58

Macro-instruction generation for dynamic logic caching (Abstract)

S.B.K. Vrudhula , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
K. McCarley , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 63
Session 4: Software Prototyping

Software synthesis for dynamic data flow graph (Abstract)

Soonhoi Ha , Multimedia Res. Lab., LG Electron., Seoul, South Korea
Chabong Choi , Multimedia Res. Lab., LG Electron., Seoul, South Korea
pp. 72

KBMS-Based Evolutionary Prototyping of Software Systems* (Abstract)

Stanley Y. W. Su , Database Systems Research and Development Center University of Florida
Raja Chatterjee , Database Systems Research and Development Center University of Florida
pp. 80

FrameKit and the prototyping of CASE environments (Abstract)

F. Kordon , Lab. d'Inf. de Paris 6, Univ. Pierre et Marie Curie, Paris, France
J.-L. Mounier , Lab. d'Inf. de Paris 6, Univ. Pierre et Marie Curie, Paris, France
pp. 91
Session 5: Synthesis of Digital and Image Processing Systems

Data Routing in Dataflow Graphs (Abstract)

L. de Coster , Katholieke Universiteit Leuven, Department ESAT
R. Lauwereins , Katholieke Universiteit Leuven, Department ESAT
J. A. Peperstraete , Katholieke Universiteit Leuven, Department ESAT
pp. 100
Session 6: Simulation
Session 7: Design Methods and Frameworks

Rapid Prototyping of Communication Architectures (Abstract)

Andreas Kirschbaum , Darmstadt University of Technology
Manfred Glesner , Darmstadt University of Technology
pp. 136

Rapid prototyping of hardware systems via model reuse (Abstract)

D. Mlynek , Dept. of Electr. Eng., Swiss Federal Inst. of Technol., Lausanne, Switzerland
L. Chaouat , Dept. of Electr. Eng., Swiss Federal Inst. of Technol., Lausanne, Switzerland
S. Garin , Dept. of Electr. Eng., Swiss Federal Inst. of Technol., Lausanne, Switzerland
A. Vachoux , Dept. of Electr. Eng., Swiss Federal Inst. of Technol., Lausanne, Switzerland
pp. 150

Rapid Prototyping of Networks of Asynchronous Multiple Functional Units (Abstract)

Sarma B. K. Vrudhula , The University of Arizona
Edwin Tsun , National Semiconductor
pp. 157
Session 8: Verification

Automaton: An Autonomous Coverage-Based Multiprocessor System Verification Environment (Abstract)

Steven Roberts , IBM RS/6000 Division
Nadeem Malik , IBM RS/6000 Division
Alan Pita , IBM RS/6000 Division
Ryan Dobson , IBM RS/6000 Division
pp. 168

A New Approach to Fault Emulation (Abstract)

Reza Sedaghat , University of Hanover
Erich Barke , University of Hanover
pp. 173

Author Index (PDF)

pp. 181
114 ms
(Ver )