Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems. proceedings : April 19-21, 1999, Barcelona, Spain / sponsored by Esprit Working Group 21949 (ACiD-WG) ... [and others].

Format:

Book

Conference/Event

Contributor:

IEEE Xplore (Online service)

Esprit Working Group 21949.

Conference Name:

International Symposium on Advanced Research in Asynchronous Circuits and Systems (5th : 1999 : Barcelona, Spain)

Language:

English

Subjects (All):

Asynchronous circuits--Congresses.

Asynchronous circuits.

Computers, Pipeline--Congresses.

Computers, Pipeline.

Embedded computer systems--Congresses.

Embedded computer systems.

Genre:

Conference papers and proceedings.

Physical Description:

xii, 251 pages : illustrations

Other Title:

Advanced research in asynchronous circuits and systems

ASYNC '99

Advanced Research in Asynchronous Circuits and Systems, 1999, proceedings, Fifth International Symposium on.

Place of Publication:

Los Alamitos, Calif. : IEEE Computer Society Press, [1999]

System Details:

Mode of access: World Wide Web.

text file

Contents:

The 2000 MHz Bug

End of the Millennium of Synchronous Systems? / Richard F. Lyon

Session I Verification Techniques / John Brzozowski

Verification of Delayed-Reset Domino Circuits Using ATACS / W. Belluomini, C. J. Myers, H. P. Hofstee 3

A Timing Verifier and Timing Profiler for Asynchronous Circuits / P. A. Karlsen, P. T. R[o slash]ine 13

Session II Low Power/Noise / Kees van Berkel

Reconfigurable Latch Controllers for Low Power Asynchronous Circuits / M. Lewis, J. Garside, L. Brackenbury 27

Behavioral Transformations to Increase the Noise Immunity of Asynchronous Specifications / A. Taubin, A. Kondratyev, J. Cortadella, L. Lavagno 36

Exploiting BDDs in Higher Order Logic, with Applications to Asynchronous Circuits / Michael J. C. Gordon

Session III Microprocessor Design / Takashi Nanya

AMULET3 Revealed / J. D. Garside, S. B. Furber, S.-H. Chung 51

RAPPID: An Asynchronous Instruction Length Decoder / S. Rotem, K. Stevens, R. Ginosar, P. Beerel, C. Myers, K. Yun, R. Kol, C. Dike, M. Roncken, B. Agapiev 60

Memory Faults in Asynchronous Microprocessors / D. W. Lloyd, J. D. Garside, D. A. Gilbert 71

Panel Session: Synchronous/Asynchronous Trade-Offs in Industrial Applications / Luciano Lavagno, Kees van Berkel, Craig Farnsworth, Peter Hofstee, Manpreet Khaira, Richard Lyon, Stan Schuster, Ken Stevens

Session IV Timing Analysis / Ran Ginosar

Symbolic Time Separation of Events / T. Amon, H. Hulgaard 83

Bounding Average Time Separations of Events in Stochastic Timed Petri Nets with Choice / A. Xie, S. Kim, P. A. Beerel 94

Timed Trace Theoretic Verification Using Partial Order Reduction / T. Yoneda, H. Ryu 108

Session V Synthesis / Stephen Unger

Projection: A Synthesis Technique for Concurrent Systems / R. Manohar, T.-K. Lee, A. J. Martin 125

A Design Framework for Asynchronous/Synchronous Circuits Based on CHP to HDL Translation / M. Renaudin, P. Vivet, F. Robin 135

From STG to Extended-Burst-Mode Machines / J. Beister, G. Eckstein, R. Wollowski 145

Session VI Arbitration / David Kinniment

A Counterflow Pipeline Experiment / B. Coates, J. Ebergen, J. Lexau, S. Fairbanks, I. Jones, A. Ridgway, D. Harris, I. Sutherland 161

A Fast, asP*, RGD Arbiter / M. R. Greenstreet, T. Ono-Tesfaye 173

Real-Time Merging / M. R. Greenstreet 186

Keynote Session III / Jens Sparso

Asynchronous Macromodules were a Pain to Build but a Joy to Use / Wesley A. Clark

Session VII Pushing the Performance Limit / Bill Coates

Theoretical Limits on the Data Dependent Performance of Asynchronous Circuits / D. Kearney 201

Relative Timing / K. Stevens, R. Ginosar, S. Rotem 208

Two-Phase Asynchronous Wave-Pipelines and Their Application to a 2D-DCT / O. Hauck, M. Garg, S. A. Huss 219

Session VIII Theory / Alex Kondratyev

Analysis and Applications of the XDI Model / W. C. Mallon, J. T. Udding, T. Verhoeff 231

A Self-Timed Implementation of Boolean Functions / M. Saarepera, T. Yoneda 243.

Notes:

"IEEE Computer Society Order Number PRO0031"--T.p. verso.

Includes bibliographical references and author index.

ISBN:

0769500315

9780769500317

OCLC:

41255289

Access Restriction:

Restricted for use by site license.