The Community for Technology Leaders
Proceedings Euromicro Symposium on Digital System Design. Architectures, Methods and Tools (2002)
Dortmund, Germany
Sept. 4, 2002 to Sept. 6, 2002
ISBN: 0-7695-1790-0
Plenary — Keynote Session I
Processor and Memory Architectures

An Asynchronous Victim Cache (Abstract)

D. Hormdee , University of Manchester
J. D. Garside , University of Manchester
S. B. Furber , University of Manchester
pp. 4

Formal Verification of a DSP Chip Using an Iterative Approach (Abstract)

Ali Habibi , Concordia University
Sofiène Tahar , Concordia University
Adel Ghazel , ?cole Superieure Des Communications de Tunis
pp. 12

Enhanced Configurable Parallel Memory Architecture (Abstract)

Jarno Vanne , Tampere University of Technology
Eero Aho , Tampere University of Technology
Kimmo Kuusilinna , Tampere University of Technology
Timo Hämäläinen , Tampere University of Technology
pp. 28
Partitioning and Decomposition

Recursive Bi-Partitioning of Netlists for Large Number of Partitions (Abstract)

R. Drechsler , University of Bremen
W. Günther , Infineon Technologies
T. Eschbach , Albert-Ludwigs-University
L. Linhard , Concept Engineering GmbH
G. Angst , Concept Engineering GmbH
pp. 38

Folded Bit-Plane FIR Filter Architecture with Changeable Folding Factor (Abstract)

Ivan Milentijević , University of Niš
Vladimir Ćirić , University of Niš
Teufik Tokić , University of Niš
Oliver Vojinović , University of Niš
pp. 45

Best Polarity for Low Power XOR Gate Decomposition (Abstract)

Yinshui Xia , Napier University
A. E. A. Almaini , Napier University
pp. 53

A Hybrid Evolutionary Algorithm for Multi-FPGA Systems Design (Abstract)

J.I. Hidalgo , Universidad Complutense de Madrid
J. Lanchares , Universidad Complutense de Madrid
A. Ibarra , Universidad Complutense de Madrid
R. Hermida , Universidad Complutense de Madrid
pp. 60
Special Architectures

A Flexible Architecture for H.263 Video Coding (Abstract)

Matias J. Garrido , Universidad Politécnica de Madrid
César Sanz , Universidad Politécnica de Madrid
Marcos Jiménez , Universidad Politécnica de Madrid
Juan M. Meneses , Universidad Politécnica de Madrid
pp. 70

The Synthesis of a Hardware Scheduler for Non-Manifest Loops (Abstract)

Omar Mansour , University of Twente
Egbert Molenkamp , University of Twente
Thijs Krol , University of Twente
pp. 78

Configurable Memory Organisation for Communication Applications (Abstract)

Juha-Pekka Soininen , Technical Research Centre of Finland
Antti Pelkonen , Technical Research Centre of Finland
Jussi Roivainen , Technical Research Centre of Finland
pp. 86

Enhanced Reusability for SoC-Based HW/SW Co-Design (Abstract)

Maik Boden , FhG IIS Erlangen
Jörg Schneider , FhG IIS Erlangen
Klaus Feske , FhG IIS Erlangen
Steffen Rülke , FhG IIS Erlangen
pp. 94
System Specification and Modelling

Integrating a Computational Model and a Run Time System for Image Processing on a UAV (Abstract)

Per Andersson , Lunds University
Krzysztof Kuchcinski , Lunds University
Klas Nordberg , Link?ping University
Patrick Doherty , Link?ping University
pp. 102

Specification and Simulation of Microprocessor Operations and Parallel Instructions (Abstract)

Loe Feijs , Eindhoven University of Technology
Paul Gorissen , Philips Research Laboratories Eindhoven
Joachim Trescher , Philips Research Laboratories Eindhoven
pp. 110

Integration of Instruction Set Simulators into SystemC High Level Models (Abstract)

