Sciweavers

ASYNC
2000
IEEE
94views Hardware» more  ASYNC 2000»
13 years 9 months ago
Formal Verification of Safety Properties in Timed Circuits
Marco A. Peña, Jordi Cortadella, Enric Past...
ASYNC
2000
IEEE
145views Hardware» more  ASYNC 2000»
13 years 9 months ago
Practical Design of Globally-Asynchronous Locally-Synchronous Systems
In this paper we describe a complete design methodology for a globally asynchronous onchip communication network connecting both locally-synchronous and asynchronous modules. Sync...
Jens Muttersbach, Thomas Villiger, Wolfgang Fichtn...
ASYNC
2000
IEEE
89views Hardware» more  ASYNC 2000»
13 years 9 months ago
Simple Circuits that Work for Complicated Reasons
This paper brings together a selection of creative circuit designs and ideas that Charles Molnar devised while working at Sun Microsystems Laboratories. The circuits offer fast im...
Charles E. Molnar, Ian W. Jones
ASYNC
2000
IEEE
86views Hardware» more  ASYNC 2000»
13 years 9 months ago
High-Throughput Asynchronous Pipelines for Fine-Grain Dynamic Datapaths
This paper introduces several new asynchronous pipeline designs which offer high throughput as well as low latency. The designs target dynamic datapaths, both dualrail as well as ...
Montek Singh, Steven M. Nowick
ASYNC
2000
IEEE
86views Hardware» more  ASYNC 2000»
13 years 9 months ago
An On-Chip Dynamically Recalibrated Delay Line for Embedded Self-Timed Systems
Self-timed systems often have to communicate with their environment through a clocked interface. For example, off-chip memory may require clocking and this can reduce the benefit...
George S. Taylor, Simon W. Moore, Steve Wilcox, Pe...
ASYNC
2000
IEEE
181views Hardware» more  ASYNC 2000»
13 years 9 months ago
Asynchronous Design Using Commercial HDL Synthesis Tools
New design technologies rely on truly reusable IP blocks with simple means of assembly. Asynchronous methodologies could be a promising option to implement these requirements. Pro...
Michiel M. Ligthart, Karl Fant, Ross Smith, Alexan...
ASYNC
2000
IEEE
122views Hardware» more  ASYNC 2000»
13 years 9 months ago
DUDES: A Fault Abstraction and Collapsing Framework for Asynchronous Circuits
Fault Abstraction and Collapsing Framework for Asynchronous Circuits Philip P. Shirvani, Subhasish Mitra Center for Reliable Computing Stanford University Stanford, CA Jo C. Eberge...
Philip P. Shirvani, Subhasish Mitra, Jo C. Ebergen...
ASYNC
2000
IEEE
138views Hardware» more  ASYNC 2000»
13 years 9 months ago
Low-Latency Asynchronous FIFO's Using Token Rings
This paper presents several new asynchronous FIFO designs. While most existing FIFO’s trade higher throughput for higher latency, our goal is to achieve very low latency while m...
Tiberiu Chelcea, Steven M. Nowick
ASYNC
2000
IEEE
95views Hardware» more  ASYNC 2000»
13 years 9 months ago
Composing Snippets
The following pages contain the final version for a chapter in the book Advances in Concurrency and Hardware Design (ACHD), to be published by Springer-Verlag in 2002. The editor...
Igor Benko, Jo C. Ebergen