Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000). proceedings : April 2-6, 2000, Eilat, Israel / sponsored by IEEE Computer Society Technical Committee on VLSI, Technion-Israel Institute of Technology, Intel Corporation.

Format:

Book

Conference/Event

Contributor:

IEEE Xplore (Online service)

IEEE Computer Society. Technical Committee on VLSI.

Ṭekhniyon, Makhon ṭekhnologi le-Yiśraʼel.

Intel Corporation.

Conference Name:

International Symposium on Advanced Research in Asynchronous Circuits and Systems (6th : 2000 : Eilat, Israel)

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:

xi, 221 pages : illustrations

Other Title:

Advanced research in asynchronous circuits and systems

ASYNC 2000

Advanced Research in Asynchronous Circuits and Systems, 2000, (ASYNC 2000) proceedings, Sixth International Symposium on.

Place of Publication:

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

System Details:

Mode of access: World Wide Web.

text file

Contents:

Session I Theory & Verification Techniques / Mark Josephs

Formal Verification of Safety Properties in Timed Circuits / M. Pena, J. Cortadella, A. Kondratyev, E. Pastor 2

On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism / W. Mallon 12

Composing Snippets / I. Benko, J. Ebergen 23

Session II Asynchronous Design in Embedded Systems / Peter Beerel

Applying Asynchronous Circuits in Contactless Smart Cards / J. Kessels, T. Kramer, G. den Besten, V. Timm 36

An On-Chip Dynamically Recalibrated Delay Line for Embedded Self-Timed Systems / G. Taylor, S. Moore, S. Wilcox, P. Robinson 45

Practical Design of Globally-Asynchronous Locally-Synchronous Systems / J. Muttersbach, T. Villiger, W. Fichtner 52

Session III Testability / Jens Spars[o slash]

CA-BIST for Asynchronous Circuits: A Case Study on the RAPPID Asynchronous Instruction Length Decoder / M. Roncken, K. Stevens, R. Pendurkar, S. Rotem, P. Chaudhuri 62

DUDES: A Fault Abstraction and Collapsing Framework for Asynchronous Circuits / P. Shirvani, S. Mitra, J. Ebergen, M. Roncken 73

Session IV Synthesis / Ken Stevens

Automated Synthesis of Micro-Pipelines from Behavioral Verilog HDL / I. Blunno, L. Lavagno 84

High-Level Asynchronous System Design Using the ACK Framework / H. Jacobson, E. Brunvand, G. Gopalakrishnan, P. Kudva 93

Automatic Process-Oriented Control Circuit Generation for Asynchronous High-Level Synthesis / E. Kim, J-G. Lee, D-I. Lee 104

Asynchronous Design Using Commercial HDL Synthesis Tools / M. Ligthart, K. Fant, R. Smith, A. Taubin, A. Kondratyev 114

Session V Arbitration & Circuit Techniques / Tomohiro Yoneda

Priority Arbiters / A. Bystrov, D. Kinniment, A. Yakovlev 128

Simple Circuits that Work for Complicated Reasons / C. Molnar, I. Jones 138

Asynchronous Communication Mechanisms Using Self-Timed Circuits / F. Xia, A. Yakovlev, D. Shang, A. Bystrov, A. Koelmans, D. Kinniment 150

Session VI Processor Design / Doug Edwards

AMULET3i

An Asynchronous System-on-Chip / J. Garside, W. Bainbridge, A. Bardsley, D. Clark, D. Edwards, S. Furber, J. Liu, D. Lloyd, S. Mohammadi, J. Pepper, O. Petlin, S. Temple, J. Woods 162

An Instruction Buffer for a Low-Power DSP / M. Lewis, L. Brackenbury 176

Session VII Pushing the Performance Limit / Takashi Nanya

VLSI System Design Using Asynchronous Wave Pipelines: A 0.35[mu]m CMOS 1.5 GHz Elliptic Curve Public Key Cryptosystem Chip / O. Hauck, A. Katoch, S. Huss 188

High-Throughput Asynchronous Pipelines for Fine-Grain Dynamic Datapaths / M. Singh, S. Nowick 198

Low-Latency Asynchronous FIFO's Using Token Rings / T. Chelcea, S. Nowick 210.

Notes:

"IEEE Computer Society order number PR00586"--T.p. verso.

"IEEE order plan catalog number PR00586"--P. [4] of cover.

Includes bibliographical references and index.

ISBN:

0769505864

9780769505862

0769505872

9780769505879

0769505880

9780769505886

OCLC:

43766964

Access Restriction:

Restricted for use by site license.