Sciweavers

ASYNC
2003
IEEE
86views Hardware» more  ASYNC 2003»
14 years 2 months ago
A High-Speed Clockless Serial Link Transceiver
We present a high-speed, clockless, serial link transceiver for inter-chip communication in asynchronous VLSI systems. Serial link transceivers achieve high offchip data rates by ...
John Teifel, Rajit Manohar
ASYNC
2003
IEEE
100views Hardware» more  ASYNC 2003»
14 years 2 months ago
Congestion and Starvation Detection in Ripple FIFOs
High-speed asynchronous ripple FIFOs may be easily embedded in synchronous environments and can elegantly handle the problem of forwarding data between clock domains. In cases whe...
William S. Coates, Robert J. Drost
ASYNC
2003
IEEE
72views Hardware» more  ASYNC 2003»
14 years 2 months ago
SNAP: A Sensor-Network Asynchronous Processor
We present a Sensor-Network Asynchronous Processor (SNAP), which we have designed to be both a processor core for a sensor-network node and a component of a chip multiprocessor, t...
Clinton Kelly IV, Virantha N. Ekanayake, Rajit Man...
ASYNC
2003
IEEE
119views Hardware» more  ASYNC 2003»
14 years 2 months ago
Asynchronous DRAM Design and Synthesis
We present the design of a high performance on-chip pipelined asynchronous DRAM suitable for use in a microprocessor cache. Although traditional DRAM structures suffer from long a...
Virantha N. Ekanayake, Rajit Manohar
ACSD
2003
IEEE
84views Hardware» more  ACSD 2003»
14 years 2 months ago
Merging State-Based and Action-Based Verification
Henri Hansen, Heikki Virtanen, Antti Valmari
ACSD
2003
IEEE
116views Hardware» more  ACSD 2003»
14 years 2 months ago
CAST - A Task-Level Concurrency Analysis Tool
Sander Stuijk, Twan Basten, Jan Ypma
ACSD
2003
IEEE
91views Hardware» more  ACSD 2003»
14 years 2 months ago
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs
Signal Transition Graphs (STGs) are one of the most popular models for the specification of asynchronous circuits. A STG can be implemented if it admits a so-called consistent an...
Javier Esparza
ACSD
2003
IEEE
151views Hardware» more  ACSD 2003»
14 years 2 months ago
Communicating Transaction Processes
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
Abhik Roychoudhury, P. S. Thiagarajan
ACSD
2003
IEEE
117views Hardware» more  ACSD 2003»
14 years 2 months ago
AutoFOCUS and the MoDe Tool
Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar...