For the most recent entries see the Petri Nets Newsletter.

GALA (Globally Asynchronous - Locally Arbitrary) Design.

Varshavsky, Victor; Marakhovsky, Vyacheslav

In: Concurrency and Hardware Design, pages 61-107. Advances in Petri Nets, Volume 2549 of Lecture Notes in Computer Science / J. Cortadella, A. Yakovlev, G. Rozenberg (Eds.) --- Springer Verlag, November 2002.

Abstract: The problem of organizing the temporal behavior of digital systems is discussed. This problem is mainly associated with providing the interface between physical (natural) and logical (artificial) time. The most common method of interfacing is based on a system clock that removes physical time from the behavior models A number of algorithms that can be easily formulated in logical time present a great difficulty in the asynchronous case. The suggested GALA (Globally Asynchronous - Locally Arbitrary) design methodology is based on decomposing the system to a Processors Stratum and a Synchro-Stratum. The synchro-stratum acts as a distributed asynchronous clock that produces local synchro-signals for the processor stratum, which is basically a synchronous prototype. A synchro-stratum, like any asynchronous circuit, interacts with the external devices, including the processor stratum, by handshake. Every local device produces an acknowledgment signal and sends it to the synchro-stratum. The designer can use a wide range of methods to implement this signal (Locally Arbitrary): from a self-timed design to a built-in parallel delay. For various disciplines of prototype clocking, corresponding synchro-stratum implementations are suggested. The GALA methodology is illustrated on several design examples, such as a counter with constant response time, one-two-one track FiFo, arbitration-free counterflow processor architecture.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography