Showing papers on "Handshake published in 1993"

Handshake Circuits: An Asynchronous Architecture for VLSI Programming

Abstract: 'Design by programming' has proved very successful in the development of complex software systems. This book describes the construction of programs for VLSI digital circuit design, using the language Tangram, and shows how they can be compiled automatically in fully asynchronous circuits. Handshake circuits were invented by the author to separate questions involving the efficient implementation of the VLSI circuits from issues arising in their design. Dr van Berkel presents a mathematical theory of handshake circuits and a silicon compiler supported by a correctness proof. The treatment of VLSI realizations of handshake circuits includes various forms of optimization, handshake refinement, message encoding, circuit initialization, and testing. The approach is illustrated with a host of examples drawn from a wide range of application areas. The book will be of use to electrical engineers and computer scientists involved in VLSI design.

Wavefront array processor for blocking the issuance of first handshake signal (req) by the presence of second handshake signal (ack) which indicates the readyness of the receiving cell

Abstract: A wavefront array processor where each cell includes a handshake port for asynchronous data transfer with an adjacent cell. The handshake port includes a buffer for receiving data from the adjacent cell and a latch for transferring data to the adjacent cell. Data transfer is accomplished through use of a handshaking protocol which indicates whether or not a receiving buffer is full and if the buffer can receive data. Data can only be transferred if there is room in the buffer to accept the data. The handshaking protocol responds to status signals. A source status signal indicates that a data source has generated a data word. A sink status signal indicates that the buffer can receive data. Each cell further includes a data processing unit, which provides the latch with data and which accesses data from the buffer, and a blocking device, which allows the data processing unit or another handshake port to transfer data to the latch and the buffer to accept data, only when the handshake signals are appropriate. Internal to each cell is a ring bus configuration for distribution of data between the handshake ports and the data processing unit.

Correctness of At-Most-Once Message Delivery Protocols

Abstract: This paper addresses the issues of formal description and verification for communication protocols. Specifically, we present the results of a project concerned with proving correctness of two different solutions to the at-most-once message delivery problem. The two implementations are the well known five-packet handshake protocol and a timing-based protocol developed for networks with bounded message delays.

The Handshake between Invisible and Visible Hands

Abstract: (1993). The Handshake between Invisible and Visible Hands. International Studies of Management & Organization: Vol. 23, Beyond Markets and Hierarchies: A Swedish Quest for a Tripolar Institutional Framework, pp. 87-106.

Method for efficient serialized transmission of handshake signal on a digital bus

Abstract: An asynchronous handshake signal is encoded in order to facilitate the transfer of the asynchronous handshake signal from a first network segment to a second network segment. On the first network segment, control signals and data signals are encoded as control symbols and data symbols, respectively. The control symbols and the data symbols are transferred from the first network segment to the second network segment across an interconnection medium. In order to send a handshake signal from the first network segment to the second network segment, the handshake signal on the first network segment is sampled. When the handshake signal on the first network segment is at a first signal level, a control symbol of encoded control signals is sent across the interconnection medium. When the handshake signal on the first network segment is at a second signal level, a data symbol of encoded data signals is sent across the interconnection medium.

Asynchronous bus interface for minimising asynchronous bus data transfer times

Abstract: A method and apparatus is provided for use in an asynchronous bus interface capable of multiple or single width transfers and controlled by handshake signals, in which the bus transaction may include multiple successive data transfers delineated by a data strobe, and in which each data transfer is terminated by a data handshake signal, and in which data transfers for different cycle types incur different propagation delays, including bus buffering apparatus for directing transfers over single and multiple width busses, and an asynchronous bus controller for returning data handshake signals with individualized timing characteristics in response to the master data strobe and the cycle type of the transaction, such that each successive data transfer is completed in the minimum time that propagation delays, as indicated by the cycle type, will allow, in order to maximize bus throughput.