Abstract
The increasing use of computer networks for distributed processing call for reliable and high data transmission rates. Typically in many of the present day communication protocols all layers above the Data-link layer are implemented in software by a single processor which executes them sequentially. This leads to bottlenecks which causes a drastic reduction in the throughput. XTP is a light weight transfer layer protocol which was designed to meet the requirements of the high speed networks. This research focuses on the analysis and behavioral modeling of the Finite State Machines of the XTP. The simulation language used is the Verilog Hardware Description Language. We have modeled XTP Finite State Machines as a set of communicating, concurrent processes that exchange information. Each of these XTP processes contains state information and this state is altered as a function of the processes current inputs and present state. The behavioral modeling of Finite State Machines of the XTP is an abstraction of how the XTP works. Behavioral models of XTP state machines are useful early in the VLSI design of XTP. The behavioral modeling of the XTP is the beginning for synthesizing several alternate structural implementations of the XTP. We have simulated XTP functions like the initiation and termination of the context, synchronization between the communicating hosts, and the detection and retransmission of the data errors.
Madduri, Venkateswara Rao (1994). Analysis and behavioral modeling of the Finite State Machines of the Xpress Transfer Protocol. Master's thesis, Texas A&M University. Available electronically from
https : / /hdl .handle .net /1969 .1 /ETD -TAMU -1994 -THESIS -M1834.