Ilia Oussorov , Infineon Technologies AG
Wolfgang Raab , Infineon Technologies AG
Ulrich Hachmann , Infineon Technologies AG
Alex Kravtsov , Infineon Technologies AG
pp. 126
Parallel Processor Architectures

Architecture Design of a Scalable Single-Chip Multi-Processor (Abstract)

B. D. Theelen , Eindhoven University of Technology
A. C. Verschueren , Eindhoven University of Technology
pp. 132

Parallel Multimedia Processor Using Customised Infineon TriCores (Abstract)

Ari Wahyudi , Nanyang Technological University
Amos Omondi , Nanyang Technological University
pp. 140

Improving the Operation Autonomy of SIMD Processing Elements by Using Guarded Instructions and Pseudo Branches (Abstract)

Manuel Lois Anido , Federal University of Rio de Janeiro
Alexander Paar , Universit?t Karlsruhe
Nader Bagherzadeh , University of California at Irvine
pp. 148

Implementation of a Streaming Execution Unit (Abstract)

Dmitry Cheresiz , Leiden University
Ben Juurlink , Delft University of Technology
Stamatis Vassiliadis , Delft University of Technology
Harry A.G. Wijshoff , Leiden University
pp. 156
Verification and Test

Fault Latencies of Concurrent Checking FSMs (Abstract)

Roman Goot , Academic Technological Institute
Ilya Levin , Tel Aviv University
Sergei Ostanin , Tel Aviv University
pp. 174

Integrated Design and Test Generation Under Internet Based Environment MOSCITO (Abstract)

A. Schneider , Fraunhofer Institute for Integrated Circuits
K.-H. Diener , Fraunhofer Institute for Integrated Circuits
E. Ivask , Tallinn Technical University
R. Ubar , Tallinn Technical University,
E. Gramatova , Institute of Informatics
T. Hollstein , Technical University of Darmstadt
W. Kuzmicz , Warsaw University of Technology
Z. Peng , Link?ping University
pp. 187
Plenary — Keynote Session II

Networks on Silicon: Blessing or Nightmare? (Abstract)

Paul Wielage , Philips Research Laboratories
Kees Goossens , Philips Research Laboratories
pp. 196

Embedded Software: How To Make It Efficient? (Abstract)

Peter Marwedel , Universität Dortmund
pp. 201
Filter and Arithmetic Circuits

A Design for a Low-Power Digital Matched Filter Applicable to W-CDMA (Abstract)

Shoji Goto , SANYO Electric Co., Ltd.
Takashi Yarnada , SANYO Electric Co., Ltd.
Norihisa Takayarna , SANYO Electric Co., Ltd.
Yoshifurni Matsushita , SANYO Electric Co., Ltd.
Yasoo Harada , SANYO Electric Co., Ltd.
Hiroto Yasuura , Kyushu University
pp. 210

Analysis of the Impact of Different Methods for Division/Square Root Computation in the Performance of a Superscalar Microprocessor (Abstract)

D. Piso , Universidad Santiago de Compostela
J. A. Piñeiro , Universidad Santiago de Compostela
J. D. Bruguera , Universidad Santiago de Compostela
pp. 218
Circuit Synthesis and Optimisation

Decision Diagram Optimization Using Copy Properties (Abstract)

Dragan Janković , University of Niš
Radomir S. Stanković , University of Niš
Rolf Drechsler , University of Bremen
pp. 236

Use of the Autocorrelation Function in the Classification of Switching Functions (Abstract)

J. E. Rice , University of Victoria
J. C. Muzio , University of Victoria
pp. 244

Optimization of Equational Specifications Using Genetic Techniques (Abstract)

A. Ibarra , Universidad Complutense Madrid
J. M. Mendías , Universidad Complutense Madrid
J. Lanchares , Universidad Complutense Madrid
J. I. Hidalgo , Universidad Complutense Madrid
R. Hermida , Universidad Complutense Madrid
pp. 252

