Sciweavers

11 search results - page 1 / 3
» async 2000
Sort
View
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
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
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
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