A Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit
نویسندگان
چکیده
In this paper, we propose a technique to synthesize a hardware circuit from a protocol specification consisting of several concurrent EFSMs with multi-rendezvous specified among their subsets. In our class, each multi-rendezvous can be specified among more than two EFSMs, and several multi-rendezvous can be specified for different combinations of EFSMs. In the proposed technique, using the information such as current states of EFSMs, input values at external gates and guard expressions, we compose a circuit to evaluate whether each multi-rendezvous can be executed. If several exclusive multi-rendezvous get executable simultaneously for some combinations of EFSMs, we select one of them according to the priority order given in advance. We compose such a circuit as a combinational logic circuit so that it works fast. By applying our technique to Abracadabra protocol specified in LOTOS, it is confirmed that the derived circuit handles multi-rendezvous efficiently. key words: communication protocols, multi-rendezvous, concurrent EFSMs, controller synthesis, synchronous sequential circuits
منابع مشابه
Hardware synthesis from protocol specifications in LOTOS
In this paper, we propose a technique for hardware implementation of protocol specifications in LOTOS. For the purpose, we define a new model called synchronous EFSMs consisting of concurrent EFSMs and a finite set of multi-rendezvous indications among their subsets, and propose a conversion algorithm from a subset of LOTOS. The derived synchronous EFSMs can be easily implemented as a synchrono...
متن کاملDeriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS
In this paper, we propose an algorithm to convert a given structured LOTOS specification into an equivalent flattened model called synchronous EFSMs. The synchronous EFSMs model is an execution model for communication protocols and distributed systems where each system consists of concurrent EFSMs and a finite set of multi-rendezvous indications among their subsets. The EFSMs can be derived fro...
متن کاملA Framework for Comparing Models of Computation - Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general terms as sets of possible behaviors. A process is determinate if, given the constraints imposed by the inputs, there are exactly one or exactly zero behaviors. Compositions of processes are processes with behaviors in the inters...
متن کاملDesign and Implementation of FPGA Circuits for High Speed Network Monitors
Due to the recent progress of the Internet, we need high-speed network monitors which can observe millions of packets per second. Since several types of network attacks occur, we need to modify monitoring facilities and their capacities depending on monitoring items and network speed. In this paper, we propose (1) a methodology for designing and implementing such network monitors flexibly and (...
متن کاملUNIVERSITY OF LIVERPOOL ANNUAL PROGRESS REPORT Distributed Navigation
Short description of tthe project motivation, its importance and results. Introduction Introduction and overview of the thesis, explains the the two main themes in the thesis and their relation to each other. With further introduce the models used for mobility and commucation, the related work and my personal contribution to the field. Location aware rendezvous Introduction to the rendezvous pr...
متن کامل