Synthesis of Multipurpose Reversible Logic Gates (Abstract)

Pawel Kerntopf , Warsaw University of Technology
pp. 259
Reconfigurable Computing Architectures

Improving mW/MHz Ratio in FPGAs Pipelined Designs (Abstract)

Oswaldo Cadenas , University of Reading
Graham Megson , University of Reading
pp. 276

Constant Coefficient Convolution Implemented in FPGAs (Abstract)

Ernest Jamro , AGH Technical University of Cracow
Kazimierz Wiatr , AGH Technical University of Cracow
pp. 291
High Level Synthesis

Efficient Verification of Scheduling, Allocation and Binding in High-Level Synthesis (Abstract)

J. M. Mendías , Universidad Complutense de Madrid
R. Hermida , Universidad Complutense de Madrid
M. C. Molina , Universidad Complutense de Madrid
O. Peñalba , Universidad Complutense de Madrid
pp. 308

An Efficient List-Based Scheduling Algorithm for High-Level Synthesis (Abstract)

Azeddien M. Sllame , Brno University of Technology
Vladimir Drabek , Brno University of Technology
pp. 316

Source Code Transformation to Improve Conditional Hardware Reuse (Abstract)

0. Peñalba , Universidad Complutense de Madrid
J. M. Mendias , Universidad Complutense de Madrid
R. Hermida , Universidad Complutense de Madrid
pp. 324
Poster Session

Reachability Analysis for Formal Verification of SystemC (Abstract)

Rolf Drechsler , University of Bremen
Daniel Große , Albert-Ludwigs-University
pp. 337

Simplifying Instruction Issue Logic in Superscalar Processors (Abstract)

Toshinori Sato , Kyushu Institute of Technology
Itsujiro Arita , Kyushu Institute of Technology
pp. 341

A Self-Timed Arithmetic Unit for Elliptic Curve Cryptography (Abstract)

Martin Feldhofer , Graz University of Technology
Thomas Trathnigg , Graz University of Technology
Bernd Schnitzer , Graz University of Technology
pp. 347

Low Power Strategy for a TFT Controller (Abstract)

Giuseppe Notarangelo , STMicroelectronics
Marco Gibilaro , STMicroelectronics
Francesco Pappalardo , STMicroelectronics
Agatino Pennisi , STMicroelectronics
Gaetano Palumbo , University of Catania
pp. 351

Hardware Implementation of a Memory Allocator (Abstract)

Khushwinder Jasrotia , University of Toronto
Jianwen Zhu , University of Toronto
pp. 355

Evolutionary Algorithm for State Assignment of Finite State Machines (Abstract)

Mariusz Chyży , Polish-Japanese Institute of Information Technology
Witold Kosiński , Polish-Japanese Institute of Information Technology
pp. 359
Specification and Modelling

Use of HDL Code Checkers to Support the IP Entrance Check — A Requirement Analysis (Abstract)

Ronny Frevert , FhG IIS, EAS Dresden
Steffen Rülke , FhG IIS, EAS Dresden
Torsten Schäfer , FhG IIS, EAS Dresden
Frank Dresig , AMD Saxony Manufacturing GmbH
pp. 364

On the Fundamental Design Gap in Terabit per Second Packet Switching (Abstract)

M. Verhappen , IBM Research, Zurich Research Laboratory
P. H. A. van der Putten , Eindhoven University of Technology
J. P. M. Voeten , Eindhoven University of Technology
pp. 371
Synthesis and Algorithms

Bit-Level Allocation of Multiple-Precision Specifications (Abstract)

M. C. Molina , Universidad Complutense de Madrid
J. M. Mendías , Universidad Complutense de Madrid
R. Hermida , Universidad Complutense de Madrid
pp. 385
Author Index

Author Index (Abstract)

pp. 393
92 ms
(Ver 3.3 (11022016))